|
|||||
|
|
| WTLS握手协议的形式化验证 | |
| 引用本文： | 刘璟,祝世雄,周明天.WTLS握手协议的形式化验证[J].信息安全与通信保密,2005(7):291-295. |
| 作者姓名： | 刘璟 祝世雄 周明天 |
| 作者单位： | 1. 现代通信国家重点实验室 2. 电子科技大学计算机科学与工程学院 |
| 摘 要： | 目前还未见到公开发表的对WTLS握手协议进行形式化分析的研究成果。本文首次使用密码协议分析工具集AVISPA,从机密性和鉴别两个方面,对WTLS握手协议进行了建模和验证。所得到的验证结果表明WTLS握手协议是安全的。 |
| 关 键 词： | 密码协议 WTLS握手协议 形式化验证 |
Formal verification of WTLS handshake protocol |
|
| Liu Jin.Formal verification of WTLS handshake protocol[J].China Information Security,2005(7):291-295. | |
| Authors: | Liu Jin |
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |