安全协议的规范化设计

• 作者: 张文政 邓少锋 邓帆
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 安全协议 组件 逻辑分析 组合
• 年，卷（期）: 2011,（18）
• 所属期刊栏目: 网络、通信、安全
• 页码范围: 122-126
• 分类号: TP309
• 字数: 6584字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2011.18.036

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	邓少锋	信息工程大学信息工程学院	8	17	3.0	3.0
2	邓帆	信息工程大学信息工程学院	9	18	3.0	3.0
3	张文政		1	0	0.0	0.0