丛书简介
“中国基础研究报告”系列丛书由国家自然科学基金委员会策划出版，以“科学、基础、前沿”为定位，以“共享基础研究创新成果，传播科学基金资助绩效，引领关键领域前沿突破”为宗旨，紧密围绕我国基础研究动态，把握科技前沿脉搏，以科学基金资助项目的研究成果为基础，选取优秀成果汇总整理后出版。具体工作由国家自然科学基金委员会科学传播与成果转化中心组织实施。
可信软件基础研究
《可信软件基础研究》系统介绍了国家自然科学基金委员会重大研究计划“可信软件基础研究”的研究成果，反映了我国近年来在可信软件基础研究领域的发展，可为今后的研究者提供丰富的科研素材和创新源泉。 本书较为完整地梳理和总结了上述重大研究计划实施以来取得的重大研究成果，主要内容包括项目概况、国内外研究情况、重大研究成果以及展望，并辅以参考文献和成果附录。书中主要围绕四大核心科学问题——软件可信性度量与建模、可信软件的构造与验证、可信软件的演化与控制以及可信环境的构造与评估，呈现基础理论、关键技术和关键领域应用的实施成果。本书将为我国从事可信软件基础研究的科研工作者以及从事安全攸关领域的技术研发者提供参考，进一步推动可信软件的发展。