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

• 作者: 刘霞 古天龙 常亮 郭云川
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 无线认证协议 安全性 模型检验
• 年，卷（期）: 2006,（21）
• 所属期刊栏目: 网络、通信与安全
• 页码范围: 118-120
• 页数: 3页
• 分类号: TP311
• 字数: 2938字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2006.21.035

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	古天龙	桂林电子工业学院计算机系	207	1546	18.0	30.0
2	郭云川	桂林电子工业学院计算机系	25	119	8.0	10.0
3	常亮	桂林电子工业学院计算机系	77	450	12.0	17.0
4	刘霞	桂林电子工业学院计算机系	7	29	4.0	5.0