可执行可信软件安全性分析技术研究
为了保证基于可信架构的可信软件的安全性,给出了可信软件安全性分析的总体架构及其工作原理,提出了一个静态分析技术与动态测试技术相结合的有效机制,实现了静态分析和动态跟踪的交互协作,提高了安全分析的效率.设计了一种可执行代码中间表示的方法,给出了建立程序存储空间抽象模型和程序抽象运行时刻环境的方法.详细地讨论了程序的控制流和数据流分析技术,并给出了求解算法.最后,概述了程序动态测试系统.
可信软件、静态分析、动态测试、控制流分析、数据流分析
31
TP309(计算技术、计算机技术)
国家863高技术研究发展计划基金项目2007AA0lZ483:河南省科技创新基金项目082102210011
2011-01-13(万方平台首次上网日期,不代表论文的发表时间)
共4页
4802-4805