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

发布时间：2017-12-20 03:07

  本文关键词：基于SPIN的Andrew Secure RPC协议并行攻击模型检测　出处：《计算机科学》2015年07期 　论文类型：期刊论文

  更多相关文章： Andrew Secure RPC协议 模型检测 SPIN 组合身份建模 并行攻击

【摘要】：Andrew Secure RPC协议具有身份认证和秘钥交换功能,其因简洁明了而被广泛应用于对称密钥加密体系中。模型检测技术具有高度自动化的优点,在协议安全性验证领域得到广泛应用,但模型检测方法只能检测到一轮协议会话中存在的攻击,难以检测到多轮并行会话中存在的并行攻击。针对Andrew Secure RPC协议运行环境中存在的并行性与可能出现的安全隐患,提出了组合身份建模方法。该方法运用著名的SPIN模型检测工具,对Andrew Secure RPC协议进行模型检测,从而得到攻击序列图,成功发现并行反射攻击和类缺陷攻击。上述组合身份建模方法为复杂环境下协议的模型检测提供了新的方向。
【作者单位】： 华东交通大学软件学院;
【分类号】：TP393.08
【正文快照】： 到稿日期:2014-06-25返修日期:2014-09-14本文受国家自然科学基金(61163005),计算机软件新技术国家重点实验室开放课题(KFKT2012B18),江西省高校科技落地计划项目(KJLD13038),江西省自然科学基金(2010GZS0150,20132BAB201033)资助。安全协议是以密码学为基础的消息交换协议,其

【相似文献】

中国重要会议论文全文数据库 前7条

1 高静;曹子宁;;基于空间逻辑和计算树逻辑的模型检测[A];2009年中国高校通信类院系学术研讨会论文集[C];2009年

2 许梅;曹子宁;;基于谓词μ演算和空间逻辑的模型检测算法研究[A];2009年中国高校通信类院系学术研讨会论文集[C];2009年

3 何青;骆翔宇;苏开乐;;对弈必胜策略的符号化模型检测[A];2006年全国理论计算机科学学术年会论文集[C];2006年

4 王飞明;胡元闯;董荣胜;;模型检测中状态爆炸及其优化策略研究[A];广西计算机学会2008年年会论文集[C];2008年

5 陈道喜;张广泉;陈冬火;;NSPK协议的Spin模型检测[A];2008年全国开放式分布与并行计算机学术会议论文集(下册)[C];2008年

6 邢立国;张光甫;刘薇;胥维昌;金一和;;人皮肤模型评价杀菌类农药腐蚀/刺激性研究[A];2014线粒体毒性与基于毒性通路的安全性评价新策略学术研讨会暨中国毒理学会毒理学替代法与转化毒理学专业委员会成立大会论文集[C];2014年

7 张明玉;;我国对外开放、通货膨胀与经济增长相关关系的模型检测[A];面向21世纪的科技进步与社会经济发展（下册）[C];1999年

中国博士学位论文全文数据库 前10条

1 江华;界程演算模型检测[D];贵州大学;2008年

2 林荣德;移动界程演算及模型检测应用的关键问题研究[D];华南理工大学;2010年

3 刘剑;传值进程与移动进程的模型检测方法[D];中国科学院研究生院（软件研究所）;2005年

4 刘志锋;模型检测中关键技术的研究及其应用[D];南京大学;2011年

5 朱维军;时间区间时序逻辑模型检测：理论、算法及应用[D];西安电子科技大学;2011年

6 陈冬火;超协调时序逻辑及其模型检测方法[D];中国科学院研究生院（成都计算机应用研究所）;2006年

7 田聪;命题投影时序逻辑的判定性、复杂性、表达性及模型检测[D];西安电子科技大学;2010年

8 黄宏涛;基于懒惰切片的模型检测技术研究[D];哈尔滨工程大学;2012年

9 刘金卓;基于符号化模型检测的软件演化过程模型验证[D];云南大学;2013年

10 吴骏;多Agent联盟规范系统研究[D];南京大学;2011年

中国硕士学位论文全文数据库 前10条

1 张衍志;符号化模型检测算法的研究[D];吉林大学;2009年

2 黎吾平;模型检测在软件方面的应用[D];吉林大学;2008年

3 吴小娟;并行完备模型检测技术的研究[D];电子科技大学;2013年

4 姜志敏;模型检测在配置中的应用[D];吉林大学;2010年

5 金怡爱;基于模型检测方法的规划[D];吉林大学;2005年

6 施小纯;基于反例搜索的启发式模型检测算法的研究[D];中国科学院研究生院（软件研究所）;2004年

7 陈亚军;模型检测在安全协议形式化验证中的应用[D];电子科技大学;2012年

8 殷朝冉;测试目的引导的模型检测方法与技术研究[D];北方工业大学;2015年

9 高静;面向环境演算系统的模型检测算法的研究[D];南京航空航天大学;2009年

10 廉智超;模型检测在模型诊断领域中的应用[D];吉林大学;2007年

，

本文编号：1310502