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

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

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

【相似文獻】

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

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

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

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

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

5 ;[J];;年期

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

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

，

本文編號：696129