| 802.11i的认证安全性分析 |
| |
| 引用本文： | 邓淼磊,周跃华,余涛,周利华.802.11i的认证安全性分析[J].计算机科学,2008,35(10):138-139. |
| |
| 作者姓名： | 邓淼磊 周跃华 余涛 周利华 |
| |
| 作者单位： | 1. 西安电子科技大学计算机学院,西安,710071
2. 解放军信息工程大学理学院,郑州,450001 |
| |
| 摘 要： | IEEE设计802.11i协议解决无线局域网的安全问题.802.11i协议的形式化分析,对于确保该协议的正确性至关重要.利用串空间理论对802.11i协议进行建模,在串空间模型中验证协议的认证属性.结果表明,802.11i协议能够安全实现它的认证功能.
|
| 关 键 词： | 安全协议 串空间 认证 |
Authentication Analysis of the IEEE 802.11i |
| |
| DENG Miao-lei,ZHOU Yue-hua,YU Tao,ZHOU Li-hua.Authentication Analysis of the IEEE 802.11i[J].Computer Science,2008,35(10):138-139. |
| |
| Authors: | DENG Miao-lei ZHOU Yue-hua YU Tao ZHOU Li-hua |
| |
| Affiliation: | DENG Miao-lei1 ZHOU Yue-hua2 YU Tao2 ZHOU Li-hua1(College of Computer Science,Xidian University,Xi'an 710071,China)1(Institute of Science,PLA Information Engineering University,Zhengzhou 450001,China)2 |
| |
| Abstract: | IEEE 802.11i protocol is used in resolving the security issues in wireless local area networks.Formal verification of 802.11i protocol is very important to guarantee the correctness of this protocol.802.11i protocol was modeled using the strand space theory,and the authentication property of the resulting model was verified.Analysis proves that the authentication of 802.11i is not compromised in the presented model. |
| |
| Keywords: | 802 11i |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
