本文選題：安全協(xié)議　切入點(diǎn)：形式化分析　出處：《計(jì)算機(jī)應(yīng)用研究》2013年12期 　論文類(lèi)型：期刊論文

【摘要】：針對(duì)AVISPA工具在分析某些消息需要依靠具有特定屬性的信道傳遞的安全協(xié)議或服務(wù)中存在的問(wèn)題,提出了一種基于抽象通道的擴(kuò)展方法。抽象通道具有相關(guān)的安全性質(zhì)保證如認(rèn)證性,能夠?qū)μ峁┌踩再|(zhì)保證的底層服務(wù)建模,并基于密碼機(jī)制和標(biāo)簽等實(shí)現(xiàn)了抽象通道。利用擴(kuò)展后的AVISPA工具分析有無(wú)消息源認(rèn)證機(jī)制的Diffie-Hellman密鑰交換協(xié)議的安全性,表明了方法的有效性,并且能夠簡(jiǎn)化協(xié)議建模過(guò)程和增強(qiáng)AVISPA工具協(xié)議描述分析能力。
[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.

【作者單位】： 解放軍信息工程大學(xué)網(wǎng)絡(luò)空間安全學(xué)院;解放軍信息工程大學(xué)數(shù)學(xué)工程與先進(jìn)計(jì)算國(guó)家重點(diǎn)實(shí)驗(yàn)室;
【基金】：國(guó)家部委基金資助項(xiàng)目(9140C130103120C13062)
【分類(lèi)號(hào)】：TP393.08

【參考文獻(xiàn)】

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

1 徐恒;陳恭亮;楊福祥;;密鑰交換中中間人攻擊的防范[J];信息安全與通信保密;2009年02期

2 馮超;張權(quán);唐朝京;;計(jì)算可靠的Diffie-Hellman密鑰交換協(xié)議自動(dòng)證明[J];通信學(xué)報(bào);2011年10期

【共引文獻(xiàn)】

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

1 王巍;高峻;劉杰;;OAEP及其改進(jìn)協(xié)議研究[J];信息安全與通信保密;2009年09期

2 王天明;;論Man-in-the-Middle Attack對(duì)“云”資源威脅[J];網(wǎng)絡(luò)安全技術(shù)與應(yīng)用;2012年02期

3 蘇艷;黃錕錕;;短信端到端保密通信系統(tǒng)研究[J];中國(guó)科技信息;2011年12期

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

1 柳秀梅;基于口令認(rèn)證的密鑰交換協(xié)議若干關(guān)鍵技術(shù)研究[D];東北大學(xué)　;2009年

2 李海濤;AKA協(xié)議分析建模與防御策略研究[D];北京郵電大學(xué);2010年

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

1 邱勁;基于SSL協(xié)議的VPN網(wǎng)關(guān)的設(shè)計(jì)與實(shí)現(xiàn)[D];蘇州大學(xué);2012年

2 合松;基于PKI的多域統(tǒng)—認(rèn)證與授權(quán)系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)[D];北京郵電大學(xué);2013年

3 李辰榮;移動(dòng)自組織網(wǎng)絡(luò)路由協(xié)議的安全性研究與改進(jìn)[D];北京郵電大學(xué);2013年

【相似文獻(xiàn)】

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

1 劉玉坤;趙偉艇;;NS公鑰協(xié)議新的分析方法[J];電腦知識(shí)與技術(shù);2010年12期

2 王惠斌;常青美;祝躍飛;;基于PDS的IKE安全協(xié)議形式化分析[J];河南師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2007年03期

3 慕建君;;一種形式化分析安全協(xié)議的新模型[J];西安電子科技大學(xué)學(xué)報(bào);2006年03期

4 付宇;馬自堂;王惠芳;;安全協(xié)議形式化混合分析技術(shù)的研究與應(yīng)用[J];計(jì)算機(jī)工程;2006年17期

