安全协议形式化验证方法的比较与分析

• 作者: 杨克 王新兵 谢峰 黄连生
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 形式化验证 协议 证明与证伪
• 年，卷（期）: 2001,（14）
• 所属期刊栏目: 网络通信与安全
• 页码范围: 54-57
• 页数: 4页
• 分类号: TP393.04
• 字数: 4311字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2001.14.018

摘要

网络的飞速发展,使得安全问题日益突出,而身份认证协议则是安全性的基础.目前国际上的热点是安全协议的形式化验证.文章从两个角度介绍安全协议形式化验证的方法:证明与证伪.对其各自特点进行比较与分析.

作者信息

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