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

Analysis on Security Attribute of Security Protocol Components in Symmetric Environment

作　　者：邓帆[1] 邓少锋[1] 李益发[1] 

机构地区：[1]信息工程大学信息工程学院,河南郑州450002

出　　处：《信息安全与通信保密》2009年第8期141-144,共4页Information Security and Communications Privacy

基　　金：通信技术重点实验室基金资助项目（编号：9140C1103040902）.

摘　　要：文章基于一种模块化的安全协议设计方法，定义了基本消息和基件的概念后，从研究安全协议的基件开始，将不同的基件适当复合后可得到具有特殊安全属性的组件，并运用BAN类逻辑对这些组件进行了形式化的分析。这些具有特殊安全属性的组件，在满足协议需求的同时，从底层开始保证了协议能够达到预期的安全目标，为安全协议的设计奠定了基础。This paper presents a module-based approach to designing secure protocol. After defining the basic messages and base cases in the protocol, this paper begins the study of base cases. Some components of special security attributes could be obtained through compounding the different kinds of base cases. Meanwhile, the BAN-like logic is used to formally analyze those components. Those special components start from the bottom to ensure the safety goals of the protocol while meet the needs of the protocol. Those security components lay a foundation for the design of security protocol.

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

分 类 号：TP309[自动化与计算机技术—计算机系统结构]