计算机应用研究2016，Vol.33Issue(10)：3061-3064,3098,5.DOI:10.3969/j.issn.1001-3695.2016.10.043
面向密码协议的半实物网络仿真方法
Hardware-in-the-loop network simulation method for cryptographic protocols
董书琴 1张明清 1方哲 2陈强军 1程建3
作者信息
- 1. 解放军信息工程大学 密码工程学院，郑州450001
- 2. 中国国防科技信息中心，北京 100142
- 3. 国防信息学院，武汉430010
- 折叠
摘要
Abstract
In order to solve the problems of interfaces unsupported,resource deficiencies,and the inability of processing cryptographic protocols when doing cryptographic protocols oriented hardware-in-the-loop (HIL)network simulation,this pa-per proposed an HIL network simulation method for cryptographic protocols.By formally analyzing the modeling environment of HIL network simulation of cryptographic protocols,it gave the key technologies that were used in the process of cryptographic protocols oriented HIL network simulation,and established an HIL network simulation model based on OMNeT++.After that,it analyzed the key questions appeared in the process of simulating cryptographic protocols,and gave effective solutions. At last,taking the application of Internet control message protocol (ICMP)in testing hosts’connectivity as an example,it tested the HIL network simulation method for cryptographic protocols based on encapsulate security payload (ESP)protocol. The simulation results show that,compared with the current HIL network simulation methods,the method for cryptographic protocols can respond the ICMP inquiry messages which are processed by ESP protocol,and effectively make virtual and real hosts do secure communications based on cryptographic protocols.关键词
密码协议/半实物网络仿真/形式化建模/Cryptlib/OMNeT++/封装安全载荷Key words
cryptographic protocol/hardware-in-the-loop(HIL)network simulation/formal modeling/Cryptlib/objective modular network testbed in C++(OMNeT++)/encapsulate security payload(ESP)分类
信息技术与安全科学引用本文复制引用
董书琴,张明清,方哲,陈强军,程建..面向密码协议的半实物网络仿真方法[J].计算机应用研究,2016,33(10):3061-3064,3098,5.
