论文部分内容阅读
直接或者间接地误用缺陷函数是软件脆弱性的主要根源之一，针对二进制程序，本文对缺陷函数误用导致的代码脆弱性模式进行了建模和形式化，在此基础上，提出了一种缺陷函数启发的二进制程序脆弱性分析框架。介绍了框架的体系结构和检测流程，设计二进制程序脆弱性分析工具原型，验证了分析框架和工具的有效性。
缺陷函数启发的可扩展二进制程序脆弱性分析框架
【摘 要】
：
直接或者间接地误用缺陷函数是软件脆弱性的主要根源之一，针对二进制程序，本文对缺陷函数误用导致的代码脆弱性模式进行了建模和形式化，在此基础上，提出了一种缺陷函数启发的二进
【机 构】
：
北京系统工程研究所信息系统安全技术国家级重点实验室 北京 100101
【出 处】
：
全国抗恶劣环境计算机第二十届学术年会
【发表日期】
：
2010年期
其他文献
本文以PCI接口卡为背景，详细论述了Solaris 10环境中PCI设备驱动程序的开发技术。本文介绍了PCI设备驱动驱动开发的思路、开发过程和程序结构框架。并且给出了在x86平台下Sola
本文将无线射频识别RFID技术和Zigbee技术相结合，提出了基于物联网(Internet of Things)的虚路由跟踪算法。仿真试验证明，该算法能高精度、高效率地实现主战武器装备的跟踪定位
本文结合基于Tornado2.2与WindML3.0开发VxWorks5.5程序的实际经验，讨论了在VxWorks环境下开发图形界面程序的具体方法，并给出了如何在VxWorks环境下获得、建立鼠标，如何添加汉
本文从理论上分析了提高嵌入式软件可靠性的重要性；然后从软件抗干扰设计以及软件研制过程中的工程化方面介绍了提高嵌入式软件可靠性的研究成果，最后分别介绍提高嵌入式软件可
3G网区别于一代与二代移动网络的重要特性是其与因特网的互联互通性。通过分析3G网络中的跨网络服务，以典型服务为例，建立了3G网络中跨网络服务的抽象模型，分析了跨网络服务的安
随着计算机软件规模和复杂性的不断提高，软件开发中产生的重复劳动越来越明显，即产生了所谓的“软件危机”。软件复用技术可以提高软件开发效率和质量，被视为解决“软件危机”的
随着软件设计需求的日益复杂、规模的不断扩大，如何在保证系统可靠性和安全性同时提高软件开发效率，已经成为当前的十分重要的课题。基于MDA的软件开发方法以模型和模型转换为
针对现有计算机系统的安全问题，可信计算平台被认为是比较有前景的发展方向。本文首先提出可信计算机所要实现的基本功能要求，然后给出了可信计算机的一种具体实现的系统结构，最
在信息对抗日趋激烈的今天，认真研究美军信息网络生存情况，不仅可以借鉴其做法，从而提高我军信息网络生存能力，而且还可以直接摸清作战对手，为我军平时的信息网络正常运行和应对信