10.3969/j.issn.1000-3428.2006.22.004
WAPI接入鉴别过程的形式化分析与验证
WAPI协议是我国自行制定的无线局域网国家标准.该文在研究WAPI接入鉴别过程的基础上,使用BAN逻辑对其进行了形式化的分析和验证,证明了接入鉴别过程能够达到信息安全所要求的身份认证、数据完整性和机密性目标.
WAPI、接入鉴别、密钥协商
32
TN913.2
国家高技术研究发展计划863计划2002AA145090
2006-12-18(万方平台首次上网日期,不代表论文的发表时间)
共4页
10-13