可信软件基础研究：第3章 重大研究成果
3.1 可信网络交易软件系统试验环境与示范应用
3.2 多维在线跨语言Calling Network建模及其在可信国家电子税务软件中的实证应用
3.3 面向车联网的可信网络应用软件系统试验环境与示范应用
3.4 航天嵌入式软件可信性保障集成环境和示范验证与应用
3.5 可信软件理论、方法集成与综合实验平台
