广西可信软件重点试验室2017年研究课题申报指引.pdfVIP

广西可信软件重点实验室 2017 年研究课题申报指南 一、总体目标 遵循 “有限目标、稳定支持、集成升华、跨越发展”的总体思路，依据实验 室科学技术发展规划，围绕可信软件基础理论与方法、安全协议与信息可信、可 信泛在网络、大数据处理与可信、可信智慧应用系统等方向开展工作，在基础研 究、应用基础研究以及应用开发等各个层面产出一批创新成果，使实验室整体水 平在广西和中国西南地区处于领先地位，并处于全国同类实验室的先进水平。 二、资助方向 根据实验室发展规划的总体部署，2017 年将资助以下研究方向。 1、可信软件基础理论与方法。主要包括：软件可信性度量、建模与预测， 可信软件的程序理论与方法学，可信软件设计与构造，可信软件的验证与测试， 可信环境的数学理论与信任传递理论，可信软件的演化与控制，基于互联网群体 智能的软件开发，基于大数据样本的网络空间软件行为安全分析，软件自诊断、 自治愈和自恢复，符号计算，形式化方法，信息物理融合系统的安全性保证。 2 、安全协议与信息可信。主要包括：安全协议的形式化分析与验证，不需 要可信机构的安全协议，具有隐私保护性的数据匿名化与数据聚合协议，D2D 通信中的轻量级安全协议。 3、可信泛在网络。主要包括：泛在网络中的错误容忍和可靠性保证，泛在 网络的可信接入，泛在网络的安全保护和信任管理，泛在网络的能量管理、数据 融合和安全数据查询，安全位置感知与服务。 4 、大数据处理与可信。主要包括：数据访问控制与隐私保护，图数据管理 与分析，知识图谱构建与应用，大数据环境中的异常数据探测及信息隐藏，社交 网络大数据的搜集与可信分析，虚拟网络社区的个体和群体行为预测。 1 三、课题设置和申报说明 1、2017 年实验室共设置四类课题：重点课题、一般课题、自由探索课题、 理论与方法集成演示课题。 （1） “重点课题”每项 6 万元，执行期 2 年。要求研究成果量化计分合计 大于等于 10 分 （计分方式见附 1）。 （2 ） “一般课题”每项 3 万元，执行期 2 年。要求研究成果量化计分合计 大于等于 5 分。 （3 ） “自由探索课题”每项 1 万元，执行期 2 年。要求研究成果量化计分 合计大于等于 1.5 分。 （4 ）“理论与方法集成演示课题”每项 2 万元，执行期 1 年。要求针对下面 列出的内容之一构建集成演示平台，并体现出自己的核心技术。课题资助的 2 万元不包括设备费；实验室将为每项课题配备不超过 10 万元的软硬件设备。申 请者需在申请书中列出详细的软硬件设备需求及购置计划，课题立项后实验室将 统一招标购买所缺设备。 ① 可信软件分析、测试与验证平台； ② 软件自诊断、自治愈和自恢复演示平台； ③ 信息物理融合系统安全性验证平台； ④ 可信泛在网络演示平台； ⑤ 大数据安全集成演示平台； ⑥ 可信智慧应用系统演示平台。 2 、本实验室固定人员可申报上述四类课题；非本实验室固定人员 （包括各 高等院校、科研机构、产业部门和其它单位科技工作者）可申报前三类课题。 3、按广西科技厅的经费管理要求，经费不能划拨到重点实验室所在单位之 外使用，即课题负责人只能到桂林电子科技大学进行报账。经费开支必须与课题 申报时的经费预算相一致，按照桂林电子科技大学财务管理制度执行。 4 、对于外单位人员申报的课题，建议至少有 1 名本实验室固定人员作为课 2 题组成员参加合作研究，联合署名发表论文并协助处理经费报账等事宜。 5、课题承担者发表学术论文时，需在单位信息中标