基于Spi演算的密码协议的控制流分析

• 作者: 王亚弟 王全来 韩继红
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: Spi演算 认证 并行会话攻击
• 年，卷（期）: 2006,（15）
• 所属期刊栏目: 安全技术
• 页码范围: 137-139
• 页数: 3页
• 分类号: TP393
• 字数: 3871字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2006.15.049

摘要

基于Spi演算和控制流分析,提出了一个密码协议的新分析方法.随后利用该方法对Beller-Chang-Yacobi MSR协议进行了分析,通过证明该协议已知的漏洞,说明该方法是正确的,并通过更深入的研究和分析,证明了该协议在并行会话攻击下是不安全的,基于此对该协议进一步改进,改进后的协议是安全的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王亚弟	解放军信息工程大学电子技术学院	68	257	9.0	11.0
2	韩继红	解放军信息工程大学电子技术学院	59	243	9.0	11.0
3	王全来	解放军信息工程大学电子技术学院	5	11	2.0	3.0