|
|||||
|
|
| WTLS握手协议后向安全性分析及改进 | |
| 作者单位： | ;1.西安通信学院信息安全系;2.西安通信学院12队 |
| 摘 要： | 通过应用π演算建模分析WTLS握手协议,得出其存在密钥泄露的缺陷,并加以改进。在密钥协商过程中使用幂运算处理随机数,并用RSA加密算法对所建立的预主密钥进行加密,以确保在私钥泄露的情况下,攻击者无法获取以后的会话密钥。利用ProVerif工具对改进后的WTLS握手协议进行验证,结果显示其满足后向安全性。 |
| 关 键 词： | 应用π演算 WTLS握手协议 后向安全性 ProVerif |
Back-security analysis and improvement on the WTLS handshake protocol |
|
| Abstract: | |
| Keywords: | |
