一种安全协议的形式化设计方法

• 作者: 张焕国 李莉 王张宜
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 安全协议 定理证明 冗余协议 约简
• 年，卷（期）: 2006,（11）
• 所属期刊栏目: 博士论坛
• 页码范围: 21-23,156
• 页数: 4页
• 分类号: TP309
• 字数: 5731字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2006.11.007

摘要

文章以协议分析器为辅助工具,结合定理证明方法,给出了一个安全协议形式化设计方法.该方法首先根据协议规范构造全信息项及冗余协议,使用定理证明保证冗余协议的安全性.对冗余协议利用安全性保持约简规则和随机约简规则进行约简,从而得到最优约简协议.该方法实现了安全协议的自动设计,具有良好的扩展性,可以根据需求和协议的发展增加设计规则和约简规则.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张焕国	武汉大学计算机学院	244	4083	31.0	56.0
2	李莉	武汉大学软件学院	107	730	14.0	22.0
3	王张宜	武汉大学计算机学院	11	228	7.0	11.0