基于SPIN的Andrew Secure RPC协议并行攻击模型检测

肖美华; 朱科; 马成林

首页> 中文期刊> 《计算机科学》 >基于SPIN的Andrew Secure RPC协议并行攻击模型检测

基于SPIN的Andrew Secure RPC协议并行攻击模型检测

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

Andrew Secure RPC协议具有身份认证和秘钥交换功能,其因简洁明了而被广泛应用于对称密钥加密体系中.模型检测技术具有高度自动化的优点,在协议安全性验证领域得到广泛应用,但模型检测方法只能检测到一轮协议会话中存在的攻击,难以检测到多轮并行会话中存在的并行攻击.针对Andrew SecureRPC协议运行环境中存在的并行性与可能出现的安全隐患,提出了组合身份建模方法.该方法运用著名的SPIN模型检测工具,对Andrew Secure RPC协议进行模型检测,从而得到攻击序列图,成功发现并行反射攻击和类缺陷攻击.上述组合身份建模方法为复杂环境下协议的模型检测提供了新的方向.

著录项

来源
《计算机科学》 |2015年第7期|103-107|共5页
作者
肖美华; 朱科; 马成林;
展开▼
作者单位

华东交通大学软件学院南昌330013;

华东交通大学软件学院南昌330013;

华东交通大学软件学院南昌330013;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP393.08;
关键词
Andrew Secure RPC协议; 模型检测; SPIN; 组合身份建模; 并行攻击;

相似文献

中文文献
外文文献
专利

1. Andrew Secure RPC协议的一种组合分析方法 [J] . 刘跃军 ,王红旗 ,杨强 . 四川理工学院学报（自然科学版） . 2008,第004期
2. 基于串空间模型的Andrew安全RPC协议分析 [J] . 刘慧芳 . 电脑编程技巧与维护 . 2012,第004期
3. 基于串空间模型的Andrew RPC协议的分析与验证 [J] . 周清雷 ,赵琳 ,赵东明 . 计算机工程与应用 . 2007,第013期
4. 基于形式方法的Andrew RPC认证协议的分析与改进 [J] . 白汉利 ,蔡红柳 ,郑广 . 计算机工程与设计 . 2005,第007期
5. 基于SPIN的网络认证协议高效模型检测 [J] . 缪力 ,谭志华 ,张大方 . 计算机工程与应用 . 2012,第021期
6. 应用Rubin逻辑分析Andrew安全RPC协议 [C] . 徐洋 ,谢晓尧 . 2010年第四届中国可信计算与信息安全学术会议 . 2010
7. 基于模型检测工具SPIN的安全协议分析和验证 [A] . 孙守卿 . 2006

基于SPIN的Andrew Secure RPC协议并行攻击模型检测

摘要

著录项

相似文献

相关主题

期刊订阅