|
|||||
|
|
| 密钥交换协议前向安全性的自动化分析 | |
| 作者单位： | ;1.西安通信学院 |
| 摘 要： | 会话密钥的安全影响了整个通信网络的安全,前向安全性是密钥交换协议中保证会话密钥安全的一种特殊的安全属性。首先扩展了应用PI演算,增加了阶段进程语法描述协议的前向安全性;然后提出了一个基于一阶定理证明器Pro Verif的前向安全性自动化分析方法;最后运用这种方法分析了两种典型的密钥交换协议,STS协议和MTI协议的前向安全性,分析结果表明该方法简单可靠。 |
| 关 键 词： | 应用PI演算 前向安全性 ProVerif 自动化分析 STS协议 MTI协议 |
Automated analysis of forward security of key exchange protocols |
|
| Abstract: | |
| Keywords: | |