|
|||||
|
|
| “可信软件基础研究”重大研究计划综述 | |
| 引用本文： | 刘 克,单志广,王 戟,何积丰,张兆田,秦玉文.“可信软件基础研究”重大研究计划综述[J].自然科学进展,2008,22(3):145-151. |
| 作者姓名： | 刘 克 单志广 王 戟 何积丰 张兆田 秦玉文 |
| 作者单位： | （1 国家自然科学基金委员会信息科学部， 北京 100085； 2 国家信息中心信息化研究部， 北京 100045；3 国防科技大学计算机学院， 长沙 410073； 4 华东师范大学软件学院， 上海 200241） |
| 摘 要： | 国家自然科学基金委员会启动实施了“可信软件基础研究”重大研究计划。本文从该重大研究计划的立项背景和意义，可信软件的研究现状，该重大研究计划的科学目标与核心科学问题，以及预期成果等方面进行了介绍。 |
| 关 键 词： | 可信软件，重大研究计划，国家自然科学基金 |
| 点击此处可从《自然科学进展》浏览原始摘要信息 | |
| 点击此处可从《自然科学进展》下载免费的PDF全文 | |