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

摘要

An IEEE802. Lx protocol based mutual authentication scheme is proposed. The scheme realizes the mutual authentication both between the supplicant and the authentication server and between the supplicant and the authenticator, as well as the successful distribution of the shared key between the supplicant and the authenticator. Through formal semantics analysis on security, the results demonstrate that the scheme successfully realizes the mutual trust both between the supplicant and the authentication server and between the supplicant and the authenticator.%提出一种基于IEEE802.1x协议的双向认证方法,该方法在一个认证流程内实现客户实体与认证服务器之间和客户实体与认证实体之间的双向认证,以及客户实体与认证实体之间共享密钥的成功分发.通过对安全性的形式语义分析,结果表明该方法成功实现客户实体与认证服务器之间和客户实体与认证实体之间的相互信任.