基于程序意识的软件安全性研究

软件安全是信息安全研究的一个重要方面，有着重要的理论意义和应用价值。传统的软件安全技术大多针对有固定特征的漏洞和攻击方式（包括已知的漏洞、系统资源使用的抽象描述和破坏性运行产生的特征等），使得系统安全反应方式和能力取决于对漏洞攻击的认知程度。但是，由于忽略了程序知识，它们在精确性、性能和攻击后处理等方面都存在明显不足。本项目试图运用近代程序分析技术，通过分析程序的静态和动态运行特征，得到安全相关的程序意识，从程序自身的角度构造完整的安全防护方法，从而有针对性地实施漏洞/错误防范，并满足多个不同的软件安全功能互相协作和进化的要求。为此我们在已有工作和前期准备工作的基础上，制定了详细的研究内容和理论实践相结合的研究方案，得出了该项目的可行性的分析。本项目的研究一方面期望能够补充和完善程序安全性防护的理论体系，另一方面希望能够通过实现的自动化工具集，使每个阶段的成果能应用到具体的软件安全系统中。