基于安全需求分析的内核保护方法研究

To address the issue of protecting OS kernels, we will research the approach to protecting kernels, including kernel security requirements analysis and adaptive and lightweight protection, to support precise, moderate protection for kernels. Different from existing methods of protecting kernels, which take functional components as the coarser-grained protective objects, the methods presented in this project chose finer-grainedprotective objects by analyzing security requirement of kernels. In this way,lightweight precise protection methods, instead of heavyweight approximate protection methods, can be achieved to meet security requirements.In analyzing security requirement of kernels, not only inherent security requirements, but also effectson outside attack are considered. The critical paths for attacking kernel identifiedin this process are beneficial to protect kernel with a proper policy.Thorough investigating on security requirements of kernels makes protecting plans of kernel moreappropriate, precise and adaptive. This approach could be applied not only in enhancing security of OS kernels and designing a secure OS, but also in studying security models and protection strategies.

项目研究基于安全需求分析的操作系统内核保护方法，包括内核的安全需求分析、适应性的轻量级保护等方法，以支持对内核实施精确、适度的安全保护。目前的保护方法通常按照功能组件确定保护对象，本方法通过分析内核保护需求来确定细分的保护单元，从而将粗粒度的重量级笼统保护，转化为由安全需求指导的轻量级精确保护。分析保护需求时，不仅识别内核资源内在的安全需求，而且考虑面对潜在的外来攻击时内核单元的作用，识别出对内核发动攻击时的关键路径，以便实施准确适当的保护措施。全面的安全需求分析，可使得对内核实施的保护策略具有针对性、准确性和适应性。研究将在操作系统安全增强和安全操作系统的设计开发等方面发挥积极的促进作用，并为操作系统的安全模型与保护策略等研究提供参考。

本课题研究基于安全需求分析的操作系统内核保护方法，包括内核的安全需求分析、轻量级保护及其动态适应性调整等方法，以支持对内核实施精确、适度的安全保护。课题是一年期的小额资助项目，因此研究工作中重点研究了软件脆弱性与威胁分析、内核相关安全保护等内容。在软件脆弱性与威胁分析方面，研究、提出了对操作系统内核实施攻击的代码复用新方法；研究了软件脆弱性的分析方法，包括软件缺陷的检测、整数漏洞的识别、程序安全分析的不变式生成等方法。在内核相关安全保护方面，研究了对内核实施监控的高效模型、不可信操作系统中保护应用程序的TCB构造方法、监测代码复用攻击的硬件控制流完整性机制。课题研究中，发表论文10篇，申请发明专利4项，为进一步深入研究内核保护方法打下了较好的基础。