[PDF][PDF] 融合虚拟化和操作系统的动态程序分析框架
潘家晔， 沙乐天 - Journal of Cyber Security, 2024 - jcs.iie.ac.cn
摘要各种高级恶意代码在网络空间中不断出现, 具有分析对抗能力强, 恶意行为更隐蔽等新特点,
对各类信息系统的安全性产生严重威胁. 为深度了解恶意代码及相关攻击活动 …
对各类信息系统的安全性产生严重威胁. 为深度了解恶意代码及相关攻击活动 …
[PDF][PDF] 一种针对网络设备的已知漏洞定位方法
王琛， 邹燕燕， 刘龙权， 彭跃， 张禹， 卢昊良， 王鹏举… - 信息安全学报, 2023 - jcs.iie.ac.cn
摘要骨干级网络设备作为关键基础设施, 一直是网络攻防中的焦点, 与此同时, 其作为一个封闭,
复杂的信息系统, 漏洞的公开研究资料相对较少, 漏洞细节缺失较多. 补丁对比是一种有效的漏洞 …
复杂的信息系统, 漏洞的公开研究资料相对较少, 漏洞细节缺失较多. 补丁对比是一种有效的漏洞 …
[PDF][PDF] 一种基于高阶函数摘要的依赖簇检测方法
杨嘉毅， 张迎周， 李俊锋， 马锐， 汪全盛， 薛渝川 - 电子学报, 2024 - ejournal.org.cn
依赖簇是相互依赖的程序组件的最大集合, 依赖簇中任意一点产生变动都会引起其他组件的连锁
反应. 在实际生产环境中, 依赖簇检测对于软件理解, 测试, 维护具有非常重要的意义 …
反应. 在实际生产环境中, 依赖簇检测对于软件理解, 测试, 维护具有非常重要的意义 …
代码注释自动生成研究进展.
赵乐乐， 张丽萍 - Application Research of Computers …, 2021 - search.ebscohost.com
代码注释作为软件中的重要组成部分, 在软件维护, 复用等领域中发挥着重要作用.
代码注释自动生成技术旨在减轻人工编写注释的工作量, 从而提高软件开发效率 …
代码注释自动生成技术旨在减轻人工编写注释的工作量, 从而提高软件开发效率 …
面向适航标准的机载软件测试验证工具综述.
刘友林， 郑巍， 谭莉娟， 樊鑫… - Journal of Computer …, 2021 - search.ebscohost.com
机载软件的测试与验证是保障机载软件正确性和可靠性的重要方法. 软件的测试与验证离不开
工具的支持, 使用工具能够提高效率, 降低成本, 对机载软件的测试验证工具研究是对其进行充分 …
工具的支持, 使用工具能够提高效率, 降低成本, 对机载软件的测试验证工具研究是对其进行充分 …