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

被引：134

作者：

刘克 ^{[1
]}

单志广 ^{[2
]}

王戟 ^{[3
]}

何积丰 ^{[4
]}

张兆田 ^{[1
]}

秦玉文 ^{[1
]}

机构：

[1] 国家自然科学基金委员会信息科学部

[2] 国家信息中心信息化研究部

[3] 国防科技大学计算机学院

[4] 华东师范大学软件学院

来源：

关键词：

可信软件; 重大研究计划; 国家自然科学基金;

D O I：

10.16262/j.cnki.1000-8217.2008.03.012

中图分类号：

TP311.52 [];

学科分类号：

081202 ; 0835 ;

摘要：

国家自然科学基金委员会启动实施了"可信软件基础研究"重大研究计划。本文从该重大研究计划的立项背景和意义,可信软件的研究现状,该重大研究计划的科学目标与核心科学问题,以及预期成果等方面进行了介绍。

引用

页码：145 / 151

页数：7