本文選題：密碼協(xié)議 + 形式化方法�。� 參考：《計(jì)算機(jī)學(xué)報(bào)》2014年05期

【摘要】：密碼協(xié)議的描述和分析有兩類截然不同的方法:一類以形式化方法為主要手段,另一類以計(jì)算復(fù)雜性理論為基礎(chǔ).Abadi和Rogaway首次試圖將這兩類不同的方法關(guān)聯(lián)起來(lái),證明一個(gè)協(xié)議在形式化模型下具有某種安全屬性,那么在計(jì)算模型下也保持相應(yīng)的安全屬性.在這一工作的帶動(dòng)下,形式化方法的計(jì)算可靠性研究越來(lái)越受到關(guān)注,成為密碼協(xié)議分析研究的一個(gè)重要內(nèi)容.圍繞這一熱點(diǎn)問(wèn)題,人們做了大量的工作.該文首先對(duì)兩類分析方法做概要介紹;其次對(duì)形式化分析的計(jì)算可靠性研究成果進(jìn)行分類和總結(jié),并對(duì)各種方法的主要思想進(jìn)行了介紹;最后對(duì)該領(lǐng)域未來(lái)的研究方向進(jìn)行了展望.
[Abstract]:There are two distinct methods for describing and analyzing cryptographic protocols: one is based on formal methods, the other is based on computational complexity theory. Abadi and Rogaway first attempt to associate these two different methods. It is proved that a protocol has some kind of security attribute under the formal model, then the corresponding security attribute is also maintained in the computational model. Driven by this work, the research on computational reliability of formal methods has been paid more and more attention, which has become an important part of cryptographic protocol analysis. People have done a lot of work around this hot issue. In this paper, two kinds of analytical methods are introduced briefly, then the research results of computational reliability of formal analysis are classified and summarized, and the main ideas of various methods are introduced. Finally, the future research direction in this field is prospected.
【作者單位】： 中國(guó)科學(xué)院信息工程研究所信息安全國(guó)家重點(diǎn)實(shí)驗(yàn)室;北京信息技術(shù)研究所;
【基金】：國(guó)家自然科學(xué)基金(61170280) 中國(guó)科學(xué)院先導(dǎo)項(xiàng)目(XDA06010701) 中國(guó)科學(xué)院信息工程研究所密碼基金資助~~
【分類號(hào)】：TN918.4

【參考文獻(xiàn)】

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

1 薛銳;馮登國(guó);;安全協(xié)議的形式化分析技術(shù)與方法[J];計(jì)算機(jī)學(xué)報(bào);2006年01期

2 薛銳;雷新鋒;;安全協(xié)議:信息安全保障的靈魂——安全協(xié)議分析研究現(xiàn)狀與發(fā)展趨勢(shì)[J];中國(guó)科學(xué)院院刊;2011年03期

3 雷新鋒;劉軍;肖軍模;;時(shí)間相關(guān)密碼協(xié)議邏輯及其形式化語(yǔ)義[J];軟件學(xué)報(bào);2011年03期

【共引文獻(xiàn)】

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

1 賈淑紅;劉建軍;項(xiàng)新建;;改進(jìn)的Kerberos協(xié)議在建筑揚(yáng)塵污染監(jiān)控平臺(tái)中的應(yīng)用[J];遼寧工程技術(shù)大學(xué)學(xué)報(bào)(自然科學(xué)版);2012年02期

2 張兆心;杜躍進(jìn);方濱興;張宏莉;;基于BAN邏輯的SIP網(wǎng)絡(luò)認(rèn)證協(xié)議安全性研究[J];高技術(shù)通訊;2010年11期

3 吳名歡;程小輝;;物聯(lián)網(wǎng)中安全通信協(xié)議的形式化分析[J];桂林理工大學(xué)學(xué)報(bào);2013年02期

4 秦曉慧;;淺談進(jìn)行無(wú)線局域網(wǎng)安全防范的主要途徑[J];電子技術(shù)與軟件工程;2014年05期

5 張帆;馬建峰;文相在;;通用可組合的匿名HASH認(rèn)證模型[J];中國(guó)科學(xué)(E輯:信息科學(xué));2007年02期

6 SangJae MOON;;Universally composable anonymous Hash certification model[J];Science in China(Series F:Information Sciences);2007年03期

