提出基于矛盾體分離的動態(tài)多元協(xié)同自動演繹推理的理論和方法，提高了自動推理引擎求解和證明能力，增強(qiáng)了系統(tǒng)可信性測評的綜合能力。

一、項目分類

重大科學(xué)前沿創(chuàng)新

二、成果簡介

以具有國際先進(jìn)水平的原創(chuàng)自動推理體系為核心支撐，立足通信系統(tǒng)安全檢測、評定與防護(hù)，在網(wǎng)絡(luò)空間安全可信性測評關(guān)鍵技術(shù)的研發(fā)與應(yīng)用上實現(xiàn)以下重要創(chuàng)新:
(1)提出基于矛盾體分離的動態(tài)多元協(xié)同自動演繹推理的理論和方法，提高了自動推理引擎求解和證明能力，增強(qiáng)了系統(tǒng)可信性測評的綜合能力。獲得命題邏輯求解器國際競賽第二名和一階邏輯證明器國際競賽第二名，發(fā)表論文(JCRQ1)3篇，登記軟件著作權(quán)3項。
(2)提出了基于自動推理的形式化驗證技術(shù)、基于交互式應(yīng)用安全測試技術(shù)的檢測方法，提升了網(wǎng)絡(luò)空間安全軟件系統(tǒng)在開發(fā)過程中軟件代碼層和業(yè)務(wù)邏輯層安全缺陷檢測過程有效性和檢測結(jié)果準(zhǔn)確性。目前已形成擁有自主知識產(chǎn)權(quán)的商業(yè)工具，支撐了軟件系統(tǒng)在關(guān)鍵信息基礎(chǔ)設(shè)施中的安全應(yīng)用，并輔助了國家相關(guān)信息安全標(biāo)準(zhǔn)的建設(shè)，測試工具是唯一一家被OWASPBenchmark工作組收錄的中國廠商自研工具。獲批國家標(biāo)準(zhǔn)2項(GB/T30279-2020  GB/T38628-2020)，獲得發(fā)明專利4(ZL201910498983.9
ZL2019108553424  ZL2020100476371  ZL20201175663.9)登記軟件著作權(quán)11項。

(3)提出了一種網(wǎng)絡(luò)空間非正常無線電信號的電磁干擾識別與自組織處理的方法，實現(xiàn)了及時發(fā)現(xiàn)與處理電磁威脅，提高了電磁信息的安全性。獲得發(fā)明專利2項(ZL2012104380941、ZL2012104380937)，獲得實用新型專利1項，發(fā)表論文1(JCRQ2）篇。