|
|||||
|
|
| 运用SPIN对云环境双向认证协议Nayak的安全性验证 | |
| 作者单位： | ;1.华东交通大学软件学院 |
| 摘 要： | 随着云计算的发展,由欺诈行为驱动的窃取云资源和云服务的行为日趋严重,导致云资源提供商与用户间出现信任危机。Nayak协议是一种改进的云环境双向认证协议,用于保障用户安全登录云服务器,防止第三方恶意窃取用户信息。采用对称密钥密码体系对Nayak协议进行加密,基于Dolev-Yao攻击者模型,提出四通道并行建模法描述攻击者能力。该建模方法解决了Nayak协议并行运行过程中的模型检测问题以及安全隐患,优化了模型复杂度与存储状态数。运用SPIN模型验证工具分析表明采用对称密钥密码体系对Nayak协议加密不安全。此方法可运用于类似复杂协议形式化分析与验证。 |
| 关 键 词： | Nayak协议 模型检测 四通道并行建模 对称密钥加密 |
SECURITY VERIFICATION OF MUTUAL AUTHENTICATION PROTOCOL NAYAK IN CLOUD ENVIRONMENT WITH SPIN |
|
| Abstract: | |
| Keywords: | |
