文章基本信息
- 标题：Authentication Analysis of the 802.11i Protocol
- 作者：Zeeshan Furqan ; Shahabuddin Muhammad ; Ratan Guha 等
- 期刊名称：International Journal of Information Technology
- 印刷版ISSN：1305-239X
- 电子版ISSN：1305-2403
- 出版年度：2008
- 卷号：4
- 期号：01
- 出版社：World Enformatika Society
- 关键词：authentication; formal analysis; formal verification
Loading...
