本文關(guān)鍵詞：面向密碼協(xié)議在線安全性的監(jiān)測方法

  更多相關(guān)文章： 密碼協(xié)議識別 會話重構(gòu) 在線安全性 本體 子空間聚類

【摘要】：為解決現(xiàn)有方法無法在線監(jiān)測協(xié)議邏輯進(jìn)行的低交互型攻擊的問題,提出一種密碼協(xié)議在線監(jiān)測方法CPOMA。首先構(gòu)建面向密碼協(xié)議的特征項本體框架,以統(tǒng)一描述不同類型的特征項,并基于該框架首次利用模糊子空間聚類方法進(jìn)行特征加權(quán),建立個體化的密碼協(xié)議特征庫;在此基礎(chǔ)上給出自學(xué)習(xí)的密碼協(xié)議識別與會話實例重構(gòu)方法,進(jìn)而在線監(jiān)測協(xié)議異常會話。實驗結(jié)果表明,CPOMA不僅能夠較好地識別已知協(xié)議、學(xué)習(xí)未知協(xié)議、重構(gòu)會話,而且能夠有效在線監(jiān)測協(xié)議異常會話,提高密碼協(xié)議在線運行的安全性。
【作者單位】： 解放軍信息工程大學(xué)三院;解放軍91033部隊;
【關(guān)鍵詞】： 密碼協(xié)議識別 會話重構(gòu) 在線安全性 本體 子空間聚類
【基金】：國家自然科學(xué)基金資助項目(No.61309018)~~
【分類號】：TP393.08
【正文快照】： 1引言密碼協(xié)議是互聯(lián)網(wǎng)各種核心安全服務(wù)可靠運行的重要支撐,其安全性分析方法一直是信息安全領(lǐng)域的關(guān)鍵問題。傳統(tǒng)方法通過形式化分析或自動化驗證來監(jiān)測協(xié)議自身缺陷,需要基于特定的攻擊者模型和若干假設(shè),只能給出理想情況下的安全性分析結(jié)果,對于協(xié)議運行過程中的某些動態(tài)

【相似文獻(xiàn)】

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

1 錢勇,張勇,白英彩;密碼協(xié)議基于遍歷的分析方法[J];計算機(jī)工程;2001年03期

2 束妮娜,王亞弟;密碼協(xié)議的歸納證明方法[J];計算機(jī)工程;2001年10期

3 張玉清;吳建平;李星;;模型檢測技術(shù)和密碼協(xié)議分析[J];計算機(jī)科學(xué);2001年08期

4 劉怡文,李偉琴;密碼協(xié)議的分層安全需求及驗證[J];北京航空航天大學(xué)學(xué)報;2002年05期

5 秦超,陳鐘,段云所;基于合一替換推理的密碼協(xié)議分析[J];計算機(jī)工程;2002年07期

6 何成,王尚平,王曉峰;一種分析密碼協(xié)議的新邏輯[J];計算機(jī)工程與應(yīng)用;2003年30期

7 束妮娜,王亞弟;密碼協(xié)議的設(shè)計準(zhǔn)則[J];計算機(jī)工程;2003年01期

8 鄭明磊,李建華,張少俊;一種互認(rèn)證密碼協(xié)議的設(shè)計和分析[J];上海交通大學(xué)學(xué)報;2003年06期

9 劉怡文,李偉琴,馮登國;密碼協(xié)議的一種基于組合推理的模型驗證[J];通信學(xué)報;2003年09期

10 姬東耀;馮登國;;對兩個雙方密碼協(xié)議運行模式的攻擊及改進(jìn)[J];計算機(jī)科學(xué);2003年06期

中國重要會議論文全文數(shù)據(jù)庫 前6條

1 戴丹;;密碼協(xié)議安全性分析的邏輯方法[A];貴州制約邏輯學(xué)會2005年學(xué)術(shù)年會暨首屆全國性邏輯系統(tǒng)專題研討會論文集[C];2005年

2 李亞敏;帥飛;高鑫鑫;;幾種密碼協(xié)議驗證工具的比較和分析[A];計算機(jī)技術(shù)與應(yīng)用進(jìn)展·2007——全國第18屆計算機(jī)技術(shù)與應(yīng)用（CACIS）學(xué)術(shù)會議論文集[C];2007年

3 張嵐;余昭平;;后繼攻擊以及它的應(yīng)用[A];2005通信理論與技術(shù)新進(jìn)展——第十屆全國青年通信學(xué)術(shù)會議論文集[C];2005年

4 楊揚;李祥;;一種用于Web服務(wù)的密碼協(xié)議及實現(xiàn)[A];2005年全國理論計算機(jī)科學(xué)學(xué)術(shù)年會論文集[C];2005年

5 馬英杰;肖麗萍;何文才;李彥兵;;用BAN邏輯方法分析TLS協(xié)議[A];中國通信集成電路技術(shù)與應(yīng)用研討會論文集[C];2004年

6 許劍卓;戴英俠;左英男;;BAN邏輯成立的前提[A];第14屆全國計算機(jī)安全學(xué)術(shù)交流會論文集[C];1999年

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

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

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

3 王全來;密碼協(xié)議的形式化分析方法研究[D];解放軍信息工程大學(xué);2009年

4 張俊偉;密碼協(xié)議的可組合安全[D];西安電子科技大學(xué);2010年

5 馮濤;通用可復(fù)合密碼協(xié)議理論及其應(yīng)用研究[D];西安電子科技大學(xué);2008年

6 張玉清;計算機(jī)通信網(wǎng)安全協(xié)議的分析研究[D];西安電子科技大學(xué);2000年

7 董玲;密碼協(xié)議工程與基于新鮮性的協(xié)議安全研究[D];上海交通大學(xué);2008年

8 張恩;理性信息交換密碼協(xié)議若干模型及應(yīng)用研究[D];北京工業(yè)大學(xué);2013年

9 曹木亮;基于π-演算的Petri網(wǎng)和密碼協(xié)議的形式化分析[D];上海交通大學(xué);2007年

10 田有亮;分布式密碼協(xié)議及公平性研究[D];西安電子科技大學(xué);2012年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 杜衡;理性密碼協(xié)議及其應(yīng)用研究[D];上海交通大學(xué);2009年

2 龍軍;關(guān)于密碼協(xié)議形式化驗證方法的研究[D];國防科學(xué)技術(shù)大學(xué);2003年

3 王永寶;密碼協(xié)議的代數(shù)模型和安全分析算法研究[D];北京郵電大學(xué);2006年

4 趙宇;基于規(guī)劃的密碼協(xié)議自動化驗證技術(shù)研究[D];解放軍信息工程大學(xué);2007年

5 張暢;基于多重集重寫的密碼協(xié)議形式化分析技術(shù)研究[D];解放軍信息工程大學(xué);2006年

6 袁亞飛;邏輯化方法的改進(jìn)及若干密碼協(xié)議安全性分析[D];中國人民解放軍信息工程大學(xué);2005年

7 張嵐;基于廣義串空間模型的密碼協(xié)議設(shè)計與分析的研究[D];解放軍信息工程大學(xué);2006年

8 張鐵鋼;三方密碼協(xié)議的形式化分析研究[D];解放軍信息工程大學(xué);2006年

9 李晨;關(guān)于密碼協(xié)議的形式化分析方法的研究[D];電子科技大學(xué);2010年

10 程華清;密碼協(xié)議安全性分析的邏輯方法及其哲學(xué)意蘊(yùn)[D];華東師范大學(xué);2015年

，

本文編號：986146