SPIN在无线网络安全认证协议建模中的应用

• 作者: 周莉 董虎胜 谭方勇 陆萍
• 来源期刊: 煤炭技术
• 学科: 工学
• 关键词: 模型检测 认证协议 协议验证 可扩展认证协议 传输层安全
• 年，卷（期）: 2013,（1）
• 所属期刊栏目: 信息技术
• 页码范围: 169-170
• 页数: 2页
• 分类号: TP393
• 字数: 1907字
• 语种: 中文

摘要

为确保无线网络安全认证,应用模型检查工具SPIN对EAP-TLS认证协议进行建模,根据SPIN给出攻击轨迹,指出EAP-TLS可能存在双向认证失败的安全隐患,从抵抗攻击和协议改进提出了基于隧道的认证方法.使用SPIN PROMELA语言对通信各方建模,用线性时态逻辑LTL表示安全属性,提出了将SPIN应用于认证协议的验证方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陆萍	苏州经贸职业技术学院信息系	50	112	6.0	7.0
2	董虎胜	苏州经贸职业技术学院信息系	41	103	6.0	8.0
3	谭方勇		2	13	1.0	2.0
4	周莉		1	1	1.0	1.0