一种基于通道的AVISPA扩展方法研究

发布时间：2018-03-04 19:43

  本文选题：安全协议　切入点：形式化分析　出处：《计算机应用研究》2013年12期 　论文类型：期刊论文

【摘要】：针对AVISPA工具在分析某些消息需要依靠具有特定属性的信道传递的安全协议或服务中存在的问题,提出了一种基于抽象通道的扩展方法。抽象通道具有相关的安全性质保证如认证性,能够对提供安全性质保证的底层服务建模,并基于密码机制和标签等实现了抽象通道。利用扩展后的AVISPA工具分析有无消息源认证机制的Diffie-Hellman密钥交换协议的安全性,表明了方法的有效性,并且能够简化协议建模过程和增强AVISPA工具协议描述分析能力。
[Abstract]:In view of the AVISPA tool in the analysis of some existing security protocols need to rely on the news channel with specific property transfer or service problems, proposes a method based on the extended abstract channel. The abstract channel with safety related properties such as the guarantee of certification, to provide basic services and guarantee the security property modeling, password mechanism and label such as the realization of the abstract channel using security. Based on the extended AVISPA analysis tool has no source authentication mechanism of the Diffie-Hellman key exchange protocol, which indicates the validity of the method, and can simplify the modeling process and protocol enhanced AVISPA protocol description tools and analysis ability.

【作者单位】： 解放军信息工程大学网络空间安全学院;解放军信息工程大学数学工程与先进计算国家重点实验室;
【基金】：国家部委基金资助项目(9140C130103120C13062)
【分类号】：TP393.08

【参考文献】

相关期刊论文 前2条

1 徐恒;陈恭亮;杨福祥;;密钥交换中中间人攻击的防范[J];信息安全与通信保密;2009年02期

2 冯超;张权;唐朝京;;计算可靠的Diffie-Hellman密钥交换协议自动证明[J];通信学报;2011年10期

【共引文献】

相关期刊论文 前3条

1 王巍;高峻;刘杰;;OAEP及其改进协议研究[J];信息安全与通信保密;2009年09期

2 王天明;;论Man-in-the-Middle Attack对“云”资源威胁[J];网络安全技术与应用;2012年02期

3 苏艳;黄锟锟;;短信端到端保密通信系统研究[J];中国科技信息;2011年12期

相关博士学位论文 前2条

1 柳秀梅;基于口令认证的密钥交换协议若干关键技术研究[D];东北大学　;2009年

2 李海涛;AKA协议分析建模与防御策略研究[D];北京邮电大学;2010年

相关硕士学位论文 前3条

1 邱劲;基于SSL协议的VPN网关的设计与实现[D];苏州大学;2012年

2 合松;基于PKI的多域统—认证与授权系统设计与实现[D];北京邮电大学;2013年

3 李辰荣;移动自组织网络路由协议的安全性研究与改进[D];北京邮电大学;2013年

【相似文献】

相关期刊论文 前10条

1 刘玉坤;赵伟艇;;NS公钥协议新的分析方法[J];电脑知识与技术;2010年12期

2 王惠斌;常青美;祝跃飞;;基于PDS的IKE安全协议形式化分析[J];河南师范大学学报(自然科学版);2007年03期

3 慕建君;;一种形式化分析安全协议的新模型[J];西安电子科技大学学报;2006年03期

4 付宇;马自堂;王惠芳;;安全协议形式化混合分析技术的研究与应用[J];计算机工程;2006年17期

5 刘培,周明天;基于串空间的认证协议分析[J];实验科学与技术;2005年03期

6 韩继红;范钰丹;王亚弟;郭渊博;;一种基于语义的安全协议形式化模型[J];计算机科学;2009年02期

7 胡声洲;余敏;彭文灵;;安全协议的关联性研究[J];计算机工程;2007年21期

8 周鹏;林华;;基于SVO逻辑的SNMP协议的改进及形式化分析[J];湖南科技学院学报;2011年08期

9 陈浩;程娜;何大可;;ISI支付协议的Strand Space模型及其公平性分析[J];信息安全与通信保密;2006年10期

10 李肖坚;赵沁平;;一种面向组播的双向身份鉴别与授权协议[J];计算机研究与发展;2006年11期

相关会议论文 前10条

