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

发布时间：2017-08-18 18:31

  本文关键词：面向密码协议的半实物网络仿真方法

  更多相关文章： 密码协议 半实物网络仿真 形式化建模 Cryptlib OMNeT++ 封装安全载荷

【摘要】：针对常用仿真工具在进行面向密码协议的半实物(hardware-in-the-loop,HIL)网络仿真时接口不支持、密码协议仿真资源缺失、无法实现密码协议处理等问题,提出一种面向密码协议的HIL网络仿真方法。在形式化分析面向密码协议HIL网络仿真建模环境的基础上,给出了密码协议HIL网络仿真过程中用到的关键技术,构建了基于OMNe T++的HIL网络仿真模型;然后就仿真过程中存在的关键问题进行了分析,提出了有效的解决方案;最后以网际控制报文协议(Internet control message protocol,ICMP)在测试主机连通性中的应用为例,基于封装安全载荷(encapsulate security payload,ESP)协议,对面向密码协议的HIL网络仿真方法进行了仿真测试。实验结果表明,与现有HIL网络仿真方法相比,该方法可以对经ESP协议处理后的ICMP询问报文进行响应,有效地使虚实主机基于密码协议进行保密通信。
【作者单位】： 解放军信息工程大学密码工程学院;中国国防科技信息中心;国防信息学院;
【关键词】： 密码协议 半实物网络仿真 形式化建模 Cryptlib OMNeT++ 封装安全载荷
【分类号】：TP309;TP393.01
【正文快照】： 院,武汉430010)0引言半实物(hardware-in-the-loop,HIL)网络仿真是一种将外部真实设备接入虚拟环境中开展仿真研究的新型实验手段。在进行HIL网络仿真时,常用的仿真工具有OPNET(optimizedperformance network engineering tool)[1]、NS2(Network Simulatorversion 2)[2]和OMNe

【相似文献】

中国期刊全文数据库 前5条

1 姚卿达;李连弟;陈卫民;;强安全密码协议[J];中山大学学报(自然科学版);1990年02期

2 杨治安;;基于共管锁的密码协议模型[J];计算机应用;2009年S1期

3 胡成军,吕述望,郑援,沈昌祥;基于PVS的密码协议形式化规范(英文)[J];中国科学院研究生院学报;2002年03期

4 李建欣,李先贤,卓继亮,怀进鹏;SPA:新的高效安全协议分析系统[J];计算机学报;2005年03期

5 ;[J];;年期

中国博士学位论文全文数据库 前1条

1 曹木亮;基于π-演算的Petri网和密码协议的形式化分析[D];上海交通大学;2007年

，

本文编号：696129