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