模拟执行相关论文
随着网络信息化的快速发展,可靠的网络协议成为保障网络稳定的重要因素。对网络协议进行验证不仅可以最大限度地检测和纠正协议开......
控制流完整性(Control-Flow Integrity,CFI)保护是一种针对控制流劫持攻击的有效方法之一,该类方法利用控制流图(Control-Flow Gra......
提出了多态shellcode动态检测和特征提取模型：基于模拟执行和动态检测技术,可以有效发现多态shellcode变种和未知攻击方式并生成特......
模拟执行的检测方法是检测需求规格说明书的一种重要手段。在目标和场景相结合的需求建模方法的基础上,提出了对操作目标集合的模......
漏洞的修复对于应用软件的安全至关重要。为了能够及时地修复所有已知漏洞,安全防护人员需要准确地检测一个安全补丁是否被应用。......
工作流是一种反应业务流程的计算机化的模型,它是为了在计算机环境支持下实现企业经营过程重组(Business Process Reengineering-B......
随着信息技术的进步和物联网的飞速发展,针对物联网设备的攻击频率越来越高,硬件设备的安全问题受到人们越来越多的重视。如何检测......
软件需求是指用户对目标软件系统在功能、行为、性能、设计约束等方面的期望。通过对问题及其环境的理解与分析,为问题涉及的信息......
