首页> 中文会议>第三届中国指挥控制大会 >指挥信息系统中SIP协议脆弱性问题研究与测试

指挥信息系统中SIP协议脆弱性问题研究与测试

页面导航

摘要
著录项
相似文献
相关主题

摘要

由于目前SIP协议在指挥信息系统的多媒体业务控制中应用广泛,因此针对SIP协议的模型检测对于保证指挥信息系统的安全性具有重要意义.本文以SIP协议的正常通信过程为背景,对入侵者的行为进行建模,使用SPIN模型检测工具进行形式化分析,发现了SIP协议的一个脆弱性,并通过实验验证了该脆弱性.

著录项

来源
《第三届中国指挥控制大会》|2015年|602-605|共4页
会议地点北京
作者
HUANG Hai-jun; 黄海军; LI Qiang; 李强; YU Xiang; 余祥; HU Rong-gui; 胡荣贵;
展开▼
作者单位

中国指挥与控制学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类军队指挥学;
关键词
指挥信息系统; 网络安全; 会话初始协议; 脆弱性问题;

相似文献

中文文献
外文文献
专利

1. 指挥信息系统网络结构的韧性问题研究 [J] . 李凡 ,张杰勇 . 电光与控制 . 2020,第004期
2. 基于区块链的指挥信息系统用户权限管理问题研究 [J] . 舒展翔 ,李腾飞 ,余祥 . 指挥与控制学报 . 2019,第002期
3. 基于区块链的指挥信息系统用户权限管理问题研究 [J] . 舒展翔1 ,李腾飞2 ,余祥13 . 指挥与控制学报 . 2019,第002期
4. 海军指挥信息系统战时保障组织问题研究 [J] . 景永涛 ,李启元 . 海军工程大学学报(综合版) . 2019,第004期
5. 基于加密锁的指挥信息系统软件防护问题研究 [J] . 余祥 ,李强 ,何海洋 . 指挥与控制学报 . 2015,第004期
6. 指挥信息系统软件安全测试用例模型研究 [C] . 许庆光 ,李强 ,余祥 . 中国电子学会电子系统工程分会第二十一届信息化理论学术研讨会 . 2014
7. 铁路客运营销调度指挥信息系统设计与相关问题研究 [A] . 胡蔷 . 2003

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号