Formal Analysis and Verification for Authentication Process of WAPI
Zhu Hongwen · Jisuanji gongcheng · 2006
WAPI is the WLAN national standard designed by China.Based on the thorough researches on authentication process of WAPI,this paper analyzes and verifies this process with BAN logic.The result of formal analysis indicates that the authentication process of WAPI can achieve the goal of identification,data integrity and confidentiality.