期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
运用SPIN对云环境双向认证协议Nayak的安全性验证
被引量：
1
1
作者
肖美华
梅映天
李伟
《计算机应用与软件》
2017年第10期298-303,共6页
随着云计算的发展,由欺诈行为驱动的窃取云资源和云服务的行为日趋严重,导致云资源提供商与用户间出现信任危机。Nayak协议是一种改进的云环境双向认证协议,用于保障用户安全登录云服务器,防止第三方恶意窃取用户信息。采用对称密钥密...
随着云计算的发展,由欺诈行为驱动的窃取云资源和云服务的行为日趋严重,导致云资源提供商与用户间出现信任危机。Nayak协议是一种改进的云环境双向认证协议,用于保障用户安全登录云服务器,防止第三方恶意窃取用户信息。采用对称密钥密码体系对Nayak协议进行加密,基于Dolev-Yao攻击者模型,提出四通道并行建模法描述攻击者能力。该建模方法解决了Nayak协议并行运行过程中的模型检测问题以及安全隐患,优化了模型复杂度与存储状态数。运用SPIN模型验证工具分析表明采用对称密钥密码体系对Nayak协议加密不安全。此方法可运用于类似复杂协议形式化分析与验证。
展开更多
关键词
Nayak协议
模
型检测
四通道并行建模
对称密钥加密
在线阅读
下载PDF
职称材料
题名
运用SPIN对云环境双向认证协议Nayak的安全性验证
被引量：
1
1
作者
肖美华
梅映天
李伟
机构
华东交通大学软件学院
出处
《计算机应用与软件》
2017年第10期298-303,共6页
基金
国家自然科学基金项目(61163005
61562026)
+4 种基金
计算机软件新技术国家重点实验室开放课题项目(KFKT2012B18)
江西省自然科学基金项目(2013BAB201033)
江西省高校科技落地计划项目(KJLD13038)
江西省对外科技合作技术项目(20151BDH80005)
华东交通大学研究生创新计划项目(YC2014-X007)
文摘
随着云计算的发展,由欺诈行为驱动的窃取云资源和云服务的行为日趋严重,导致云资源提供商与用户间出现信任危机。Nayak协议是一种改进的云环境双向认证协议,用于保障用户安全登录云服务器,防止第三方恶意窃取用户信息。采用对称密钥密码体系对Nayak协议进行加密,基于Dolev-Yao攻击者模型,提出四通道并行建模法描述攻击者能力。该建模方法解决了Nayak协议并行运行过程中的模型检测问题以及安全隐患,优化了模型复杂度与存储状态数。运用SPIN模型验证工具分析表明采用对称密钥密码体系对Nayak协议加密不安全。此方法可运用于类似复杂协议形式化分析与验证。
关键词
Nayak协议
模
型检测
四通道并行建模
对称密钥加密
Keywords
Nayak protocol Model checking Four-channel parallel modeling method Symmetric-key cryptography
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
运用SPIN对云环境双向认证协议Nayak的安全性验证
肖美华
梅映天
李伟
《计算机应用与软件》
2017
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