7 王全來(lái);王亞弟;韓繼紅;;密碼協(xié)議形式化分析的計(jì)算合理性[J];計(jì)算機(jī)工程與應(yīng)用;2007年21期

8 吳昌;肖美華;羅敏;劉俏威;熊昊;;安全協(xié)議驗(yàn)證模型的高效自動(dòng)生成[J];計(jì)算機(jī)工程與應(yīng)用;2010年02期

9 周倜;李舟軍;王志勇;王巾盈;;時(shí)間敏感的安全協(xié)議建模與驗(yàn)證:研究綜述[J];計(jì)算機(jī)科學(xué);2009年08期

10 李亞暉;馬建峰;;一種基于融合網(wǎng)絡(luò)通用可組合安全的漫游認(rèn)證協(xié)議[J];計(jì)算機(jī)科學(xué);2010年01期

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

1 張兆心;方濱興;張宏莉;;基于BAN邏輯的SIP網(wǎng)絡(luò)中認(rèn)證協(xié)議安全性分析[A];2006北京地區(qū)高校研究生學(xué)術(shù)交流會(huì)——通信與信息技術(shù)會(huì)議論文集（下）[C];2006年

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

1 劉文浩;無(wú)雙線性對(duì)的無(wú)證書公鑰密碼學(xué)研究[D];電子科技大學(xué);2010年

2 楊鵬;基于廣義隨機(jī)Petri網(wǎng)理論的SIP的研究[D];蘭州理工大學(xué);2009年

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

4 楊力;無(wú)線網(wǎng)絡(luò)可信認(rèn)證技術(shù)研究[D];西安電子科技大學(xué);2010年

5 楊元原;密碼協(xié)議的安全性分析技術(shù)研究[D];西安電子科技大學(xué);2011年

6 周志勇;密碼協(xié)議攻擊規(guī)劃理論及算法研究[D];解放軍信息工程大學(xué);2009年

7 李向東;公平交換協(xié)議的形式化分析與設(shè)計(jì)[D];解放軍信息工程大學(xué);2009年

8 費(fèi)曉飛;空間通信協(xié)議安全性研究[D];解放軍信息工程大學(xué);2008年

9 陳莉;電子商務(wù)安全協(xié)議的設(shè)計(jì)與分析[D];解放軍信息工程大學(xué);2009年

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

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

1 程瑩;網(wǎng)絡(luò)安全協(xié)議的模型檢測(cè)分析及驗(yàn)證系統(tǒng)[D];南昌大學(xué);2010年

2 陳楠;基于進(jìn)程演算的公鑰密碼體制自動(dòng)化安全性證明方法研究[D];解放軍信息工程大學(xué);2010年

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

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

5 鄧帆;基于SPALL邏輯的安全協(xié)議設(shè)計(jì)與分析[D];解放軍信息工程大學(xué);2010年

6 陳晨;安全協(xié)議形式化模型刻畫與代數(shù)屬性研究[D];解放軍信息工程大學(xué);2010年

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

8 左向暉;可信信道協(xié)議的設(shè)計(jì)與形式化驗(yàn)證[D];北京交通大學(xué);2011年

9 黃亞妮;基于HIBE的軟件保護(hù)技術(shù)研究[D];武漢理工大學(xué);2011年

10 景琪;基于混沌的圖像保密傳輸?shù)难芯縖D];長(zhǎng)春理工大學(xué);2011年

【二級(jí)參考文獻(xiàn)】

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

1 梁堅(jiān),敖青云,尤晉元;安全協(xié)議的時(shí)限責(zé)任分析[J];電子學(xué)報(bào);2002年10期

2 范紅,馮登國(guó);一種分析Timed-Release公鑰協(xié)議的擴(kuò)展邏輯[J];計(jì)算機(jī)學(xué)報(bào);2003年07期

3 薛銳;馮登國(guó);;安全協(xié)議的形式化分析技術(shù)與方法[J];計(jì)算機(jī)學(xué)報(bào);2006年01期

4 趙華偉,李大興,秦靜;一種時(shí)間相關(guān)的分析安全協(xié)議的擴(kuò)展邏輯[J];計(jì)算機(jī)應(yīng)用;2005年10期

5 卿斯?jié)h;安全協(xié)議20年研究進(jìn)展[J];軟件學(xué)報(bào);2003年10期

