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

本项目以涉及国家安全C4KISR重大应用领域软件可信性需求分析方法和验证环境问题作为主攻研究目标，其特色与创新之处在于：运用因素空间变维等数学性质，建立一种复杂软件可信性元描述新方法- - -可信因素空间藤网法，形成一种软件可信性内涵、外延统一描述方法，为有效解决复杂集成软件可信性描述问题、复杂软件可信性描述状态组合爆炸问题以及包含多项不确定性的软件可信性传递等科学难题奠定理论基础；设想了以模糊落影理论和可信因素空间藤网模型为基础，形成一种高可信软件定性-定量需求分析方法；把C4KISR复杂软件恶劣生存环境、软件可信度传递特性、软件可信度可控特性等典型性质作为研究重点，具有典型示范意义;把信息战网络攻击研究与软件可信性研究结合在一起，发挥学科交叉优势，以多角度多维度多类型渗透攻击验证实案为途径，研究并实现一种典型应用领域软件高可信性攻击渗透实验验证理论方法。有重大科学价值和军事效益。

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