无线认证协议Server-specific MAKEP的一种改进

无线认证协议用于无线环境中各参与方之间相互确定对方的真实身份,防止假冒攻击.如果无线认证协议出现安全漏洞,整个会话就没有安全性可言,还会影响随后会话的安全性.针对无线认证协议Server-specific MAKEP存在的认证性缺陷,给出了对协议的一种改进.对改进后的协议进行模型检验分析的结果表明,改进后的Server-specific MAKEP协议满足认证性和保密性.此外,把存储空间的占用从移动装置转移到了固定装置,减少了移动装置存储空间的占有率,从而提高了移动装置的通信效率.

Improvement of wireless authentication protocol:server-specific MAKEP

Wireless authentication protocols are used to confirm identity of the participants involved in case of impersonation.If there are security flaws in a wireless authentication protocol,the whole session will be unsafe or even the security of the subsequent session will be affected.For the authentication flaw in wireless authentication protocol Server-specific MAKEP,an improvement is presented.The improved protocol is analyzed using model checking and the result shows that the improved Server-specific MAKEP guarantees authentication and confidentiality.In addition,the improvement transfers the storage occupation from mobile device to fixed device.Thus,it reduces the storage occupation of mobile device and enhances the communication efficiency of mobile device.