10.3969/j.issn.1000-386X.2011.08.042
一种基于802.1x的双向认证方法及其形式语义分析
提出一种基于IEEE802.1x协议的双向认证方法,该方法在一个认证流程内实现客户实体与认证服务器之间和客户实体与认证实体之间的双向认证,以及客户实体与认证实体之间共享密钥的成功分发.通过对安全性的形式语义分析,结果表明该方法成功实现客户实体与认证服务器之间和客户实体与认证实体之间的相互信任.
IEEE802.1x、双向认证、机密数、形式语义分析
28
TP393(计算技术、计算机技术)
北京市教委科研计划面上项目KM201010005027
2011-12-23(万方平台首次上网日期,不代表论文的发表时间)
共4页
146-148,151