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

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

Analysis on Security Attribute of Security Protocol Components in Symmetric Environment

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.