首页> 中文会议>中国电子学会电子系统工程分会第十九届军队信息化理论学术研讨会 >指挥信息系统网络安全协议测试序列生成方法研究

指挥信息系统网络安全协议测试序列生成方法研究

页面导航

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

摘要

针对网络安全协议的特点设计相应的测试序列,可以更有效地实现网络安全协议的测试,这一点对指挥信息系统来讲更为重要.本文对在对网络安全协议测试中存在的问题进行分析的基础上,使用有限状态机对网络安全协议进行形式化描述,借鉴BUIO算法,提出了基于网络安全协议的形式化模型生成测试序列.

著录项

来源
《中国电子学会电子系统工程分会第十九届军队信息化理论学术研讨会》|2012年|544-547|共4页
会议地点南京
作者
齐建业; 李强; 余祥; 胡卿;
展开▼
作者单位

中国电子学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类军用无线电通信;
关键词
指挥信息系统; 网络安全协议; 测试序列; 形式化描述模型;

相似文献

中文文献
外文文献
专利

1. 基于案例推理的测试序列生成方法研究 [J] . 舒月 ,张勇 . 铁路计算机应用 . 2014,第006期
2. 面向协议一致性测试的测试序列生成方法研究 [J] . 张新常 ,杨美红 ,罗万明 . 高技术通讯 . 2011,第010期
3. 基于UIO的协议一致性测试序列生成方法研究 [J] . 丁雪莲 ,陈银凤 ,张巨萍 . 电脑与信息技术 . 2011,第006期
4. 基于FSM的测试序列生成方法研究 [J] . 黎中文 ,张来顺 ,何焱 . 计算机应用研究 . 2011,第009期
5. 移动IPv6协议中移动节点的可执行测试序列生成方法研究 [J] . 李华 ,叶新铭 ,刘静 . 计算机科学 . 2009,第010期
6. 指挥信息系统网络安全协议测试用例描述研究 [C] . 齐建业 ,李强 ,余祥 . 中国电子学会电子系统工程分会第十九届军队信息化理论学术研讨会 . 2012
7. 基于进化优化的类集成测试序列生成方法研究 [A] . 张悦宁 . 2019

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号