改进Athena算法的多协议攻击自动化验证方法

发布时间：2017-07-30 09:05

  本文关键词：改进Athena算法的多协议攻击自动化验证方法

  更多相关文章： 多协议攻击 自动化验证 安全属性 Athena算法 逆向搜索

【摘要】：多协议环境下协议安全性问题是安全协议形式化分析验证领域的一个公开问题。针对此问题,在分析Athena算法的基础上提出了一种多协议攻击自动化验证方法。该方法扩展了Athena状态表示方法和后继状态生成算法,使得攻击者具备截取其它协议交互消息和计算生成当前协议消息的能力,能够以自动化的方式验证协议是否存在多协议攻击。实验结果表明,提出的方法能够实现多协议攻击的自动化验证。
【作者单位】： 解放军信息工程大学;数学工程与先进计算国家重点实验室;中国人民解放军第61840部队;太原卫星发射中心;
【关键词】： 多协议攻击 自动化验证 安全属性 Athena算法 逆向搜索
【基金】：国家部委基金项目(9140C130103120C13062)资助
【分类号】：TP393.08
【正文快照】： 在安全协议形式化分析领域,近些年来出现了很多成功的安全协议形式化分析方法,如BAN逻辑[1]、AVISPA[2]、Paulson归纳法[3]和串空间模型[4]等,这些方法利用数学或计算机理论能够证明协议安全性或发现协议存在的攻击,但一般只限于验证独立运行环境下协议的安全性。在很多实际的

【参考文献】

中国期刊全文数据库 前1条

1 杨元原;马文平;刘维博;张笑笑;;有效的多协议攻击自动化检测系统[J];重庆大学学报;2012年02期

【共引文献】

中国期刊全文数据库 前10条

1 秦晓慧;;浅谈进行无线局域网安全防范的主要途径[J];电子技术与软件工程;2014年05期

2 左军;;物联网中重复博弈论入侵检测模型[J];重庆大学学报;2014年06期

3 代凯;邓珍荣;;基于间接认证链的输入测试证明方法[J];桂林电子科技大学学报;2015年01期

4 肖跃雷;王育民;;可信环境下的WLAN接入认证方案[J];兰州大学学报(自然科学版);2013年04期

5 赵艳;;OTP身份认证系统中Challenge-Response协议的改进[J];洛阳师范学院学报;2013年11期

6 刘威;郭渊博;;一种基于通道的AVISPA扩展方法研究[J];计算机应用研究;2013年12期

7 雷新锋;宋书民;刘伟兵;薛锐;;计算可靠的密码协议形式化分析综述[J];计算机学报;2014年05期

8 高尚;胡爱群;石乐;陈先棒;;安全协议形式化分析研究[J];密码学报;2014年05期

9 赵建杰;谷大武;胡学先;;基于PKI的认证密钥协商协议可证明安全理论研究[J];密码学报;2014年06期

10 陆思奇;程庆丰;赵进华;;安全协议形式化分析工具比较研究[J];密码学报;2014年06期

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

1 陆思奇;杨忠霖;程庆丰;;形式化分析工具Scyther性能研究[A];第十九届全国青年通信学术年会论文集[C];2014年

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

1 曹利峰;面向多级安全的网络安全通信模型及其关键技术研究[D];解放军信息工程大学;2013年

2 白云莉;基于CP-nets模型的安全协议形式化方法研究[D];内蒙古大学;2013年

3 高悦翔;电子商务安全协议的设计与形式化分析[D];西南交通大学;2013年

4 赖成U，

本文编号：593417