| WAPI实施方案的安全性分析 |
| |
| 引用本文： | 张帆,马建峰.WAPI实施方案的安全性分析[J].西安电子科技大学学报,2005,32(4):545-548. |
| |
| 作者姓名： | 张帆 马建峰 |
| |
| 作者单位： | (西安电子科技大学 计算机网络与信息安全教育部重点实验室，陕西 西安 710071) |
| |
| 基金项目： | 国家自然科学基金重大计划资助项目（90204012）;国家863计划资助项目（2002AA143021）;2003教育部优秀青年教师资助计划;2003教育部科学技术研究重点资助项目 |
| |
| 摘 要： | 利用增强的BAN类逻辑——AUTLOG逻辑，对中国无线局域网安全标准无线认证和保密基础设施(WAPI)实施方案的认证模型进行了深入分析，分析结果表明该实施方案改正了原国家标准中密钥协商协议存在的安全缺陷，在协议执行结束时能够保证用户端和接入点实现对彼此的身份认证，并且使双方建立了共享的单播主密钥．该协议能够达到预期的安全目标．
|
| 关 键 词： | 无线局域网 无线认证和保密基础设施 安全分析 AUTLOG逻辑 |
| 文章编号： | 1001-2400（2005）04-0545-04 |
| 收稿时间： | 2005-04-09 |
| 修稿时间： | 2005-04-09 |
Security analysis of the Chinese wireless LAN standard implementation plan |
| |
| Zhang Fan;Ma JianFeng.Security analysis of the Chinese wireless LAN standard implementation plan[J].Journal of Xidian University,2005,32(4):545-548. |
| |
| Authors: | Zhang Fan;Ma JianFeng |
| |
| Affiliation: | (The Ministry of Edu. Key Lab. of Computer Networks and Information Security, ;Xidian Univ., Xi′an 710071， China) ; |
| |
| Abstract: | This paper makes an analysis of the authentication protocol of the Chinese Wireless LAN security standard WAPI(Wireless Authentication and privacy Infrastructure) implementation plan using an enhanced BAN logic—AUTLOG logic. Results show that when the authentication protocol is finished, STA and AP can authenticate each other’s identity and establish a shared pairwise master key. We further conclude that this implementation plan has modified the security issues of the original standard, and thus it can completely reach the authentication goals and satisfy desirable security attributes. |
| |
| Keywords: | WLAN WAPI security analysis AUTLOG logic |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《西安电子科技大学学报》浏览原始摘要信息 |
|
点击此处可从《西安电子科技大学学报》下载全文 |
