| 面向密码协议的半实物网络仿真方法 |
| |
| 引用本文： | 董书琴,张明清,陈强军,程建.面向密码协议的半实物网络仿真方法[J].计算机应用研究,2016,33(10). |
| |
| 作者姓名： | 董书琴 张明清 陈强军 程建 |
| |
| 作者单位： | 解放军信息工程大学密码工程学院,解放军信息工程大学密码工程学院,解放军信息工程大学密码工程学院,国防信息学院 |
| |
| 摘 要： | 针对常用仿真工具在进行面向密码协议的半实物（Hardware-in-the-loop，HIL）网络仿真时接口不支持、密码协议仿真资源缺失、无法实现密码协议处理等问题，提出一种面向密码协议的HIL网络仿真方法。在形式化分析面向密码协议HIL网络仿真建模环境的基础上，给出了密码协议HIL网络仿真过程中用到的关键技术，构建了基于OMNeT 的HIL网络仿真模型。然后，就仿真过程中存在的关键问题进行了分析，提出了有效的解决方案。最后，以网际控制报文协议（Internet Control Message Protocol，ICMP）在测试主机连通性中的应用为例，基于封装安全载荷（Encapsulate Security Payload，ESP）协议，对面向密码协议的HIL网络仿真方法进行了仿真测试。实验结果表明，与现有HIL网络仿真方法相比，该方法可以对经ESP协议处理后的ICMP询问报文进行响应，有效地使虚实主机基于密码协议进行保密通信。
|
| 关 键 词： | 密码协议 半实物网络仿真 形式化建模 Cryptlib OMNeT 封装安全载荷 |
| 收稿时间： | 2015/8/28 0:00:00 |
| 修稿时间： | 2016/8/23 0:00:00 |
Hardware-in-the-loop network simulation method for cryptographic protocols |
| |
| DONG Shu-qin,ZHANG Ming-qing,CHEN Qiang-jun and CHENG Jian.Hardware-in-the-loop network simulation method for cryptographic protocols[J].Application Research of Computers,2016,33(10). |
| |
| Authors: | DONG Shu-qin ZHANG Ming-qing CHEN Qiang-jun and CHENG Jian |
| |
| Affiliation: | School of Cryptography Engineering,PLA Information Engineering University,School of Cryptography Engineering,PLA Information Engineering University,School of Cryptography Engineering,PLA Information Engineering University,National Defense Information Institute |
| |
| Abstract: | |
| |
| Keywords: | cryptographic protocol Hardware-in-the-Loop (HIL) network simulation formal modeling Cryptlib Objective Modular Network Testbed in C (OMNeT ) Encapsulate Security Payload (ESP) |
|
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
