本文選題：安全協(xié)議 + 形式化　； 參考：《計(jì)算機(jī)應(yīng)用研究》2017年02期

【摘要】：安全協(xié)議的設(shè)計(jì)一直是網(wǎng)絡(luò)安全領(lǐng)域的重要研究方向,傳統(tǒng)的協(xié)議的安全性用經(jīng)驗(yàn)和形式化的分析來保證。由于新攻擊手段的出現(xiàn),以及協(xié)議設(shè)計(jì)實(shí)現(xiàn)的缺陷等,協(xié)議仍存在潛在安全問題。傳統(tǒng)的協(xié)議的設(shè)計(jì)和實(shí)現(xiàn)的模塊相對(duì)固定,攻擊者有充足的資源和時(shí)間分析和利用目標(biāo)協(xié)議存在的缺陷和漏洞,對(duì)設(shè)計(jì)者有天然的不對(duì)稱優(yōu)勢(shì)。為打破這種優(yōu)勢(shì),提出了動(dòng)態(tài)協(xié)議設(shè)計(jì)機(jī)制,對(duì)傳統(tǒng)協(xié)議進(jìn)行多樣化、動(dòng)態(tài)化改造,減少協(xié)議缺陷和漏洞的暴露時(shí)間。提出了基于攻擊步驟的概率評(píng)估模型,驗(yàn)證了動(dòng)態(tài)協(xié)議設(shè)計(jì)機(jī)制的有效性。
[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.
【作者單位】： 數(shù)學(xué)工程與先進(jìn)計(jì)算國家重點(diǎn)實(shí)驗(yàn)室;
【基金】：國家科技支撐計(jì)劃資助項(xiàng)目(2012BAH47B01) 國家自然科學(xué)基金資助項(xiàng)目(61271252,61309007) 鄭州市科技創(chuàng)新團(tuán)隊(duì)項(xiàng)目(10CXTD150)
【分類號(hào)】：TP393.08

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 許飛;許曉鳴;孫海榮;;高速網(wǎng)的傳輸協(xié)議的研究與進(jìn)展[J];計(jì)算機(jī)與網(wǎng)絡(luò);1998年05期

2 ;協(xié)議[J];電子科技文摘;2002年08期

3 ;協(xié)議[J];電子科技文摘;2006年04期

4 王惠斌;馬明山;常青美;祝躍飛;;一種新的安全協(xié)議設(shè)計(jì)方法[J];河南科學(xué);2008年03期

5 王芷玲;張玉清;楊波;;公平交換協(xié)議設(shè)計(jì)原則[J];中國科學(xué)院研究生院學(xué)報(bào);2006年04期

6 秦靜;李麗;李寶;;高效率的非交互OT_n~k協(xié)議及其應(yīng)用[J];北京郵電大學(xué)學(xué)報(bào);2008年04期

7 顧翔;張臻;邱建林;;無線安全協(xié)議設(shè)計(jì)方法研究[J];計(jì)算機(jī)科學(xué);2011年09期

8 蘇曉萍,宋玉蓉;鄰機(jī)發(fā)現(xiàn)協(xié)議的原理與應(yīng)用[J];青海大學(xué)學(xué)報(bào)(自然科學(xué)版);2002年05期

9 劉政,趙保華,屈玉貴;一種描述安全協(xié)議的形式化規(guī)范語言[J];小型微型計(jì)算機(jī)系統(tǒng);2004年07期

10 王娜;王亞弟;汪斌強(qiáng);;一種模塊化的安全協(xié)議設(shè)計(jì)方法[J];計(jì)算機(jī)工程;2006年14期

相關(guān)會(huì)議論文 前6條

1 鄒建國;修威;;空間無線鏈路的TCP協(xié)議加速和優(yōu)化研究[A];2007'儀表，自動(dòng)化及先進(jìn)集成技術(shù)大會(huì)論文集（二）[C];2007年

2 吳中賢;周江;王文鼐;;P2P-SIP協(xié)議設(shè)計(jì)與實(shí)現(xiàn)[A];中國通信學(xué)會(huì)信息通信網(wǎng)絡(luò)技術(shù)委員會(huì)2009年年會(huì)論文集（上冊(cè)）[C];2009年

3 陳偉;;煤炭產(chǎn)量遠(yuǎn)程監(jiān)測(cè)傳輸協(xié)議的實(shí)現(xiàn)[A];第18屆全國煤礦自動(dòng)化與信息化學(xué)術(shù)會(huì)議論文集[C];2008年

4 王仲文;;網(wǎng)絡(luò)醫(yī)療通信協(xié)議設(shè)計(jì)[A];中華醫(yī)學(xué)會(huì)醫(yī)學(xué)工程學(xué)分會(huì)第二次醫(yī)學(xué)影像設(shè)備應(yīng)用技術(shù)研討會(huì)論文集[C];2001年

5 路興;易真真;;適合WLAN網(wǎng)絡(luò)的新協(xié)作MAC協(xié)議[A];2009年研究生學(xué)術(shù)交流會(huì)通信與信息技術(shù)論文集[C];2009年

6 張?bào)?李穎;;Ad Hoc網(wǎng)絡(luò)中的MAC協(xié)議綜述[A];中國通信學(xué)會(huì)第五屆學(xué)術(shù)年會(huì)論文集[C];2008年

