国家重点基础研究发展计划和重大科学研究计划方向

7.云计算安全研究（C类）

针对增强公共云计算安全性的需求，研究安全云计算的模型、结构及虚拟化机理；研究基础设施作为服务、平台作为服务和软件作为服务等服务模式下保证用户系统安全可靠的机制和方法；研究保障用户数据的安全性、完整性、私密性和可追踪性的理论和技术。

8.安全攸关软件系统的共性理论和构造方法（C类）

面向安全攸关软件（Safety-Critical Software）系统开发的重大需求，研究安全攸关软件系统的建模原理、构造方法及其运行与演化机理；研究软件安全性评测的理论与方法。