摘要
国家自然科学基金委员会启动实施了"可信软件基础研究"重大研究计划。本文从该重大研究计划的立项背景和意义,可信软件的研究现状,该重大研究计划的科学目标与核心科学问题,以及预期成果等方面进行了介绍。
The major research plan of trustworthy software was set up by the National Natural Science Foundation of China. This paper introduces the background and significance of the plan, the current status of the trustworthy software research, the scientific objectives and associated scientific problems of the plan, and the expected results.
出处
《中国科学基金》
CSCD
北大核心
2008年第3期145-151,共7页
Bulletin of National Natural Science Foundation of China
