| 无线认证协议的模型检验分析研究 |
| |
| 引用本文： | 刘霞,古天龙,常亮,郭云川.无线认证协议的模型检验分析研究[J].计算机工程与应用,2006,42(21):118-120. |
| |
| 作者姓名： | 刘霞 古天龙 常亮 郭云川 |
| |
| 作者单位： | 桂林电子工业学院计算机系,广西,桂林,541004;桂林电子工业学院计算机系,广西,桂林,541004;桂林电子工业学院计算机系,广西,桂林,541004;桂林电子工业学院计算机系,广西,桂林,541004 |
| |
| 基金项目： | 广西新世纪十百千人才工程项目;广西科学基金 |
| |
| 摘 要： | 模型检验作为一种有效的分析和验证手段,在对有线认证协议的形式化分析上已得到了成功的应用,但关于无线认证协议的相关工作目前还比较少。论文应用模型检验方法对D.S.Wong等提出的无线认证协议(Server-specificMAKEP)的安全性进行分析,在分析过程中充分考察了无线环境中移动装置和无线网络的特点,验证结果表明了该方法用于分析无线认证协议的有效性。
|
| 关 键 词： | 无线认证协议 安全性 模型检验 |
| 文章编号： | 1002-8331-（2006）21-0118-03 |
| 收稿时间： | 2005-11-01 |
| 修稿时间： | 2005-11-01 |
On the Model Checking of Wireless Authentication Protocols |
| |
| Liu Xia,Gu Tianlong,Chang Liang,Guo Yunchuan.On the Model Checking of Wireless Authentication Protocols[J].Computer Engineering and Applications,2006,42(21):118-120. |
| |
| Authors: | Liu Xia Gu Tianlong Chang Liang Guo Yunchuan |
| |
| Affiliation: | Department of Computer, Guilin University of Electronic Technology, Guilin, Guangxi 341004 |
| |
| Abstract: | As an effective formal analysis and verification method,model checking has been successfully applied to wired authentication protocols.However,there exists much work to do in wireless authentication protocols.In this paper,the security of the wireless authentication protocol(Server-specific MAKEP) is analyzed using model checking.Where the features of mobile device and wireless network in wireless environment are considered.The result shows that our technique is an effective way to analyze wireless authentication protocols. |
| |
| Keywords: | wireless authentication protocols security model checking |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
