无线认证协议的模型检验分析研究

摘要：

模型检验作为一种有效的分析和验证手段,在对有线认证协议的形式化分析上已得到了成功的应用,但关于无线认证协议的相关工作目前还比较少.论文应用模型检验方法对D.S.Wong等提出的无线认证协议(Server-specific MAKEP)的安全性进行分析,在分析过程中充分考察了无线环境中移动装置和无线网络的特点,验证结果表明了该方法用于分析无线认证协议的有效性.

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

所属期刊栏目：42

分类号：TP311(计算技术、计算机技术)

资助基金：广西新世纪十百千人才工程项目;广西科学基金

在线出版日期：2006-08-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：118-120