6 黎波濤;羅軍舟;;不可否認(rèn)協(xié)議時(shí)限性的形式化分析[J];軟件學(xué)報(bào);2006年07期

7 馮登國(guó),范紅;安全協(xié)議形式化分析理論與方法研究綜述[J];中國(guó)科學(xué)院研究生院學(xué)報(bào);2003年04期

【相似文獻(xiàn)】

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

1 王全來(lái);王亞弟;韓繼紅;;密碼協(xié)議形式化分析的計(jì)算合理性[J];計(jì)算機(jī)工程與應(yīng)用;2007年21期

2 ;2010第四屆中國(guó)可信計(jì)算與信息安全學(xué)術(shù)會(huì)議(CTCIS 2010)征文通知[J];信息安全與通信保密;2009年08期

3 ;第二屆《信息安全與通信保密》雜志理事會(huì)暨第一屆《通信技術(shù)》年會(huì)征文通知[J];通信技術(shù);2009年08期

4 ;第二屆《信息安全與通信保密》雜志理事會(huì)暨第一屆《通信技術(shù)》年會(huì)征文通知[J];信息安全與通信保密;2009年04期

5 ;第二屆《信息安全與通信保密》雜志理事會(huì)暨第一屆《通信技術(shù)》年會(huì)征文通知[J];信息安全與通信保密;2009年06期

6 ;第二屆《信息安全與通信保密》雜志理事會(huì)暨第一屆《通信技術(shù)》年會(huì)征文通知[J];通信技術(shù);2009年04期

7 ;第二屆《信息安全與通信保密》雜志理事會(huì)暨第一屆《通信技術(shù)》年會(huì)征文通知[J];信息安全與通信保密;2009年07期

8 ;第二屆《信息安全與通信保密》雜志理事會(huì)暨第一屆《通信技術(shù)》年會(huì)征文通知[J];通信技術(shù);2009年07期

9 ;2001年《信息安全與通信保密》總目錄[J];信息安全與通信保密;2001年12期

10 ;山花爛漫,如此多嬌——本刊2004回眸[J];信息安全與通信保密;2004年12期

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

1 陳暉;劉瑤;;量子保密通信與信息安全[A];第十一屆保密通信與信息安全現(xiàn)狀研討會(huì)論文集[C];2009年

2 查義國(guó);徐小巖;張毓林;;談加強(qiáng)網(wǎng)絡(luò)MSR的研究[A];中國(guó)電子學(xué)會(huì)第七屆學(xué)術(shù)年會(huì)論文集[C];2001年

3 李遜;;信息隱藏技術(shù)研究[A];江蘇省通信學(xué)會(huì)2004年學(xué)術(shù)年會(huì)論文集[C];2004年

4 陳國(guó)雄;;關(guān)于移動(dòng)通信中信息安全的幾個(gè)問(wèn)題[A];四川省通信學(xué)會(huì)一九九六年學(xué)術(shù)年會(huì)論文集[C];1996年

5 ;2010年全國(guó)密碼學(xué)與信息安全教學(xué)研討會(huì)[A];2009年研究生學(xué)術(shù)交流會(huì)通信與信息技術(shù)論文集[C];2009年

6 劉建華;侯紅霞;張雪峰;范九倫;;電信網(wǎng)風(fēng)險(xiǎn)評(píng)估方法研究[A];全國(guó)網(wǎng)絡(luò)與信息安全技術(shù)研討會(huì)論文集（上冊(cè)）[C];2007年

7 韓華;柳青;;基于文檔載體的信息隱藏研究[A];2008年計(jì)算機(jī)應(yīng)用技術(shù)交流會(huì)論文集[C];2008年

8 羅森林;;新世紀(jì)信息對(duì)抗技術(shù)專業(yè)建設(shè)構(gòu)想[A];全國(guó)光學(xué)、光電和電子類專業(yè)教學(xué)經(jīng)驗(yàn)交流、研討會(huì)專集[C];2002年

9 陳思璐;張淼;徐國(guó)愛;楊義先;;可信網(wǎng)絡(luò)連接TNC的應(yīng)用[A];第一屆中國(guó)高校通信類院系學(xué)術(shù)研討會(huì)論文集[C];2007年

