一种安全协议的规范化设计方法

摘要：

提出了应用组合方法进行安全协议的规范化设计,给出了协议中基件与组件的定义,分析了组件的安全属性,及基于组件设计能实现相应安全目标的单步协议;定义了组合规则,确保不同的单步协议能够组合成为一个复合协议,同时各个单步协议还能实现各自的安全目标.至此,根据具体的应用背景选择合适的单步协议,按照组合规则组合后,便可得到满足需求的安全协议.该方法可将一个复杂协议分解为若干基于组件的简单单步协议,使得协议的设计与分析都易于实现.

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

所属期刊栏目：35

分类号：TP309(计算技术、计算机技术)

资助基金：成都市现代通信技术国家重点实验室基金9140C1103040902

在线出版日期：2010-09-17（万方平台首次上网日期，不代表论文的发表时间）

页码：603-606