- “可信软件基础研究”重大研究计划综述论文 [2008-05-01]
- 面向安全攸关领域的可信技术验证应用 [2014-11-07]
- 数据密集型基计算的数据管理 [2014-11-07]
- 可信软件分析与验证技术 [2014-11-07]
- 基于模型的可信软件理论与方法 [2014-11-07]
- 信息物理融合系统的可信基础理论 [2014-11-06]
©2016 华东师范大学高可信计算重点实验室
©2016 华东师范大学高可信计算重点实验室