Formalization Analysis of WAPI Security
Chen Xian-chao · Microcomputer Information · 2010
WAPI is the first domestic wireless LAN Standard.Based on the Kailar logical model,the paper formally describe the process of Certificate Identify,and analysis security by logical reasoning.The paper is given the improved measure about its security defect,and Make the protocol reached the expected safety goal.