面向密码协议的半实物网络仿真方法

作者：董书琴张明清陈强军程建

来源：计算机应用研究, 2015, (10): 1-6.

• 密码协议
• 半实物网络仿真
• 形式化建模
• Cryptlib
• OMNeT++
• 封装安全载荷 cryptographic protocol
• hardware-in-the-loop(HIL) network simulation
• formal modeling
• Cryptlib
• objective modular network testbed in C++(OMNeT++)
• encapsulate security payload(ESP)

针对常用仿真工具在进行面向密码协议的半实物(hardware-in-the-loop,HIL)网络仿真时接口不支持、密码协议仿真资源缺失、无法实现密码协议处理等问题,提出一种面向密码协议的HIL网络仿真方法。在形式化分析面向密码协议HIL网络仿真建模环境的基础上,给出了密码协议HIL网络仿真过程中用到的关键技术,构建了基于OMNe T++的HIL网络仿真模型;然后就仿真过程中存在的关键问题进行了分析,提出了有效的解决方案;最后以网际控制报文协议(Internet control message protocol,ICMP)在测试主机连通性中的应用为例,基于封装安全载荷(encapsulate ...

• 出版日期2015-11-25
• 单位中国人民解放军信息工程大学; 中国人民解放军国防科学技术大学