运用SPIN对云环境双向认证协议Nayak的安全性验证

• 作者: 李伟 梅映天 肖美华
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: Nayak协议 模型检测 四通道并行建模 对称密钥加密
• 年，卷（期）: 2017,（10）
• 所属期刊栏目: 安全技术
• 页码范围: 298-303
• 页数: 6页
• 分类号: TP309
• 字数: 4009字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2017.10.053

摘要

随着云计算的发展,由欺诈行为驱动的窃取云资源和云服务的行为日趋严重,导致云资源提供商与用户间出现信任危机.Nayak协议是一种改进的云环境双向认证协议,用于保障用户安全登录云服务器,防止第三方恶意窃取用户信息.采用对称密钥密码体系对Nayak协议进行加密,基于Dolev-Yao攻击者模型,提出四通道并行建模法描述攻击者能力.该建模方法解决了Nayak协议并行运行过程中的模型检测问题以及安全隐患,优化了模型复杂度与存储状态数.运用SPIN模型验证工具分析表明采用对称密钥密码体系对Nayak协议加密不安全.此方法可运用于类似复杂协议形式化分析与验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李伟	华东交通大学软件学院	16	86	7.0	9.0
2	肖美华	华东交通大学软件学院	18	92	6.0	9.0
3	梅映天	华东交通大学软件学院	7	26	3.0	5.0