可信软件基础研究

可信软件基础研究项目组编的《可信软件基础研究》系国家自然科学基金重大研究计划“可信软件基础研究”的出版成果。以嵌入式软件和网络应用软件可信性问题为主攻目标，以国家关键应用领域中软件可信性问题为突破口，建立可信软件基础研究的研究框架，研究成果揭示了软件可信性和环境可信性度量与演化的基本规律，构建了可信软件及其环境构造与验证、演化与控制的方法和关键技术体系，建立了可信软件开发工具和运行支撑平台。

第1章 项目概况
1.1 项目介绍
1.2 项目布局
1.3 取得的重大进展
第2章 国内外研究情况
2.1 国内外研究现状
2.2 发展趋势
2.3 领域发展态势
第3章 重大研究成果
3.1 可信网络交易软件系统试验环境与示范应用
3.2 多维在线跨语言Calling Network建模及其在可信国家电子税务软件中的实证应用
3.3 面向车联网的可信网络应用软件系统试验环境与示范应用
3.4 航天嵌入式软件可信性保障集成环境和示范验证与应用
3.5 可信软件理论、方法集成与综合实验平台
第4章 展望
4.1 国内存在的不足和战略需求
4.2 深入研究的设想和建议
参考文献
成果附录
附录1 重要论文目录
附录2 获得国家科学技术奖励项目
附录3 代表性发明专利
附录4 人才队伍培养与建设情况
索引