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