余祥
- 作品数:7 被引量:2H指数:1
- 供职机构:电子工程学院更多>>
- 相关领域:自动化与计算机技术经济管理更多>>
- 基于高阶π演算的构件演化行为研究被引量:1
- 2017年
- 用形式化的方法分析软件演化过程中构件的行为已成为目前构件开发中的研究热点。为了满足构件演化过程中行为建模形式化的需要,建立了一种基于高阶π演算的构件演化行为分析方法。对构件演化行为进行分类,将顺序图表示的演化请求转换成高阶π演算进程表达式,通过高阶π演算的语法语义和等价理论等数学基础对演化行为进行推演,并检测演化中是否存在死锁问题。最后通过实例对该方法进行分析说明,从而验证了该方法的可行性和有效性。
- 何海洋李强余祥韩翔宇
- 指挥信息系统软件测试用例复用策略研究
- 软件测试是保证指挥信息系统软件安全可靠的重要手段。通过复用已有测试用例提高测试用例生成效率是提高软件测试效率的关键之一。本文通过分析CBR方法和测试用例复用的类同,建立面向复用的软件测试模型,对测试用例的检索、修正和存储...
- 余祥周元璞王丽李强
- 关键词:测试用例复用相似度
- 文献传递
- 基于不透明谓词的软件抗动态逆向分析研究被引量:1
- 2017年
- 传统的不透明谓词对谓词内部逻辑结构进行复杂化,难以有效应对软件的动态逆向分析。通过插入运行环境检测代码并将检测结果返回给不透明谓词,动态选择分支路径使软件仅在安全环境下运行被保护代码,防止代码被动态分析。引入一般和关键节点概念,提高谓词内部逻辑结构的复杂度,并使用形式化方法进行描述。实验证明,成功检测出虚拟机和调试器并避开了受保护代码;在静态指令统计上与使用变形隐匿的方法对比,具有更好的隐匿效果。
- 韩翔宇李强黄海军余祥
- 关键词:代码混淆
- 指挥信息系统网络安全态势认知问题研究
- 本文针对当前指挥信息系统网络安全态势认知的时效性和直观性问题进行研究,提出了一种基于简单网络管理协议的实时网络拓扑发现算法,对网络节点存活性、网络节点类型和网络节点安全信息进行了判断、扫描,设计了拓扑自动布局算法,建立了...
- 李腾飞李强余祥黄海军
- 关键词:指挥信息系统网络安全态势
- 文献传递
- 加快信息安全产业军民融合创新发展的思考
- 目前,信息安全在国民经济各领域作用日益凸显,研究通过军民融合手段进一步发展信息安全产业等相关问题,在此基础上提出加快信息产业创新和军民融合发展建议,指出应在配套的政策、设施、人才、基金、发展模式和认证机制上对信息安全产业...
- 李强李腾飞余祥黄海军
- 关键词:信息安全军民融合
- 文献传递
- 基于漏洞扫描的指挥信息系统脆弱性评估技术
- 脆弱性评估技术能够检测和分析系统中的脆弱性,对保证指挥信息系统的安全和可靠具有重要的意义。本文介绍了一种基于漏洞扫描的指挥信息系统脆弱性评估方法,分别基于安全属性、脚本和攻击图识别指挥信息系统中的资产、威胁和脆弱性,并使...
- 黄海军王阳李强余祥
- 关键词:指挥信息系统漏洞扫描攻击图脆弱性评估
- 文献传递
- 基于高阶π演算的构件演化模型研究
- 2017年
- 为满足构件演化形式化分析的需要,确保演化正确性,提出了一种基于高阶π演算的构件演化模型。在定义演化构件的基础上,将演化过程中的行为描述为原子行为、结构行为和操作行为,建立行为与高阶π演算间的转换规则、演化行为推演规则,根据演化过程中行为之间的关系,建立演化冲突检测机制,定义互斥冲突、重复冲突、条件冲突和包含冲突四类冲突,在分析冲突条件的基础上,设计了演化冲突检测算法,实现了构件演化的形式化分析。通过实例验证了模型的可行性。
- 何海洋李强余祥韩翔宇