[01420344]面向C4KISR重大应用领域软件可信性需求分析方法与攻击性实验验证环境研究

该项目通过4年的研究工作，已按时完成项目计划内容。项目成果获得国家科技进步二等奖1项，军队科技进步三等奖1项；发表学术论文59篇，其中SCI收录12篇，EI收录26篇；出版专著2部，国际会议论文集1本，软件可信性研究论文集2本；形成中国国防科学技术报告20篇；申请国家发明专利5项；培养博士后2名、博士生28名、硕士生31名；组织国际学术会议1次及多次国内学术活动。利用因素空间变维等数学性质，建立了一种软件可信性描述新方法-可信因素藤网法，形成了一种集软件可信性内涵、外延统一描述方法，创建了一种能运用高层知识定性推理、综合判断等集成软件可信性形式化综合描述新框架；分析了C4KISR软件族具有软件恶劣生存环境、软件可信度传递特性、软件可信度可控特性等典型性质，以可信因素藤网法和模糊落影理论为基础，形成了一种高可信软件定性-定量需求分析方法；形成了一种多层次复杂软件高可信性攻击渗透实验验证理论方法；构建了一个基于网络靶场模型的高可信软件攻击渗透实验验证环境平台，并在某典型C4KISR系统可信评测中得到应用。该项目围绕重大研究计划的核心科学问题—可信环境的数学理论与信任传递理论、可信计算环境测评理论方法及环境构建等，在面向C4KISR重大应用领域软件可信性需求分析方法与攻击性实验验证环境研究方面取得了突破性进展。