本文關(guān)鍵詞：面向密碼協(xié)議的半實(shí)物網(wǎng)絡(luò)仿真方法

  更多相關(guān)文章： 密碼協(xié)議 半實(shí)物網(wǎng)絡(luò)仿真 形式化建模 Cryptlib OMNeT++ 封裝安全載荷

【摘要】：針對(duì)常用仿真工具在進(jìn)行面向密碼協(xié)議的半實(shí)物(hardware-in-the-loop,HIL)網(wǎng)絡(luò)仿真時(shí)接口不支持、密碼協(xié)議仿真資源缺失、無(wú)法實(shí)現(xiàn)密碼協(xié)議處理等問(wèn)題,提出一種面向密碼協(xié)議的HIL網(wǎng)絡(luò)仿真方法。在形式化分析面向密碼協(xié)議HIL網(wǎng)絡(luò)仿真建模環(huán)境的基礎(chǔ)上,給出了密碼協(xié)議HIL網(wǎng)絡(luò)仿真過(guò)程中用到的關(guān)鍵技術(shù),構(gòu)建了基于OMNe T++的HIL網(wǎng)絡(luò)仿真模型;然后就仿真過(guò)程中存在的關(guān)鍵問(wèn)題進(jìn)行了分析,提出了有效的解決方案;最后以網(wǎng)際控制報(bào)文協(xié)議(Internet control message protocol,ICMP)在測(cè)試主機(jī)連通性中的應(yīng)用為例,基于封裝安全載荷(encapsulate security payload,ESP)協(xié)議,對(duì)面向密碼協(xié)議的HIL網(wǎng)絡(luò)仿真方法進(jìn)行了仿真測(cè)試。實(shí)驗(yàn)結(jié)果表明,與現(xiàn)有HIL網(wǎng)絡(luò)仿真方法相比,該方法可以對(duì)經(jīng)ESP協(xié)議處理后的ICMP詢(xún)問(wèn)報(bào)文進(jìn)行響應(yīng),有效地使虛實(shí)主機(jī)基于密碼協(xié)議進(jìn)行保密通信。
【作者單位】： 解放軍信息工程大學(xué)密碼工程學(xué)院;中國(guó)國(guó)防科技信息中心;國(guó)防信息學(xué)院;
【關(guān)鍵詞】： 密碼協(xié)議 半實(shí)物網(wǎng)絡(luò)仿真 形式化建模 Cryptlib OMNeT++ 封裝安全載荷
【分類(lèi)號(hào)】：TP309;TP393.01
【正文快照】： 院,武漢430010)0引言半實(shí)物(hardware-in-the-loop,HIL)網(wǎng)絡(luò)仿真是一種將外部真實(shí)設(shè)備接入虛擬環(huán)境中開(kāi)展仿真研究的新型實(shí)驗(yàn)手段。在進(jìn)行HIL網(wǎng)絡(luò)仿真時(shí),常用的仿真工具有OPNET(optimizedperformance network engineering tool)[1]、NS2(Network Simulatorversion 2)[2]和OMNe

【相似文獻(xiàn)】

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

1 姚卿達(dá);李連弟;陳衛(wèi)民;;強(qiáng)安全密碼協(xié)議[J];中山大學(xué)學(xué)報(bào)(自然科學(xué)版);1990年02期

2 楊治安;;基于共管鎖的密碼協(xié)議模型[J];計(jì)算機(jī)應(yīng)用;2009年S1期

3 胡成軍,呂述望,鄭援,沈昌祥;基于PVS的密碼協(xié)議形式化規(guī)范(英文)[J];中國(guó)科學(xué)院研究生院學(xué)報(bào);2002年03期

4 李建欣,李先賢,卓繼亮,懷進(jìn)鵬;SPA:新的高效安全協(xié)議分析系統(tǒng)[J];計(jì)算機(jī)學(xué)報(bào);2005年03期

5 ;[J];;年期

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

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

，

本文編號(hào)：696129