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

摘要：

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

关键词：应用PI演算、前向安全性、ProVerif、自动化分析、STS协议、MTI协议

所属期刊栏目：38

分类号：TN958-34;TP309

资助基金：国家自然科学基金资助项目61305083

在线出版日期：2015-12-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：21-24