5 劉培,周明天;基于串空間的認(rèn)證協(xié)議分析[J];實(shí)驗(yàn)科學(xué)與技術(shù);2005年03期

6 韓繼紅;范鈺丹;王亞弟;郭淵博;;一種基于語(yǔ)義的安全協(xié)議形式化模型[J];計(jì)算機(jī)科學(xué);2009年02期

7 胡聲洲;余敏;彭文靈;;安全協(xié)議的關(guān)聯(lián)性研究[J];計(jì)算機(jī)工程;2007年21期

8 周鵬;林華;;基于SVO邏輯的SNMP協(xié)議的改進(jìn)及形式化分析[J];湖南科技學(xué)院學(xué)報(bào);2011年08期

9 陳浩;程娜;何大可;;ISI支付協(xié)議的Strand Space模型及其公平性分析[J];信息安全與通信保密;2006年10期

10 李肖堅(jiān);趙沁平;;一種面向組播的雙向身份鑒別與授權(quán)協(xié)議[J];計(jì)算機(jī)研究與發(fā)展;2006年11期

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

1 謝鴻波;周明天;;安全協(xié)議的形式化技術(shù):述評(píng)[A];’2004計(jì)算機(jī)應(yīng)用技術(shù)交流會(huì)議論文集[C];2004年

2 劉家芬;周明天;;對(duì)安全協(xié)議重放攻擊的分類(lèi)研究(英文)[A];計(jì)算機(jī)技術(shù)與應(yīng)用進(jìn)展——全國(guó)第17屆計(jì)算機(jī)科學(xué)與技術(shù)應(yīng)用（CACIS）學(xué)術(shù)會(huì)議論文集（下冊(cè)）[C];2006年

3 侯紅霞;;信息安全專(zhuān)業(yè)“安全協(xié)議”課程的教改探討[A];Proceedings of 2011 National Teaching Seminar on Cryptography and Information Security(NTS-CIS 2011) Vol.1[C];2011年

4 李秋山;胡游君;;低成本RFID系統(tǒng)安全協(xié)議設(shè)計(jì)及其形式化分析[A];2006北京地區(qū)高校研究生學(xué)術(shù)交流會(huì)——通信與信息技術(shù)會(huì)議論文集（上）[C];2006年

5 徐銳;;設(shè)計(jì)安全協(xié)議[A];第十八次全國(guó)計(jì)算機(jī)安全學(xué)術(shù)交流會(huì)論文集[C];2003年

6 顧永跟;傅育熙;朱涵;呂銀華;;基于進(jìn)程演算的安全協(xié)議形式化分析[A];2005年全國(guó)理論計(jì)算機(jī)科學(xué)學(xué)術(shù)年會(huì)論文集[C];2005年

7 解云峰;李之棠;石曙東;;基于串空間模型的安全協(xié)議形式化分析方法研究[A];全國(guó)網(wǎng)絡(luò)與信息安全技術(shù)研討會(huì)’2004論文集[C];2004年

8 肖美華;鄧宸芳;馬小薏;薛錦云;江耘;;網(wǎng)絡(luò)安全認(rèn)證協(xié)議形式化分析[A];第二十次全國(guó)計(jì)算機(jī)安全學(xué)術(shù)交流會(huì)論文集[C];2005年

9 孫守卿;李廉;章超;李彩虹;;基于模型檢測(cè)工具SPIN的安全協(xié)議形式化分析[A];2005年全國(guó)理論計(jì)算機(jī)科學(xué)學(xué)術(shù)年會(huì)論文集[C];2005年

10 鄧帆;鄧少鋒;李益發(fā);;對(duì)稱(chēng)環(huán)境下安全協(xié)議組件的安全屬性分析[A];第十一屆保密通信與信息安全現(xiàn)狀研討會(huì)論文集[C];2009年

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

1 ;802.1AE保護(hù)局域網(wǎng)安全[N];網(wǎng)絡(luò)世界;2005年

