一、可信计算基础理论与方法
信息物理融合系统（CPS）的高可信软件基础理论，包括CPS系统软件的可信设计理论、物理空间与信息空间的统一建模理论、数学物理分析方法和概率分析方法等
基于模型的高可信软件构造方法，包括时钟语言的需求建模理论与方法、设计模型的一致性分析与检测方法、模型驱动的开发技术、设计模型的自动综合等
二、可信软件分析与验证技术
基于模型的分析技术，包括基于时态逻辑的规约描述语言、可满足性理论、可执行软件建模技术与量化分析方法与工具等
软件可信性验证技术，包括软件非功能性验证、代码安全性验证、能耗敏感的验证、程序分析测试验证工具开发
三、可信计算应用
面向数据管理的可信应用，包括金融数据安全性、图数据、空间数据及不确定性数据的管理技术、内存数据库技术、社交网络的管理与分析、互联网在线广告等
面向安全攸关领域的可信应用，包括航天器控制系统时空性质需求分析与可信评估、汽车电子的实时操作系统建模与分析验证技术、高安全等级的列控软件系统建模与验证等