“可信软件基础研究”重大研究计划2011年度项目指南国家自然科学.pdf

附件： 可信软件基础研究重大研究计划 2011年度项目指南 　　本重大研究计划以国家关键应用领域中软件可信性问题为主攻目标，分析、研究和解 决相关科学问题，在嵌入式软件和基于网络的大型应用软件中开展示范应用，为改善国家 重大工程中的软件可信性提供科学支撑。 　　一、科学目标 　　针对国家信息化发展和重大工程应用对可信软件的战略需求，采用理论研究和实证研 究相结合的方法，揭示软件可信和环境可信的失效、度量和演化的基本规律，建立可信软 件及其环境构造与验证、演化与控制的方法和关键技术体系，研究可信软件开发工具和运 行支撑平台及环境，并在典型的嵌入式软件和基于网络的大型应用软件中进行验证和示 范，促进软件从传统的单一度量理论到综合性的可信度量理论及其构造方法的集成升华， 提高我国在可信软件领域的原始创新能力和国际影响力，为国家相关重大计划和工程的可 信软件研发提供科学支撑，培养一批高水平的研究人才，促进我国软件产业的崛起和发 展。 　　二、2011年度拟资助的研究项目 　　本重大研究计划2007年启动，至今已资助重点支持项目12项和培育项目73项（有 关情况参见）。 　　本重大研究计划2011年度只资助重点支持项目和集成项目。其中，重点支持项 目主要支持学术创新性强、研究价值高的研究内容，且前期工作具有较好的研究基础与 成果积累，研究成果具有明确的可展示载体；集成项目主要支持以国家重大科技与工程 任务为载体，通过集成与示范验证来展示本重大研究计划在可信软件开发与运行保障等方 面成效的研究内容。 　　2011年度拟资助重点支持项目约6项（资助强度每项300万元，资助期限为4年）， 集成项目约2项（资助强度2000万元，资助期限为4年）。2011年度计划经费约6000万 元。 　　重点支持项目的依托单位与合作研究单位数合计不超过3个；集成项目的依托单 位与合作研究单位数合计原则上不超过5个。 　　（一）2011年度拟资助的重点支持项目。 　　1. 误差可控的计算。 　　研究面向计算的算法可信性的度量与可信算法设计的数学基础，针对典型科学与工程 计算问题，设计新的无误差计算和误差可控的基础算法等。 　　2．人与信息系统交互的可信机理及其展示平台。 　　以社会计算为背景，以大规模网络化应用平台为载体，系统考察人与信息系统的交互 作用、决策过程与可信机理；建立人与信息系统交互效率、成本综合评价准则与信任机 制；探讨可信软件过程社会化问题，构建可信应用软件的运行环境。 　　3．可信软件构造的基础理论与方法。 　　探索可信软件的系统化开发理论、方法与技术，研究基于构件与面向服务的可信软件 建模、体系结构驱动的组装与转换方法，并建立相应的工具、平台和示范应用。 　　4. 可信计算环境测评。 　　针对国内外典型可信计算平台，研究相应的安全评估模型；研究可信平台模块协议检 测方法，包括可信计算平台安全功能测试、标准符合性测试、攻击性测试等技术，对认 证、授权和平台证明协议的正确性、安全性和性能的验证提供支持。 　　5. 可信软件安全性逆向度量机理。 　　面向大型控制型应用软件，通过建立反向推理链来研究可能形成安全性问题的关键状 态集合，并针对该关键状态集研究潜在缺陷的度量方法及关键点加固机制；建立相应的可 信软件安全性逆向度量工具。 　　6.面向国家重大应用的可信软件试验环境与示范应用。 　　以国家经济社会发展重大现实应用为载体，综合集成可信网络软件及可信环境的指标 与度量、演化与监控、评测与验证等理论与技术，研制原型系统，建立可信性试验环境， 开展实证测试和示范应用。 　　7. 可信软件及服务的度量、评估、认证体系标准。 　　基于本重大研究计划已有成果，研究并建立可信软件及服务的度量、评估、认证体系 的国际标准。 　　（二）2011年度拟资助的集成项目。 　　以国家重大科技与工程任务为载体，能够反映软件可信性度量、建模与预测、可信软 件构造与验证、可信软件的演化与控制以及可信环境的构造与评估的研究成果，形成可信 软件开发与运行保障的集成和示范应用平台。重点支持以下两类应用领域和试验环境： 　　1. 可信嵌入式软件系统试验环境与示范应用。 　　针对嵌入式软件系统中的可信性需求，综合集成可信软件需求分析、设计、编码、验 证、测试、监控、评估和维护等理论、方法和技术，研究开发高可信嵌入式软件系统的试 验环境，并以典型案例应用示范的形式进行验证。 　　2. 可信网络应用软件系统试验环境与示范应用。 　　针对网络应用软件系统的可信性和服务质量需求，综合集成可信网络软件及可信环境 的需求分析、构造、验证、演化、监控和评测等理论、方