本文關(guān)鍵詞：改進(jìn)Athena算法的多協(xié)議攻擊自動(dòng)化驗(yàn)證方法

  更多相關(guān)文章： 多協(xié)議攻擊 自動(dòng)化驗(yàn)證 安全屬性 Athena算法 逆向搜索

【摘要】：多協(xié)議環(huán)境下協(xié)議安全性問(wèn)題是安全協(xié)議形式化分析驗(yàn)證領(lǐng)域的一個(gè)公開問(wèn)題。針對(duì)此問(wèn)題,在分析Athena算法的基礎(chǔ)上提出了一種多協(xié)議攻擊自動(dòng)化驗(yàn)證方法。該方法擴(kuò)展了Athena狀態(tài)表示方法和后繼狀態(tài)生成算法,使得攻擊者具備截取其它協(xié)議交互消息和計(jì)算生成當(dāng)前協(xié)議消息的能力,能夠以自動(dòng)化的方式驗(yàn)證協(xié)議是否存在多協(xié)議攻擊。實(shí)驗(yàn)結(jié)果表明,提出的方法能夠?qū)崿F(xiàn)多協(xié)議攻擊的自動(dòng)化驗(yàn)證。
【作者單位】： 解放軍信息工程大學(xué);數(shù)學(xué)工程與先進(jìn)計(jì)算國(guó)家重點(diǎn)實(shí)驗(yàn)室;中國(guó)人民解放軍第61840部隊(duì);太原衛(wèi)星發(fā)射中心;
【關(guān)鍵詞】： 多協(xié)議攻擊 自動(dòng)化驗(yàn)證 安全屬性 Athena算法 逆向搜索
【基金】：國(guó)家部委基金項(xiàng)目(9140C130103120C13062)資助
【分類號(hào)】：TP393.08
【正文快照】： 在安全協(xié)議形式化分析領(lǐng)域,近些年來(lái)出現(xiàn)了很多成功的安全協(xié)議形式化分析方法,如BAN邏輯[1]、AVISPA[2]、Paulson歸納法[3]和串空間模型[4]等,這些方法利用數(shù)學(xué)或計(jì)算機(jī)理論能夠證明協(xié)議安全性或發(fā)現(xiàn)協(xié)議存在的攻擊,但一般只限于驗(yàn)證獨(dú)立運(yùn)行環(huán)境下協(xié)議的安全性。在很多實(shí)際的

【參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前1條

1 楊元原;馬文平;劉維博;張笑笑;;有效的多協(xié)議攻擊自動(dòng)化檢測(cè)系統(tǒng)[J];重慶大學(xué)學(xué)報(bào);2012年02期

【共引文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

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

2 左軍;;物聯(lián)網(wǎng)中重復(fù)博弈論入侵檢測(cè)模型[J];重慶大學(xué)學(xué)報(bào);2014年06期

3 代凱;鄧珍榮;;基于間接認(rèn)證鏈的輸入測(cè)試證明方法[J];桂林電子科技大學(xué)學(xué)報(bào);2015年01期

4 肖躍雷;王育民;;可信環(huán)境下的WLAN接入認(rèn)證方案[J];蘭州大學(xué)學(xué)報(bào)(自然科學(xué)版);2013年04期

5 趙艷;;OTP身份認(rèn)證系統(tǒng)中Challenge-Response協(xié)議的改進(jìn)[J];洛陽(yáng)師范學(xué)院學(xué)報(bào);2013年11期

6 劉威;郭淵博;;一種基于通道的AVISPA擴(kuò)展方法研究[J];計(jì)算機(jī)應(yīng)用研究;2013年12期

7 雷新鋒;宋書民;劉偉兵;薛銳;;計(jì)算可靠的密碼協(xié)議形式化分析綜述[J];計(jì)算機(jī)學(xué)報(bào);2014年05期

8 高尚;胡愛群;石樂;陳先棒;;安全協(xié)議形式化分析研究[J];密碼學(xué)報(bào);2014年05期

9 趙建杰;谷大武;胡學(xué)先;;基于PKI的認(rèn)證密鑰協(xié)商協(xié)議可證明安全理論研究[J];密碼學(xué)報(bào);2014年06期

10 陸思奇;程慶豐;趙進(jìn)華;;安全協(xié)議形式化分析工具比較研究[J];密碼學(xué)報(bào);2014年06期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前1條

1 陸思奇;楊忠霖;程慶豐;;形式化分析工具Scyther性能研究[A];第十九屆全國(guó)青年通信學(xué)術(shù)年會(huì)論文集[C];2014年

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前5條

1 曹利峰;面向多級(jí)安全的網(wǎng)絡(luò)安全通信模型及其關(guān)鍵技術(shù)研究[D];解放軍信息工程大學(xué);2013年

2 白云莉;基于CP-nets模型的安全協(xié)議形式化方法研究[D];內(nèi)蒙古大學(xué);2013年

3 高悅翔;電子商務(wù)安全協(xié)議的設(shè)計(jì)與形式化分析[D];西南交通大學(xué);2013年

4 賴成U，

本文編號(hào)：593417