10 宋奕;劉毅;龍玉江;;應(yīng)急條件下公網(wǎng)傳輸?shù)碾娏π畔⑾到y(tǒng)安全研究[A];2008年抗冰保電技術(shù)論壇論文集（二）[C];2008年

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

1 秦文;網(wǎng)秦天下為創(chuàng)建移動(dòng)信息安全而努力[N];通信產(chǎn)業(yè)報(bào);2007年

2 ;安氏領(lǐng)信發(fā)布全流程管理安全方案[N];人民郵電;2006年

3 張戈;衛(wèi)士通十年奔“四化”[N];電腦商報(bào);2006年

4 編譯 宋麗娜;尋求信息安全未來(lái)保障[N];計(jì)算機(jī)世界;2006年

5 姜文華;信息安全的“廣域時(shí)代”來(lái)臨[N];人民郵電;2010年

6 記者 宋心德;手機(jī)信號(hào)阻斷器[N];新華每日電訊;2004年

7 ;王小云破解MD5函數(shù)與“白宮密碼”[N];大眾科技報(bào);2006年

8 游龍科技;聯(lián)通信息化支撐網(wǎng)絡(luò)實(shí)踐[N];通信產(chǎn)業(yè)報(bào);2007年

9 張文晉 桂文明等;信任如此傳遞[N];計(jì)算機(jī)世界;2006年

10 記者 劉純友;科大量子密碼實(shí)用技術(shù)有突破[N];安徽日?qǐng)?bào);2005年

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

1 余位馳;格基規(guī)約理論及其在密碼設(shè)計(jì)中的應(yīng)用[D];西南交通大學(xué);2005年

2 彭軍;混沌在網(wǎng)絡(luò)信息安全中的應(yīng)用研究[D];重慶大學(xué);2003年

3 高虎明;匿名通信和電子現(xiàn)金的研究[D];西安電子科技大學(xué);2002年

4 龐遼軍;秘密共享技術(shù)及其應(yīng)用研究[D];西安電子科技大學(xué);2006年

5 龍文;無(wú)線移動(dòng)環(huán)境下信息安全綜合管理系統(tǒng)關(guān)鍵技術(shù)研究[D];北京郵電大學(xué);2009年

6 李慧賢;多秘密共享理論及其應(yīng)用研究[D];大連理工大學(xué);2006年

7 王英龍;Ad Hoc網(wǎng)絡(luò)路由協(xié)議安全性分析方法研究[D];山東大學(xué);2005年

8 毛劍;廣播信道下會(huì)議密鑰建立及其應(yīng)用研究[D];西安電子科技大學(xué);2004年

9 袁丁;通信安全認(rèn)證與保密協(xié)議相關(guān)問(wèn)題研究[D];西南交通大學(xué);2002年

10 張傳武;細(xì)胞自動(dòng)機(jī)在密碼學(xué)中的應(yīng)用研究[D];電子科技大學(xué);2003年

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

1 朱翔淼;艇內(nèi)多媒體通信系統(tǒng)的實(shí)現(xiàn)與信息安全的研究[D];哈爾濱工程大學(xué);2005年

2 尚玉蓮;基于信息安全的密鑰分配與密鑰存儲(chǔ)研究[D];山東大學(xué);2005年

3 張磊;代理簽名方案的分析與設(shè)計(jì)[D];中南大學(xué);2008年

4 羅敏;（t，n）門限簽名認(rèn)證存取控制技術(shù)的研究與應(yīng)用[D];中南大學(xué);2005年

5 高松;基于NP的無(wú)線局域網(wǎng)嵌入式VPN安全網(wǎng)關(guān)研究[D];武漢理工大學(xué);2006年

6 張靜;橢圓曲線密碼體制的研究與應(yīng)用[D];浙江工業(yè)大學(xué);2005年

7 趙卓;密碼算法遠(yuǎn)程軟加載的研究[D];中國(guó)人民解放軍信息工程大學(xué);2005年

8 劉鳴;密碼芯片的功耗分析及抗功耗分析研究[D];清華大學(xué);2005年

9 羅嘉輝;基于Agent的密鑰管理系統(tǒng)研究與實(shí)現(xiàn)[D];貴州大學(xué);2006年

10 華通;下一代電信網(wǎng)資產(chǎn)評(píng)估系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[D];北京郵電大學(xué);2009年

，

本文編號(hào)：1915714