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

Improvement of wireless authentication protocol:server-specific MAKEP

作　　者：刘霞[1] 古天龙[1] 

机构地区：[1]桂林电子科技大学计算机系,广西桂林541004

出　　处：《桂林电子工业学院学报》2006年第4期255-258,共4页Journal of Guilin Institute of Electronic Technology

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

关 键 词：无线认证协议 认证性 模型检验 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]