关键词: 安全协议, 单步协议, 组件, 逻辑分析, 组合

Abstract: Since the present design methods for security protocol are characterized by being abstract, narrow application range and complexity, this paper presented a new approach to design security protocol. Firstly, it defined the concepts of the base case and the component in the protocol. Secondly, it analyzed the security attributes on the components, and designed the single-step protocols which can implement the special security goals based on the components. Finally, it defined composition rules allowing the combination of several single-step protocols part into a complicated protocol. The rules cannot destroy the security properties established by each independent part. Then it can design security protocol by the choice and composition of the single-step protocols in specific application situation. In other words, the composition framework permits the specification of a complex protocol to be decomposed into the specifications of simpler single-step protocols, and thus making the design and verification of the protocol easier to handle.

Key words: security protocol, single-step protocol, component, logical analysis, composition