基于SMV的安全协议模型检验

• 作者: 刘锋 宋震 张艳 李梦君 李舟军
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 模型检验 安全协议 认证 SMV
• 年，卷（期）: 2004,（2）
• 所属期刊栏目: 计算机网络与安全
• 页码范围: 28-31,62
• 页数: 5页
• 分类号: TP309
• 字数: 3813字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2004.02.009

摘要

SMV是一个基于线性时态逻辑的符号化模型检验工具.本文利用SMV对Needham-Schroeder公钥协议的简化版本进行了验证,发现了利用消息重放进行的攻击.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘锋	国防科技大学计算机学院	16	38	3.0	5.0
2	张艳	四川大学数学学院	79	513	13.0	21.0
3	李梦君	国防科技大学计算机学院	21	193	8.0	13.0
4	宋震	国防科技大学计算机学院	6	53	4.0	6.0
5	李舟军	国防科技大学计算机学院	31	594	10.0	24.0