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

Abstract: This paper presents a composition method of security protocol design.It gives the definition of the base case and the component in the protocol，makes use of the components which have special security attributes to design single-step protocols that can implement the special security goals，and defines composition rules which allow the combination of several single-step protocols part into a complicated protocol without destroying the security properties established by each independent part.Then it can design security protocol by the context of specific applications based on the choice of the single-step protocols.In other words，the composition framework permits the specification of a complex protocol to be decomposed into the specifications of simpler single-step protocols which on the components，and thus makes the design and verification of the protocol easier to handle.

Key words: security protocol, component, logical analysis, composition