2 郭瑩;CTBS實(shí)現(xiàn)安全高速遠(yuǎn)程接入[N];中國(guó)計(jì)算機(jī)報(bào);2007年

3 朱建軍;客戶(hù)端VPN安全十法則[N];計(jì)算機(jī)世界;2006年

4 ;天融信打造堅(jiān)實(shí)的VPN方案[N];網(wǎng)絡(luò)世界;2003年

5 于衛(wèi);創(chuàng)造WAP上的ISP[N];計(jì)算機(jī)世界;2000年

6 清華大學(xué)計(jì)算機(jī)系 陳渝;ACI中的安全問(wèn)題[N];計(jì)算機(jī)世界;2001年

7 朱青亮;文件權(quán)限之新手上路[N];中國(guó)電腦教育報(bào);2002年

8 ;安全與隱私兼得[N];網(wǎng)絡(luò)世界;2002年

9 本報(bào)記者 諶力;事務(wù)處理系統(tǒng)走向SOA[N];網(wǎng)絡(luò)世界;2005年

10 張彤;以其人之道還治其人之身[N];網(wǎng)絡(luò)世界;2007年

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

1 魯來(lái)鳳;安全協(xié)議形式化分析理論與應(yīng)用研究[D];西安電子科技大學(xué);2012年

2 謝鴻波;安全協(xié)議形式化分析方法的關(guān)鍵技術(shù)研究[D];電子科技大學(xué);2011年

3 趙輝;安全協(xié)議形式化分析技術(shù)的研究[D];大連理工大學(xué);2010年

4 范紅;安全協(xié)議形式化分析理論與方法[D];中國(guó)人民解放軍信息工程大學(xué);2003年

5 楊超;無(wú)線網(wǎng)絡(luò)協(xié)議的形式化分析與設(shè)計(jì)[D];西安電子科技大學(xué);2008年

6 石曙東;網(wǎng)絡(luò)協(xié)議安全性分析中的邏輯化方法研究[D];華中科技大學(xué);2009年

7 馮超;計(jì)算可靠的安全協(xié)議驗(yàn)證方法研究[D];國(guó)防科學(xué)技術(shù)大學(xué);2011年

8 賈洪勇;安全協(xié)議的可組合性分析與證明[D];北京郵電大學(xué);2009年

9 鄧淼磊;幾類(lèi)安全協(xié)議的研究與設(shè)計(jì)[D];西安電子科技大學(xué);2010年

10 閆麗麗;基于串空間理論的安全協(xié)議研究[D];西南交通大學(xué);2012年

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

1 李文娟;安全移動(dòng)商務(wù)協(xié)議分析與研究[D];大連理工大學(xué);2007年

2 吳瑞龍;一種基于有色Petri網(wǎng)模型的安全協(xié)議檢測(cè)技術(shù)的研究[D];廣西大學(xué);2005年

3 尹學(xué)永;調(diào)和兩種觀點(diǎn)的安全協(xié)議形式化分析方法研究[D];山東大學(xué);2009年

4 姬國(guó)珍;基于Maude的安全協(xié)議的形式化分析[D];西安電子科技大學(xué);2011年

5 朱文也;安全協(xié)議形式化分析關(guān)鍵問(wèn)題研究[D];解放軍信息工程大學(xué);2009年

6 董軍;安全協(xié)議形式化驗(yàn)證方法的研究[D];貴州大學(xué);2007年

7 李志新;基于串空間理論的電子商務(wù)協(xié)議安全性研究[D];大連理工大學(xué);2008年

8 陳強(qiáng);安全協(xié)議的形式化分析研究[D];清華大學(xué);2005年

9 徐偉;安全協(xié)議自動(dòng)化分析系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[D];解放軍信息工程大學(xué);2009年

10 趙琳;安全協(xié)議形式化分析方法的比較和研究[D];鄭州大學(xué);2007年

，

本文編號(hào)：1567029