網絡空間安全可信性測評關鍵技術研發與應用
提出基于矛盾體分離的動態多元協同自動演繹推理的理論和方法,提高了自動推理引擎求解和證明能力,增強了系統可信性測評的綜合能力。
一、項目分類
重大科學前沿創新
二、成果簡介
以具有國際先進水平的原創自動推理體系為核心支撐,立足通信系統安全檢測、評定與防護,在網絡空間安全可信性測評關鍵技術的研發與應用上實現以下重要創新:(1)提出基于矛盾體分離的動態多元協同自動演繹推理的理論和方法,提高了自動推理引擎求解和證明能力,增強了系統可信性測評的綜合能力。獲得命題邏輯求解器國際競賽第二名和一階邏輯證明器國際競賽第二名,發表論文(JCRQ1)3篇,登記軟件著作權3項。(2)提出了基于自動推理的形式化驗證技術、基于交互式應用安全測試技術的檢測方法,提升了網絡空間安全軟件系統在開發過程中軟件代碼層和業務邏輯層安全缺陷檢測過程有效性和檢測結果準確性。目前已形成擁有自主知識產權的商業工具,支撐了軟件系統在關鍵信息基礎設施中的安全應用,并輔助了國家相關信息安全標準的建設,測試工具是唯一一家被OWASPBenchmark工作組收錄的中國廠商自研工具。獲批國家標準2項(GB/T30279-2020 GB/T38628-2020),獲得發明專利4(ZL201910498983.9ZL2019108553424 ZL2020100476371 ZL20201175663.9)登記軟件著作權11項。
(3)提出了一種網絡空間非正常無線電信號的電磁干擾識別與自組織處理的方法,實現了及時發現與處理電磁威脅,提高了電磁信息的安全性。獲得發明專利2項(ZL2012104380941、ZL2012104380937),獲得實用新型專利1項,發表論文1(JCRQ2)篇。
西南交通大學
2022-09-13