作者：董书琴; 张明清; 方哲; 陈强军; 程建密码协议半实物网络仿真形式化建模cryptlib封装安全载荷
摘要：针对常用仿真工具在进行面向密码协议的半实物（hardware-in-the-loop,HIL)网络仿真时接口不支持、密码协议仿真资源缺失、无法实现密码协议处理等问题，提出一种面向密码协议的HIL网络仿真方法。在形式化分析面向密码协议HIL网络仿真建模环境的基础上，给出了密码协议HIL网络仿真过程中用到的关键技术，构建了基于〇MNeT++的HIL网络仿真模型；然后就仿真过程中存在的关键问题进行了分析，提出了有效的解决方案；最后以网际控制报文协议（Internetcontrolmessageprotocol,ICMP)在测试主机连通性中的应用为例，基于封装安全载荷（encapsulatesecuritypayload,ESP)协议，对面向密码协议的HIL网络仿真方法进行了仿真测试。实验结果表明，与现有HIL网络仿真方法相比，该方法可以对经ESP协议处理后的ICMP询问报文进行响应，有效地使虚实主机基于密码协议进行保密通信。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
