| IEEE 802.11i 协议的形式化分析 |
| |
| 引用本文： | 吴开贵,徐成,廖振岚.IEEE 802.11i 协议的形式化分析[J].计算机应用,2008,28(5):1125-1127. |
| |
| 作者姓名： | 吴开贵 徐成 廖振岚 |
| |
| 作者单位： | 重庆大学,计算机学院,重庆,400044 |
| |
| 摘 要： | Furqan提出运用串空间理论对IEEE 802.11i协议进行形式化验证的基础上，对IEEE 802.11i 协议的串空间模型进行了改进，并证明了Furqan没有证明的保密性以及服务器的认证性。分析结果证明，在目前的攻击者模型中，IEEE 802.11i 协议是安全的。
|
| 关 键 词： | IEEE 802.11i协议 串空间 形式化分析 |
| 文章编号： | 1001-9081(2008)05-1125-03 |
| 收稿时间： | 2007-11-17 |
| 修稿时间： | 2007年11月17 |
Formal analysis of IEEE 802.11i |
| |
| WU Kai-gui,XU Cheng,LIAO Zhen-lan.Formal analysis of IEEE 802.11i[J].journal of Computer Applications,2008,28(5):1125-1127. |
| |
| Authors: | WU Kai-gui XU Cheng LIAO Zhen-lan |
| |
| Affiliation: | WU Kai-gui,XU Cheng,LIAO Zhen-lan(College of Computer,Chongqing University,Chongqing 400044,China) |
| |
| Abstract: | As one of the most representative theorem proving techniques used to analyze security protocols, the strand spaces theory has been successfully applied to prove a plenty of typical protocols. Based on the related document, we improved the Strand Space Model (SSM) of IEEE 802.11i protocols, and verified the security and authentication property. The result of the analysis proves the correctness of the IEEE 802.11i protocols in the present penetrator model. |
| |
| Keywords: | IEEE802 11i protocol strand space formal analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用》浏览原始摘要信息 |
|
点击此处可从《计算机应用》下载全文 |
|
