本文關(guān)鍵詞：密碼協(xié)議XML描述方法研究

  更多相關(guān)文章： 密碼協(xié)議 統(tǒng)一建模語(yǔ)言 可擴(kuò)展標(biāo)記語(yǔ)言 密鑰交換協(xié)議 OMNeT++

【摘要】：針對(duì)密碼協(xié)議仿真過程中系統(tǒng)模型難以向仿真模型轉(zhuǎn)換、概念建模過程靜態(tài)結(jié)構(gòu)和動(dòng)態(tài)行為描述不清晰的問題,提出一種基于UML的密碼協(xié)議XML描述方法。在形式化分析密碼協(xié)議靜態(tài)結(jié)構(gòu)和動(dòng)態(tài)行為的基礎(chǔ)上,利用UML類圖和UML順序圖建立了密碼協(xié)議概念模型;通過定義相關(guān)映射規(guī)則,實(shí)現(xiàn)了UML類圖和UML順序圖向XML Schema文檔的轉(zhuǎn)換,為利用XML文檔描述密碼協(xié)議奠定了語(yǔ)法規(guī)范;以IKEv2協(xié)議為例,基于OMNe T++仿真平臺(tái)進(jìn)行仿真實(shí)驗(yàn),驗(yàn)證了密碼協(xié)議XML描述方法的有效性和仿真模型的可用性。
【作者單位】： 信息工程大學(xué);
【關(guān)鍵詞】： 密碼協(xié)議 統(tǒng)一建模語(yǔ)言 可擴(kuò)展標(biāo)記語(yǔ)言 密鑰交換協(xié)議 OMNeT++
【分類號(hào)】：TN918.1
【正文快照】： 0引言密碼協(xié)議是一種建立在密碼體制基礎(chǔ)上,借助密碼算法實(shí)現(xiàn)密鑰分配、身份認(rèn)證等目的的交互通信協(xié)議[1]。對(duì)密碼協(xié)議的研究大都集中在形式化分析方面,從密碼協(xié)議的安全性質(zhì)入手,重點(diǎn)分析密碼協(xié)議本身及其所采用的密碼算法、密碼技術(shù)在理論上存在的安全缺陷。常用的分析方法

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前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ì)算機(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年

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

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

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

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

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

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

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

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

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

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

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

，

本文編號(hào)：524675