一种基于802.1x的双向认证方法及其形式语义分析

• 作者: 李爱玲 郭建林 韦潜
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: IEEE802.1x 双向认证 机密数 形式语义分析
• 年，卷（期）: 2011,（8）
• 所属期刊栏目: 基金项目论文
• 页码范围: 146-148,151
• 分类号: TP393
• 字数: 2108字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2011.08.042

摘要

提出一种基于IEEE802.1x协议的双向认证方法,该方法在一个认证流程内实现客户实体与认证服务器之间和客户实体与认证实体之间的双向认证,以及客户实体与认证实体之间共享密钥的成功分发.通过对安全性的形式语义分析,结果表明该方法成功实现客户实体与认证服务器之间和客户实体与认证实体之间的相互信任.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭建林	安阳工学院计算机科学与信息工程学院	12	24	2.0	4.0
2	李爱玲	安阳工学院计算机科学与信息工程学院	12	47	4.0	6.0
3	韦潜	北京工业大学计算机学院	8	25	3.0	4.0