| WAPI安全接入过程的形式化验证 |
| |
| 引用本文： | 秦建丰,郝黎明,薛质.WAPI安全接入过程的形式化验证[J].信息技术,2006,30(1):60-63. |
| |
| 作者姓名： | 秦建丰 郝黎明 薛质 |
| |
| 作者单位： | 上海交通大学信息安全工程学院,上海,200240 |
| |
| 摘 要： | WAPI协议是我国自行制定的无线局域网国家标准。在对其中WAI的安全接入过程深入研究的基础上，使用BAN逻辑对该过程进行了形式化的分析和验证。验证结果表明协议中存在着安全漏洞，文章最后针对这些安全漏洞提出了一些改进的建议。
|
| 关 键 词： | 无线局域网 证书鉴别 |
| 文章编号： | 1009-2552(2006)01-0060-04 |
| 修稿时间： | 2005年9月14日 |
Formalization verification for the security access of WAPI |
| |
| QIN Jian-feng,HAO Li-ming,XUE Zhi.Formalization verification for the security access of WAPI[J].Information Technology,2006,30(1):60-63. |
| |
| Authors: | QIN Jian-feng HAO Li-ming XUE Zhi |
| |
| Abstract: | WAPI is the National Standard designed by China for the WLAN.On the basis of thoroughly researches on the WAI security access of WAPI,this paper analyzes and verifies the access security with BAN logic.The result of formal analysis indicates that there exists some attacks of this protocol,and at the end of this paper some improvement advice is given to achieve the security goal. |
| |
| Keywords: | WAPI WAI |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
