基于验证操作系统内核的可信计算环境关键技术研究

项目名称： 基于验证操作系统内核的可信计算环境关键技术研究

项目编号： No.61402198

项目类型： 青年科学基金项目

立项/批准年度： 2014

项目学科： 自动化技术、计算机技术

项目作者： 古亮

作者单位： 暨南大学

项目金额： 26万元

中文摘要： 在开放网络环境下,信息系统面临日益严重的安全威胁。可信计算技术可以通过软硬件结合的机制，为应用程序的运行提供可信计算环境的支撑。然而在现有的软件运行环境中，由于操作系统层的缺陷，仍然难以保证基于可信计算的安全机制自身的可靠性。为此，本项目将会针对基于验证操作系统内核的可信计算环境在以下方面开展研究：（1）设计和构造基于可信计算机制的验证操作系统内核的通用原理和方法；（2）基于验证操作系统和可信计算机制构建可信软件运行环境的关键机制；（3）在验证操作系统内核中，针对基于安全芯片的可信计算信任链的形式化验证。本项目将基于已有针对操作系统内核形式化验证的最新进展，推动融合可信计算技术的验证操作系统内核的发展。

中文关键词： 系统安全；可信计算；云计算；大数据安全；形式化验证

英文摘要： In open networks, information systems are facing more and more serious security threats. By combining the software and hardware, Trusted Computing is capable of supporting trusted execution environment for software applications. However, as the serious vu

英文关键词： system security；trusted computing；cloud computing；big data security；formal verificaiton