动态事件序列制导的Android应用漏洞验证技术

目前Android应用漏洞检测方法分为静态分析和动态分析。其中,静态分析存在误报率较高的问题,动态分析降低了误报率,但是存在运行效率和覆盖率较低的问题。针对动态分析存在的问题,首次提出了动态事件序列制导的Android应用漏洞验证技术,该技术使用自动化UI触发的方法生成Activity跳转关系图,然后对漏洞嫌疑路径进行精确制导,最后对漏洞触发嫌疑路径是否执行进行验证。经过对10 122个应用进行自动化漏洞分析,结果为召回率96.12%,误报率2.66%。实验结果表明,动态事件序列制导的Android应用漏洞验证技术对于自动化分析应用漏洞有很好的效果。

基于GTST-DMLD-ESD的装备RMS建模仿真

装备的RMS是装备的重要设计参数,是影响战备完好和保障能力的关键因素。引入GTST-DMLD作为主要建模工具,建立起装备系统的RMS描述模型,以ESD为补充和扩展,对维修过程进行建模。并以GTST-DMLD-ESD模型作为装备RMS仿真的核心,对装备RMS仿真模型的总体框架进行了研究,并对各模块进行了较为详细的探讨。

基于GTST-DMLD-ESD的装备RMS仿真平台研究

装备的RMS是装备的重要设计参数,是影响战备完好和保障能力的关键因素。文章引入GTST-DMLD功能建模方法和ESD方法,以GTST-DMLD-ESD作为建模工具,建立起装备系统的RMS描述模型,提出了基于该模型的装备RMS仿真系统的框架和仿真流程。在此基础上,提出了仿真平台的初步构想,并对仿真平台的总体体系结构进行了较为详细的探讨。