WAPI安全接入过程的形式化验证

Formalization verification for the security access of WAPI

WAPI协议是我国自行制定的无线局域网国家标准。在对其中WAI的安全接入过程深入研究的基础上,使用BAN逻辑对该过程进行了形式化的分析和验证。验证结果表明协议中存在着安全漏洞,文章最后针对这些安全漏洞提出了一些改进的建议。

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.