10.3969/j.issn.1000-3428.2009.10.041
基于扩展串空间模型的IEEE802.11i分析
通过对串空间模型的扩展,使其具备分析复杂安全协议的能力.利用扩展后的串空间模型,对IEEE802.11i协议中的4步握手协议进行分析,证明4步握手协议达到协议机密性和认证正确性目标的结论.指出在协议可用性分析方面还须继续对分析方法进行扩展研究.
串空间、IEEE802.11i协议、安全协议
35
TP309(计算技术、计算机技术)
2009-06-12(万方平台首次上网日期,不代表论文的发表时间)
共4页
126-128,131