密钥交换协议前向安全性的自动化分析

• 作者: 潘进 王小明 顾香
• 来源期刊: 现代电子技术
• 关键词: 应用PI演算 前向安全性 ProVerif 自动化分析 STS协议 MTI协议
• 年，卷（期）: 2015,（22）
• 所属期刊栏目: 软件与系统工程
• 页码范围: 21-24
• 页数: 4页
• 分类号: TN958-34|TP309
• 语种: 中文
• DOI: 10.16652/j.issn.1004-373x.2015.22.007

摘要

会话密钥的安全影响了整个通信网络的安全,前向安全性是密钥交换协议中保证会话密钥安全的一种特殊的安全属性.首先扩展了应用PI演算,增加了阶段进程语法描述协议的前向安全性;然后提出了一个基于一阶定理证明器ProVerif的前向安全性自动化分析方法;最后运用这种方法分析了两种典型的密钥交换协议,STS协议和MTI协议的前向安全性,分析结果表明该方法简单可靠.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	潘进		53	378	8.0	18.0
2	王小明		4	0	0.0	0.0
3	顾香		4	3	1.0	1.0