1 谢鸿波;周明天;;安全协议的形式化技术:述评[A];’2004计算机应用技术交流会议论文集[C];2004年

2 刘家芬;周明天;;对安全协议重放攻击的分类研究(英文)[A];计算机技术与应用进展——全国第17届计算机科学与技术应用（CACIS）学术会议论文集（下册）[C];2006年

3 侯红霞;;信息安全专业“安全协议”课程的教改探讨[A];Proceedings of 2011 National Teaching Seminar on Cryptography and Information Security(NTS-CIS 2011) Vol.1[C];2011年

4 李秋山;胡游君;;低成本RFID系统安全协议设计及其形式化分析[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集（上）[C];2006年

5 徐锐;;设计安全协议[A];第十八次全国计算机安全学术交流会论文集[C];2003年

6 顾永跟;傅育熙;朱涵;吕银华;;基于进程演算的安全协议形式化分析[A];2005年全国理论计算机科学学术年会论文集[C];2005年

7 解云峰;李之棠;石曙东;;基于串空间模型的安全协议形式化分析方法研究[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年

8 肖美华;邓宸芳;马小薏;薛锦云;江耘;;网络安全认证协议形式化分析[A];第二十次全国计算机安全学术交流会论文集[C];2005年

9 孙守卿;李廉;章超;李彩虹;;基于模型检测工具SPIN的安全协议形式化分析[A];2005年全国理论计算机科学学术年会论文集[C];2005年

10 邓帆;邓少锋;李益发;;对称环境下安全协议组件的安全属性分析[A];第十一届保密通信与信息安全现状研讨会论文集[C];2009年

相关重要报纸文章 前10条

1 ;802.1AE保护局域网安全[N];网络世界;2005年

2 郭莹;CTBS实现安全高速远程接入[N];中国计算机报;2007年

3 朱建军;客户端VPN安全十法则[N];计算机世界;2006年

4 ;天融信打造坚实的VPN方案[N];网络世界;2003年

5 于卫;创造WAP上的ISP[N];计算机世界;2000年

6 清华大学计算机系 陈渝;ACI中的安全问题[N];计算机世界;2001年

7 朱青亮;文件权限之新手上路[N];中国电脑教育报;2002年

8 ;安全与隐私兼得[N];网络世界;2002年

9 本报记者 谌力;事务处理系统走向SOA[N];网络世界;2005年

10 张彤;以其人之道还治其人之身[N];网络世界;2007年

相关博士学位论文 前10条

1 鲁来凤;安全协议形式化分析理论与应用研究[D];西安电子科技大学;2012年

2 谢鸿波;安全协议形式化分析方法的关键技术研究[D];电子科技大学;2011年

3 赵辉;安全协议形式化分析技术的研究[D];大连理工大学;2010年

4 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年

5 杨超;无线网络协议的形式化分析与设计[D];西安电子科技大学;2008年

6 石曙东;网络协议安全性分析中的逻辑化方法研究[D];华中科技大学;2009年

7 冯超;计算可靠的安全协议验证方法研究[D];国防科学技术大学;2011年

8 贾洪勇;安全协议的可组合性分析与证明[D];北京邮电大学;2009年

9 邓淼磊;几类安全协议的研究与设计[D];西安电子科技大学;2010年

10 闫丽丽;基于串空间理论的安全协议研究[D];西南交通大学;2012年

相关硕士学位论文 前10条

1 李文娟;安全移动商务协议分析与研究[D];大连理工大学;2007年

2 吴瑞龙;一种基于有色Petri网模型的安全协议检测技术的研究[D];广西大学;2005年

3 尹学永;调和两种观点的安全协议形式化分析方法研究[D];山东大学;2009年

4 姬国珍;基于Maude的安全协议的形式化分析[D];西安电子科技大学;2011年

5 朱文也;安全协议形式化分析关键问题研究[D];解放军信息工程大学;2009年

6 董军;安全协议形式化验证方法的研究[D];贵州大学;2007年

7 李志新;基于串空间理论的电子商务协议安全性研究[D];大连理工大学;2008年

8 陈强;安全协议的形式化分析研究[D];清华大学;2005年

9 徐伟;安全协议自动化分析系统的设计与实现[D];解放军信息工程大学;2009年

10 赵琳;安全协议形式化分析方法的比较和研究[D];郑州大学;2007年

，

本文编号：1567029