刘峻宇
- 作品数：7 被引量：3H指数：1
- 供职机构：解放军电子工程学院网络工程系更多>>
- 相关领域：自动化与计算机技术军事更多>>
- 基于模板定制的指挥信息系统文档自动生成问题的研究
- 提高指挥信息系统设计文档的质量,研究基于国家军用标准生成模板并建立文档生成数据库的指挥信息系统文档的自动生成问题,既是指挥信息系统设计的要求,也是软件工程规范所致.在概述文档自动生成系统自动生成原理的基础上,对文档模板定...
- 刘峻宇李强余祥许庆光
- 关键词：指挥信息系统模板定制数据库
- 文献传递
- 基于符号执行的指挥信息系统软件缺陷检测技术
- 随着指挥信息系统软件规模的扩大,如何检测指挥信息系统软件当中存在的缺陷已经成为保证指挥信息系统软件质量的一个关键问题,本文介绍了一种使用符号执行技术检测指挥信息系统软件缺陷的方法,提出了符号执行缺陷检测系统的框架和检测流...
- 刘峻宇李强余祥何海洋
- 关键词：军事工程指挥信息系统
- 文献传递
- 协议一致性测试数据包的构造与解析被引量：1
- 2013年
- 数据包的构造与解析是协议一致性测试中的关键技术。在对协议一致性测试原理、特点和流程进行分析的基础上,定义协议一致性测试中的相关概念,建立协议一致性测试中的相关规则,提出一种数据包的构造、发送、捕获和解析的方法,设计数据包构造、发送、捕获和解析算法并对其进行分析。数据包构造算法可依据协议标准规定的消息格式,为每个数据包字段依次赋值;数据包发送算法是通过网络适配器,根据待发送数据包的名称、类型和发送序列,实施数据包的发送;数据包捕获与解析算法是通过网络适配器捕获原始数据包,设置并编译过滤规则,对捕获到的数据包按照协议标准说明进行解析,与预期构造的数据包进行比对。由于设置了过滤规则,有针对性地捕获数据包,因而,提高了数据包的捕获准确率。
- 齐建业余祥刘峻宇李强
- 关键词：数据包字段网络适配器
- 指挥信息系统的安全软件生命周期与需求验证
- 本文对指挥信息系统中的两个关键技术——安全软件生命周期和需求验证问题进行了研究.建立了由六个基本过程组成的安全软件生命周期模型,定义了指挥信息系统的需求,描述了指挥信息系统需求描述与建模方法,提出了采用UML描述指挥信息...
- 李强刘峻宇余祥许庆光
- 关键词：指挥信息系统
- 文献传递
- 输入验证漏洞检测中的疑点标记和传播方法研究被引量：2
- 2016年
- 研究基于静态污点分析技术可用于输入验证漏洞检测的疑点分析方法以及疑点标记和疑点传播路径问题,定义疑点源、疑点传播路径概念和疑点属性的4个状态,制定疑点属性状态间的转换规则,设计疑点源标记与疑点传播路径获取算法.实验结果表明,该方法能够较准确地标记程序中的疑点源并获取其在程序中的传播路径.
- 许庆光李强余祥刘峻宇
- 关键词：漏洞检测
- 基于漏洞检测的指挥信息系统安全防护问题研究
- 在以信息作战为主要作战方式中,指挥信息系统担负着指挥控制、情报侦察、预警探测、通信、电子对抗等作战任务,其重要性不言而喻.本文从系统漏洞检测出发,探讨了指挥信息系统的安全防护问题,并提出了构建指挥信息系统安全防护体系的设...
- 许庆光李强余祥刘峻宇
- 关键词：指挥信息系统漏洞检测安全防护
- 文献传递
- 基于符号执行的指挥信息系统软件缺陷检测技术
- 随着指挥信息系统软件规模的扩大,如何检测指挥信息系统软件当中存在的缺陷已经成为保证指挥信息系统软件质量的一个关键问题,本文介绍了一种使用符号执行技术检测指挥信息系统软件缺陷的方法,提出了符号执行缺陷检测系统的框架和检测流...
- 刘峻宇李强余祥何海洋
- 关键词：指挥信息系统
- 文献传递
