对称环境下安全协议组件的安全属性分析

作     者：邓帆 邓少锋 李益发 DENG Fan;DENG Shao-feng;LI Yi-fa

作者机构：信息工程大学信息工程学院河南郑州450002 

基　　金：通信技术重点实验室基金资助项目(编号:9140C1103040902) 

出 版 物：《信息安全与通信保密》 (Information Security and Communications Privacy)

年 卷 期：2009年第31卷第8期

页      码：141-144页

摘      要：文章基于一种模块化的安全协议设计方法，定义了基本消息和基件的概念后，从研究安全协议的基件开始，将不同的基件适当复合后可得到具有特殊安全属性的组件，并运用BAN类逻辑对这些组件进行了形式化的分析。这些具有特殊安全属性的组件，在满足协议需求的同时，从底层开始保证了协议能够达到预期的安全目标，为安全协议的设计奠定了基础。

主 题 词：安全协议 设计 逻辑分析 BAN类逻辑 组件 

学科分类：08[工学] 0839[0839] 081201[081201] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1009-8054.2009.08.055

馆 藏 号：203128661...