动态协议设计机制研究

发布时间：2018-05-08 19:44

  本文选题：安全协议 + 形式化　； 参考：《计算机应用研究》2017年02期

【摘要】：安全协议的设计一直是网络安全领域的重要研究方向,传统的协议的安全性用经验和形式化的分析来保证。由于新攻击手段的出现,以及协议设计实现的缺陷等,协议仍存在潜在安全问题。传统的协议的设计和实现的模块相对固定,攻击者有充足的资源和时间分析和利用目标协议存在的缺陷和漏洞,对设计者有天然的不对称优势。为打破这种优势,提出了动态协议设计机制,对传统协议进行多样化、动态化改造,减少协议缺陷和漏洞的暴露时间。提出了基于攻击步骤的概率评估模型,验证了动态协议设计机制的有效性。
[Abstract]:The design of security protocols has always been an important research direction in the field of network security. The security of traditional protocols is guaranteed by experience and formal analysis. Due to the emergence of new attack methods and defects in protocol design and implementation, the protocol still has potential security problems. The traditional protocol design and implementation module is relatively fixed, the attacker has sufficient resources and time to analyze and utilize the defects and vulnerabilities of the target protocol, which has a natural asymmetric advantage to the designer. In order to break this advantage, a dynamic protocol design mechanism is proposed to diversify and dynamically transform the traditional protocols and to reduce the exposure time of the protocol defects and vulnerabilities. A probabilistic evaluation model based on attack steps is proposed to verify the effectiveness of the dynamic protocol design mechanism.
【作者单位】： 数学工程与先进计算国家重点实验室;
【基金】：国家科技支撑计划资助项目(2012BAH47B01) 国家自然科学基金资助项目(61271252,61309007) 郑州市科技创新团队项目(10CXTD150)
【分类号】：TP393.08

【相似文献】

相关期刊论文 前10条

1 许飞;许晓鸣;孙海荣;;高速网的传输协议的研究与进展[J];计算机与网络;1998年05期

2 ;协议[J];电子科技文摘;2002年08期

3 ;协议[J];电子科技文摘;2006年04期

4 王惠斌;马明山;常青美;祝跃飞;;一种新的安全协议设计方法[J];河南科学;2008年03期

5 王芷玲;张玉清;杨波;;公平交换协议设计原则[J];中国科学院研究生院学报;2006年04期

6 秦静;李丽;李宝;;高效率的非交互OT_n~k协议及其应用[J];北京邮电大学学报;2008年04期

7 顾翔;张臻;邱建林;;无线安全协议设计方法研究[J];计算机科学;2011年09期

8 苏晓萍,宋玉蓉;邻机发现协议的原理与应用[J];青海大学学报(自然科学版);2002年05期

9 刘政,赵保华,屈玉贵;一种描述安全协议的形式化规范语言[J];小型微型计算机系统;2004年07期

10 王娜;王亚弟;汪斌强;;一种模块化的安全协议设计方法[J];计算机工程;2006年14期

相关会议论文 前6条

1 邹建国;修威;;空间无线链路的TCP协议加速和优化研究[A];2007'仪表，自动化及先进集成技术大会论文集（二）[C];2007年

2 吴中贤;周江;王文鼐;;P2P-SIP协议设计与实现[A];中国通信学会信息通信网络技术委员会2009年年会论文集（上册）[C];2009年

3 陈伟;;煤炭产量远程监测传输协议的实现[A];第18届全国煤矿自动化与信息化学术会议论文集[C];2008年

4 王仲文;;网络医疗通信协议设计[A];中华医学会医学工程学分会第二次医学影像设备应用技术研讨会论文集[C];2001年

5 路兴;易真真;;适合WLAN网络的新协作MAC协议[A];2009年研究生学术交流会通信与信息技术论文集[C];2009年

6 张筠;李颖;;Ad Hoc网络中的MAC协议综述[A];中国通信学会第五届学术年会论文集[C];2008年

相关重要报纸文章 前3条

1 网捷网络公司 沈之千;802.17和城域环网协议[N];网络世界;2002年

2 四川 杨叶珍;常用红外遥控信号传输协议详解（一）[N];电子报;2006年

3 肖北庚;动态演进 协议适用范围持续扩展[N];政府采购信息报;2011年

相关博士学位论文 前10条

1 江先亮;面向网络加速的传输控制优化若干关键技术研究[D];浙江大学;2016年

2 陈志德;不经意传输协议[D];复旦大学;2005年

3 李骐;下一代无线互联网构架下的传输协议研究[D];山东大学;2007年

4 何进;基于FLUTE协议的移动互联网高效传输问题的研究[D];吉林大学;2012年

5 谢海波;无线分组网络中MAC层协议的分析与设计[D];北京邮电大学;2006年

6 宋振峰;基于协作的无线网络MAC层协议研究[D];北京邮电大学;2010年

7 陈德富;无线传感器网络自适应MAC协议研究[D];上海交通大学;2012年

8 单杭冠;无线协作传输系统的资源分配与协议设计[D];复旦大学;2009年

9 张建辉;节点势能导向多下一跳路由协议研究与性能评价[D];解放军信息工程大学;2009年

10 刘雪峰;隐私安全协议研究[D];西安电子科技大学;2013年

相关硕士学位论文 前10条

1 刘善朴;瘦终端协议HSVD的设计与实现[D];电子科技大学;2014年

2 李超;基于CRDA协议的野战局域网设计与仿真[D];电子科技大学;2014年

3 董磊;基于Ad Hoc网络的MAC层协议的设计[D];西安电子科技大学;2014年

4 孙文;HINOC2.0 MAC协议仿真平台优化设计及性能研究[D];西安电子科技大学;2014年

5 杨柳;RFID通信安全协议的研究[D];西南交通大学;2015年

6 蔡伟;基于TDMA的自组织网络MAC协议研究[D];电子科技大学;2016年

7 许光政;802.15.4e中DSME协议的研究与实现[D];电子科技大学;2016年

8 王桂娟;无线网络中新型MAC协议的设计[D];曲阜师范大学;2016年

9 邓亚风;802.11无线MAC协议中关键技术的研究[D];湘潭大学;2016年

10 朱马君;基于定向天线的无线Mesh网络信道接入控制协议研究[D];南京航空航天大学;2016年

，

本文编号：1862826