|
|||||
|
|
| 怎样用好AVISPA工具 | |
| 引用本文： | 徐梦茗,李斌,肖聪. 怎样用好AVISPA工具[J]. 信息安全与通信保密, 2009, 0(8) |
| 作者姓名： | 徐梦茗 李斌 肖聪 |
| 作者单位： | 1. 现代通信国家重点实验室,四川,成都,610041 2. 总参谋部通信部驻成都地区军代室,四川,成都,610041 |
| 基金项目： | 现代通信国家重点实验室基金资助项目 |
| 摘 要： | AVISPA安全协议分析工具是一套完整、标准的形式化自动分析工具;结合XEmaes模式能够设置更加直观而简便的操作和编译环境,对安全协议进行分析并得出结论. |
| 关 键 词： | 安全协议 |
Implementation of AVISPA Tool |
|
| XU Meng-ming,LI Bin,XIAO Cong. Implementation of AVISPA Tool[J]. China Information Security, 2009, 0(8) | |
| Authors: | XU Meng-ming LI Bin XIAO Cong |
| Abstract: | |
| Keywords: | AVISPA Xemacs |
| 本文献已被 万方数据 等数据库收录！ | |