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