%0 Journal Article
%T 应用组合方法设计安全协议
%A 邓帆
%A 邓少锋
%A 李益发
%J 计算机应用
%D 2010
%X ？针对目前安全协议的设计方法存在方法抽象、适用范围小及复杂的特点，提出了一种新的安全协议设计方法。先给出协议中基件与组件的定义，分析组件的安全属性并基于组件设计能实现相应安全目标的单步协议；定义组合规则，确保不同的单步协议能够组合成为一个复合协议，同时各个单步协议还能实现各自的安全目标。至此，根据具体的应用背景选择合适的单步协议按照组合规则组合后便可得到满足需求的安全协议。该组合方法可将一个复杂协议分解为若干简单的单步协议，使得协议的设计与分析都易于实现。
%K 安全协议
%K 单步协议
%K 组件
%K 逻辑分析
%K 组合
%U http://www.joca.cn/CN/abstract/abstract12794.shtml