一种安全协议的机器证明算法

• 作者: 杨克 王新兵 谢锋 黄连生
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 安全协议 形式化
• 年，卷（期）: 2001,（4）
• 所属期刊栏目: 网络、通与安全
• 页码范围: 23-25,28
• 页数: 4页
• 分类号: TP31
• 字数: 3775字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2001.04.009

摘要

安全协议的形式化验证是网络安全的一个重要领域。文章介绍了一种机器的自动证明算法。与传统算法不同,文章的算法是证伪的,从"攻击者"的角度出发,避免了"有限状态机"方法的复杂"状态空间"的搜索。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王新兵	清华大学计算机系	6	17	3.0	3.0
2	黄连生	清华大学计算机系	15	144	6.0	12.0
3	杨克	清华大学计算机系	3	8	2.0	2.0
4	谢锋	清华大学计算机系	6	26	2.0	5.0