“可信软件基础研究”重大研究计划结题综述

作者：何积丰; 单志广; 王戟; 蒲戈光; 房毓菲; ...重大研究计划可信软件综述

摘要：本文介绍了＂可信软件基础研究＂重大研究计划的立项背景、总体科学目标、总体布局、实施思路及总体完成情况,并从建设可信软件开发资源共享与服务平台、设立＂智能化软件可信的基础理论与方法＂重大研究计划、对长期而艰难的课题实施面上项目滚动申报和资助方式等方面概述了在该领域下一步发展的建议。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社