网络空间安全可信性测评关键技术研发与应用  

作　　者：王丹琛[1,2] 徐鹏 王颉[3] 徐扬 冯暄[4] 

机构地区：[1]西南交通大学系统可信性自动验证国家地方联合工程实验室,四川成都611756 [2]四川省信息安全测评中心,四川成都610091 [3]深圳开源互联网安全技术有限公司,广东深圳518116 [4]四川省计算机研究院,四川成都610041 [5]西南交通大学数学学院,四川成都611756

出　　处：《中国科技成果》2021年第22期43-44,76,共3页China Science and Technology Achievements

摘　　要：网络空间安全可信性测评是保障国家网络空间安全的基础核心手段,其技术先进性事关发展与安全大局,面临测评理论与方法的系统性不足、测评过程可靠性和测评结果准确性不足,以及对电磁威胁的测评方法缺失等难题,研究基于形式化的可信性验证方法,研发软件系统可信性测评和电磁信息安全可信性测评的关键技术及应用,从方法、技术、系统等多方位保障关键信息基础设施的网络空间安全。研发的相关成果已应用在电子政务、能源、交通、国防科技工业、金融、公共通信和信息服务等关键信息基础设施,取得良好的经济和社会效益。

关 键 词：可信性验证 软件系统安全 电磁信息安全 可信性测评 

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]