作者：周超 周城 郭亮网络访问控制ieee可扩展认证协议状态机形式化分析ban逻辑
摘要：IEEE 802.1X标准存在一些设计缺陷,为消除拒绝服务攻击（DoS）、重放攻击、会话劫持、中间人攻击等安全威胁,从状态机运行角度对协议进行了分析,指出产生这些问题的根源在于协议状态机的不平等和不完备,缺乏对消息完整性和源真实性的保护。提出并实现了一种双向挑战握手及下线验证的改进方案,并用一种改进的BAN逻辑对其进行了形式化分析。经验证,该方案能有效抵御上述安全威胁。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
