Based on PCL,a formal correctness proof of WAPI key management protocol is presented.First,unicast key negotiation and multicast key announcement sub-protocols are analyzed,and their separate proofs of specific security properties of SSA and KS are detailed under unbounded number of participants and sessions.Second, according to the sequential rule and staged composition theorem,all principals do not execute both roles of ASUE and AE,and the precondition of a sub-protocol is preserved by the other one later...
~~.~r~一一，.~..一一0.~、~~~，，~~~一‘1引言为了解决无线局域网(wirel侧犯Local Area Network，WLAN)国际标准150/IEC 8802-11中定义的WEp(Wired助ulv川ent Priv鱿y)安全机制存在的安全漏洞，我国分别于2003年与2以〕6年颁布了无线局域网国家标准及其第一号修改单11，zJ，?
| 
推荐 
点击下列相关研究机构和相关文献作者，可以直接查到这些机构和作者被《中国知识资源总库》收录的其它文献，使您全面了解该机构和该作者的研究动态和历史。
