WAPI接入鉴别过程的形式化分析与验证  

Formal Analysis and Verification for Authentication Process of WAPI

作　　者：李谢华[1] 李建华[1] 杨树堂[1] 诸鸿文[1] 

机构地区：[1]上海交通大学电子工程系,上海200030

出　　处：《计算机工程》2006年第22期10-13,共4页Computer Engineering

基　　金：国家"863"计划基金资助项目(2002AA145090)

摘　　要：WAPI协议是我国自行制定的无线局域网国家标准。该文在研究WAPI接入鉴别过程的基础上,使用BAN逻辑对其进行了形式化的分析和验证,证明了接入鉴别过程能够达到信息安全所要求的身份认证、数据完整性和机密性目标。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.

关 键 词：WAPI 接入鉴别 密钥协商 

分 类 号：TN913.2[电子电信—通信与信息系统]