EAP-MD5协议的安全性分析与改进

• 作者: 王颖 田志辉 金志刚
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 着色Petri网 安全协议 形式化分析 EAP-MD5协议 可达性分析 中间人
• 年，卷（期）: 2014,（6）
• 所属期刊栏目: 安全技术
• 页码范围: 95-98,103
• 页数: 5页
• 分类号: TP393
• 字数: 3692字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2014.06.021

摘要

安全协议的验证对确保网络通信安全极其重要,形式化分析方法使得安全协议的分析简单、规范和实用,成为信息安全领域的研究热点.针对802.1x/EAP-MD5认证协议,提出一种基于着色Petri网(CPN)的安全协议形式化验证方法,并给出具体的形式化分析过程.建立协议的CPN模型,分析协议执行过程中可能出现的不安全状态,利用CPN状态可达性判定这些不安全状态是否可达,从而验证协议的安全性.对于802.1 x/EAP-MD5协议在中间人攻击下的安全漏洞问题,提出协议的改进方案,采用预共享密钥机制生成会话密钥加密交互信息,同时运用数字证书对服务器进行认证,以提升中间人攻击的难度及增强网络接入认证协议的安全性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	金志刚	天津大学电子信息工程学院	187	1023	14.0	23.0
2	王颖	天津大学电子信息工程学院	54	523	11.0	21.0
3	田志辉	天津大学电子信息工程学院	2	9	2.0	2.0