相關(guān)重要報(bào)紙文章 前3條

1 網(wǎng)捷網(wǎng)絡(luò)公司 沈之千;802.17和城域環(huán)網(wǎng)協(xié)議[N];網(wǎng)絡(luò)世界;2002年

2 四川 楊葉珍;常用紅外遙控信號(hào)傳輸協(xié)議詳解（一）[N];電子報(bào);2006年

3 肖北庚;動(dòng)態(tài)演進(jìn) 協(xié)議適用范圍持續(xù)擴(kuò)展[N];政府采購信息報(bào);2011年

相關(guān)博士學(xué)位論文 前10條

1 江先亮;面向網(wǎng)絡(luò)加速的傳輸控制優(yōu)化若干關(guān)鍵技術(shù)研究[D];浙江大學(xué);2016年

2 陳志德;不經(jīng)意傳輸協(xié)議[D];復(fù)旦大學(xué);2005年

3 李騏;下一代無線互聯(lián)網(wǎng)構(gòu)架下的傳輸協(xié)議研究[D];山東大學(xué);2007年

4 何進(jìn);基于FLUTE協(xié)議的移動(dòng)互聯(lián)網(wǎng)高效傳輸問題的研究[D];吉林大學(xué);2012年

5 謝海波;無線分組網(wǎng)絡(luò)中MAC層協(xié)議的分析與設(shè)計(jì)[D];北京郵電大學(xué);2006年

6 宋振峰;基于協(xié)作的無線網(wǎng)絡(luò)MAC層協(xié)議研究[D];北京郵電大學(xué);2010年

7 陳德富;無線傳感器網(wǎng)絡(luò)自適應(yīng)MAC協(xié)議研究[D];上海交通大學(xué);2012年

8 單杭冠;無線協(xié)作傳輸系統(tǒng)的資源分配與協(xié)議設(shè)計(jì)[D];復(fù)旦大學(xué);2009年

9 張建輝;節(jié)點(diǎn)勢(shì)能導(dǎo)向多下一跳路由協(xié)議研究與性能評(píng)價(jià)[D];解放軍信息工程大學(xué);2009年

10 劉雪峰;隱私安全協(xié)議研究[D];西安電子科技大學(xué);2013年

相關(guān)碩士學(xué)位論文 前10條

1 劉善樸;瘦終端協(xié)議HSVD的設(shè)計(jì)與實(shí)現(xiàn)[D];電子科技大學(xué);2014年

2 李超;基于CRDA協(xié)議的野戰(zhàn)局域網(wǎng)設(shè)計(jì)與仿真[D];電子科技大學(xué);2014年

3 董磊;基于Ad Hoc網(wǎng)絡(luò)的MAC層協(xié)議的設(shè)計(jì)[D];西安電子科技大學(xué);2014年

4 孫文;HINOC2.0 MAC協(xié)議仿真平臺(tái)優(yōu)化設(shè)計(jì)及性能研究[D];西安電子科技大學(xué);2014年

5 楊柳;RFID通信安全協(xié)議的研究[D];西南交通大學(xué);2015年

6 蔡偉;基于TDMA的自組織網(wǎng)絡(luò)MAC協(xié)議研究[D];電子科技大學(xué);2016年

7 許光政;802.15.4e中DSME協(xié)議的研究與實(shí)現(xiàn)[D];電子科技大學(xué);2016年

8 王桂娟;無線網(wǎng)絡(luò)中新型MAC協(xié)議的設(shè)計(jì)[D];曲阜師范大學(xué);2016年

9 鄧亞風(fēng);802.11無線MAC協(xié)議中關(guān)鍵技術(shù)的研究[D];湘潭大學(xué);2016年

10 朱馬君;基于定向天線的無線Mesh網(wǎng)絡(luò)信道接入控制協(xié)議研究[D];南京航空航天大學(xué);2016年

，

本文編號(hào)：1862826