|
搜索
搜 索
高等教育領域數(shù)字化綜合服務平臺
網(wǎng)絡空間安全可信性測評關鍵技術研發(fā)與應用
提出基于矛盾體分離的動態(tài)多元協(xié)同自動演繹推理的理論和方法，提高了自動推理引擎求解和證明能力，增強了系統(tǒng)可信性測評的綜合能力。
一、項目分類
重大科學前沿創(chuàng)新
二、成果簡介
以具有國際先進水平的原創(chuàng)自動推理體系為核心支撐，立足通信系統(tǒng)安全檢測、評定與防護，在網(wǎng)絡空間安全可信性測評關鍵技術的研發(fā)與應用上實現(xiàn)以下重要創(chuàng)新:(1)提出基于矛盾體分離的動態(tài)多元協(xié)同自動演繹推理的理論和方法，提高了自動推理引擎求解和證明能力，增強了系統(tǒng)可信性測評的綜合能力。獲得命題邏輯求解器國際競賽第二名和一階邏輯證明器國際競賽第二名，發(fā)表論文(JCRQ1)3篇，登記軟件著作權3項。(2)提出了基于自動推理的形式化驗證技術、基于交互式應用安全測試技術的檢測方法，提升了網(wǎng)絡空間安全軟件系統(tǒng)在開發(fā)過程中軟件代碼層和業(yè)務邏輯層安全缺陷檢測過程有效性和檢測結(jié)果準確性。目前已形成擁有自主知識產(chǎn)權的商業(yè)工具，支撐了軟件系統(tǒng)在關鍵信息基礎設施中的安全應用，并輔助了國家相關信息安全標準的建設，測試工具是唯一一家被OWASPBenchmark工作組收錄的中國廠商自研工具。獲批國家標準2項(GB/T30279-2020 GB/T38628-2020)，獲得發(fā)明專利4(ZL201910498983.9ZL2019108553424 ZL2020100476371 ZL20201175663.9)登記軟件著作權11項。
(3)提出了一種網(wǎng)絡空間非正常無線電信號的電磁干擾識別與自組織處理的方法，實現(xiàn)了及時發(fā)現(xiàn)與處理電磁威脅，提高了電磁信息的安全性。獲得發(fā)明專利2項(ZL2012104380941、ZL2012104380937)，獲得實用新型專利1項，發(fā)表論文1(JCRQ2）篇。
西南交通大學
2022-09-13
基于多組分雜化體系的聚合物材料火災安全設計
成果創(chuàng)新點 1.發(fā)展了有機-無機雜化納米復合阻燃增強新技術，實 現(xiàn)了材料的力學和阻燃性能的同步提升，解決了傳統(tǒng)阻燃 技術惡化材料力學性能的難題；相比傳統(tǒng)阻燃技術熱釋放 速率降低 20-40%，力學性能提高 20-50%； 2.發(fā)展了無機-無機雜化納米復合抑煙減毒新技術，解 決了傳統(tǒng)阻燃材料燃燒煙氣毒性大的難題，相比傳統(tǒng)技術 燃燒煙氣煙密度降低 20-40%，毒性降低 20-60%。 技術成
中國科學技術大學
2021-04-14
一種軟件更新的補丁安全性檢測方法及系統(tǒng)
本發(fā)明公開了一種軟件更新的補丁安全性檢測方法及系統(tǒng)，所 述方法包括：通過對補丁預處理，進而進行中間代碼分析以獲得受補 丁影響的基本塊，通過這些受補丁影響的基本塊得到內(nèi)存敏感型函數(shù) 及其變量，從其出發(fā)構造主要執(zhí)行路徑；在對路徑的進行符號執(zhí)行的 過程中，確定具體的路徑條件，到達具體的內(nèi)存敏感型函數(shù)時，結(jié)合 此時的路徑條件和相應的安全檢測器來判斷是否存在軟件更新安全問 題。本發(fā)明著重于檢測軟件更新后，新版本相對舊版本不同部
華中科技大學
2021-04-14
鋰電池儲能系統(tǒng)消防安全關鍵技術與裝備
一、項目分類
關鍵核心技術突破
二、成果簡介
儲能能夠為電網(wǎng)運行提供調(diào)峰、調(diào)頻、備用、需求響應支撐等多種服務，是提升傳統(tǒng)電力系統(tǒng)靈活性、經(jīng)濟性和安全性的重要手段。加快儲能技術與產(chǎn)業(yè)發(fā)展，對于構建以新能源為主體的新型電力系統(tǒng)，實現(xiàn)碳達峰碳中和具有重要意義。據(jù)預測，到2050年，我國鋰電池儲能將達到400吉瓦，年均增長26%。然而，鋰離子電池固有的安全性問題使其大規(guī)模應用遇到了瓶頸。2019年美國亞利桑那州一起鋰電池儲能系統(tǒng)火災，今年4月我國某儲能電站爆炸，韓國近年來30座電池儲能電站發(fā)生火災，均造成重大人員傷亡和經(jīng)濟損失。因此，儲能系統(tǒng)的消防安全問題已成為制約鋰離子電池儲能大規(guī)模推廣的關鍵瓶頸。
現(xiàn)有技術的痛點問題是：1、鋰離子電池火災機理有差異；2、鋰離子電池滅火劑適用性不強；3、現(xiàn)有滅火劑不具備高效降溫能力；4、實時健康狀態(tài)監(jiān)測技術缺乏；5、預警技術作用重視不夠；6、技術規(guī)范建設嚴重滯后。
華中科技大學
2022-07-26
一種基于糾刪碼的數(shù)據(jù)安全刪除方法和系統(tǒng)
本發(fā)明公開了一種基于糾刪碼的數(shù)據(jù)安全刪除方法，包括：將 源數(shù)據(jù)均分為 k 個相同大小的數(shù)據(jù)塊，標識為 D0、D1、…、Dk-1， 選擇一個隨機數(shù)或偽隨機數(shù) nonce，使用密鑰 Key 對其進行加密，以 得到一個與數(shù)據(jù)塊 D0 相同大小的塊，利用得到的塊對 D0、D1、…、 Dk-1 進行按位異或，以得到新的數(shù)據(jù)塊 C0、C1、…、Ck-1，將隨機 數(shù)或偽隨機數(shù) nonce 均分為 k 份，并將其分別附加到數(shù)據(jù)塊 C0、C1、…、
華中科技大學
2021-04-14
核電站安全殼穹頂裂縫無線自動監(jiān)測方法及裝置
一種核電站安全殼穹頂裂縫無線自動監(jiān)測方法及裝置，包括設置若干無線傳感器節(jié)點、中繼模塊和 數(shù)據(jù)處理模塊，對中繼模塊，將接收天線放置于穹頂中間護欄上，接收所有無線傳感器節(jié)點采集的測量 數(shù)據(jù)，通過高頻傳輸電纜在穹頂中間與女兒墻間建立信號鏈路，將發(fā)射天線安置在女兒墻外轉(zhuǎn)發(fā)測量數(shù) 據(jù)；數(shù)據(jù)處理模塊包括第四無線傳輸模塊和終端設備，第四無線傳輸模塊和終端設備通過數(shù)據(jù)電纜連接， 將第四無線傳輸模塊放置在能夠與中繼模塊的發(fā)射天線通視的位置，接收發(fā)射天線轉(zhuǎn)發(fā)的測量
武漢大學
2021-04-14
基于生物特征標記認證的區(qū)塊鏈安全交易關鍵技術
1、痛點問題
區(qū)塊鏈技術目前仍然面臨許多關鍵性問題。首先是雙重支付（Double spending）問題。一筆交易的數(shù)字憑證被廣播到所有區(qū)塊鏈網(wǎng)絡節(jié)點，由于網(wǎng)絡通信存在延遲，代表一筆交易的新區(qū)塊從生成到被大多數(shù)網(wǎng)絡節(jié)點認可需要一個時間段。因此，在新區(qū)塊被確認合法性之前，支付方可以任意使用手中的區(qū)塊作為數(shù)字憑證支付給多個接收方。
其次，對于數(shù)字憑證的交易者來說，系統(tǒng)架構中并沒有提供足夠的合法身份驗證和防止賬戶盜用的交易止損機制。一旦用戶密鑰丟失，則將永久性喪失個人的數(shù)字資產(chǎn)。
第三 ，缺乏合法身份認證機制的區(qū)塊鏈技術還面臨嚴重信息安全問題，急需建立一種保證個人用戶交易和數(shù)字資產(chǎn)安全的保障機制。
2、解決方案
（1）區(qū)塊鏈賬戶的生物特征加密集成技術。
（2）安全交易數(shù)字憑證生成技術。
（3）區(qū)塊鏈系統(tǒng)對區(qū)塊合法性認證技術。
3、合作需求
1）尋找實現(xiàn)核心算法軟件系統(tǒng)開發(fā)的精干團隊。
2）尋找合作開發(fā)應用場景系統(tǒng)平臺的投資方。特別是基于數(shù)字圖書市場應用場景的區(qū)塊鏈安全交易系統(tǒng)開發(fā)。
清華大學
2023-05-19
基于多組分雜化體系的聚合物材料火災安全設計
1.發(fā)展了有機-無機雜化納米復合阻燃增強新技術，實現(xiàn)了材料的力學和阻燃性能的同步提升，解決了傳統(tǒng)阻燃技術惡化材料力學性能的難題；相比傳統(tǒng)阻燃技術熱釋放速率降低 20-40%，力學性能提高 20-50%；
2.發(fā)展了無機-無機雜化納米復合抑煙減毒新技術，解決了傳統(tǒng)阻燃材料燃燒煙氣毒性大的難題，相比傳統(tǒng)技術燃燒煙氣煙密度降低 20-40%，毒性降低 20-60%。
中國科學技術大學
2023-05-19
一種碗扣式鋼管腳手架安全監(jiān)測節(jié)點
本實用新型公開了一種碗扣式鋼管腳手架安全監(jiān)測節(jié)點，該安全監(jiān)測節(jié)點設置在碗扣式鋼管腳手架上，它包括單片機，以及與單片機相連并相互通信的激光位移傳感器、加速度計、實時時鐘模塊、無線通訊模塊、外擴數(shù)據(jù)存儲電路和電源及電源管理模塊。所述的電源及電源管理模塊包括12V大容量鋰電池、電壓轉(zhuǎn)換電路和電源管理電路。本實用新型能獲取碗扣式鋼管腳手架的位移值、加速度值和角速度值等參數(shù)，并對通過無線傳輸模塊發(fā)送給匯聚網(wǎng)關，再通過匯聚網(wǎng)關發(fā)送給遠端的服務器，使用方便、可靠，為建筑和橋梁等施工和監(jiān)管部門的監(jiān)管提供科學有效的監(jiān)
安徽建筑大學
2021-01-12
一種核電站安全殼內(nèi)襯鋼板缺陷測量裝置
本實用新型提供核電站安全殼內(nèi)襯鋼板缺陷測量裝置，其特征在于：包括支架、導軌、滑塊、中心 控制單元、位移傳感器和測距儀，導軌安裝在支架上，滑塊卡在導軌上，位移傳感器和測距儀設置在滑 塊上，位移傳感器和測距儀分別連接中心控制單元。本實用新型提出的核電站安全殼內(nèi)襯鋼板缺陷測量 裝置，在體積和重量上比原有的工具減輕了很多，而且使用所得測量結(jié)果精度高，數(shù)據(jù)量豐富，操作簡 單，數(shù)據(jù)錄入迅速，結(jié)果直觀，有效提高了測量的效率以及精度。
武漢大學
2021-04-13