|
搜索
搜 索
高等教育領域數字化綜合服務平臺
軟件可信性自動驗證系統
軟件可信性自動驗證是新一代信息技術領域的新技術。我們基于原創性且國際先進水平的理論成果，自主研發了高效的自動推理工具；借鑒目前世界上最先進的程序形式化技術，形成了C程序自動驗證系統和PLC程序自動驗證系統，對指針安全、數組越界、溢出等常見復雜問題可實現自動驗證或根據用戶需要驗證特殊性質，具有驗證速度快、發現缺陷能力強、成本低的特點，從技術上突破了程序分析、程序測試的一些瓶頸，對提高軟件質量具有不可替代的作用。目前，本自動驗證系統已驗證了涉及航空航天、武器裝備、鐵路、通訊等多種系統，顯現出了明顯效果，得到了認可。 該成果具有國際先進水平，自主可控，填補了國內程序可信性自動驗證的空白，獲得省部級和學會級三等以上獎勵，有著有廣闊的應用領域。。
西南交通大學
2016-06-27
網絡空間安全可信性測評關鍵技術研發與應用
提出基于矛盾體分離的動態多元協同自動演繹推理的理論和方法，提高了自動推理引擎求解和證明能力，增強了系統可信性測評的綜合能力。
一、項目分類
重大科學前沿創新
二、成果簡介
以具有國際先進水平的原創自動推理體系為核心支撐，立足通信系統安全檢測、評定與防護，在網絡空間安全可信性測評關鍵技術的研發與應用上實現以下重要創新:(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
高安全性、舒適性滑雪頭盔
滑雪頭盔作為滑雪運動中不可或缺的安全裝備，在《中國滑雪場所管理規范》中指出，滑雪頭盔是必選項，滑雪頭盔市場規模和發展潛力巨大。目前滑雪頭盔市場仍由國外品牌主導。
東北師范大學
2025-05-16
一種基于 Docker 的可信容器安全加固方法
本發明公開了一種基于 Docker 的可信容器安全加固方法，用于對 Docker 容器系統進行安全增強， 實現基于 Docker 的可信容器，應用于基于 Docker 的服務器集群中；該基于 Docker 的可信容器包含容 器程序 Docker、容器可信度量模塊、進程監控模塊和網絡通信監控模塊，其中容器可信度量模塊包括可 信啟動子模塊與文件度量子模塊；本發明重點關注 Docker 容器的可信性，利用可信計算、完整性度量 技術，配合實時監控模塊對
武漢大學
2021-04-14
高安全系統安全完整性評估解決方案
針對工業控制領域中安全相關系統的功能安全問題，研究評估方法，建立了安全評估體系，掌握安全設備的安全完整性評估和分析、安全系統的安全完整性評估和分析技術；針對現場設備失效和可靠性展開研究，掌握可靠性設計技術，針對工控系統信息安全進行研究，參與制定了相應的國家標準。開發了國內第一個 PROFISafe 安全通信協議。
遼寧大學
2021-04-11
高校可信電子文檔管理平臺
為全面貫徹落實國務院辦公廳《國務院關于在線政務服務的若干規定》、《關于簡化優化辦公服務流程方便基層群眾辦事創業的通知》、《推進“互聯網+政務服務”開展信息惠民試點實施方案》若干規定，并結合《中國教育現代化2035》和《加快推進教育現代化實施方案（2018－2022年）》的要求，全面提升高校事務服務規范化、便利化水平，杜絕一紙證明“跑斷腿”，優化高校服務環境，推進服務型高校建設。
時代銳思通過多年的研究和實踐，借助數據共享技術、電子簽名技術、大數據及物聯網技術等前沿信息化手段構建出第三代“數據共享—電子簽名—文檔可信—文檔服務門戶/終端自助打印—文檔驗真”一體化的可信電子文檔管理平臺，依托一體化的可信電子文檔管理平臺實現高校服務線上線下深度融合，實現高校各部門、各環節數據資源的高度聯通，給高校的全面數字化轉型提供有力的支撐，夯實數字校園建設。
高校可信電子文檔管理平臺由可信電子文檔庫系統、可信電子文檔服務門戶、可信電子文檔自助打印三大系統構成。高校師生可通過可信電子文檔服務門戶和可信電子文檔自助打印兩種途徑，來實現24H、全方位高校文檔的獲取。通過高校可信電子文檔管理平臺的建設，加速高校打造文檔服務線上線下閉環生態。
高校可信電子文檔管理平臺即將部署5所高校
高校可信電子文檔管理平臺在四川傳媒學院應用
陜西時代銳思網絡科技有限公司
2022-08-02
高校可信電子文檔服務平臺
為進一步提高學校師生辦理所需文件的便捷度，讓信息多跑路，學生少跑腿，時代銳思推出可信電子文檔服務平臺。此平臺依托PKI身份認證體系，以標準電子簽章服務體系為核心，將數字證書與師生校內基礎數據整合，為學生提供可信電子成績單、可信電子證明文件的申請、生成、派發、驗證等全在線自助服務，解決全流程線上業務辦理“最后一公里”問題，三步申請、一秒送達、一次搞定。
可信電子文檔優勢
更加的安全
與傳統的紙質文檔相比，電子文檔更加的安全，不會丟失和損壞，更不會被其他人所利用和偽造，而且具有和紙質文檔一樣的法律效應。在需要的時候隨時可以通過pc端、手機移動端對電子文檔并進行查驗，杜絕文檔篡改、造假。
更加的便利
電子文檔是一個數字的文檔，不需要隨身攜帶，只需要在使用的時候，隨時可登錄服務平臺查詢、下載已加蓋電子簽章的文檔。
隨時打印
可信電子文檔隨用隨打印（彩色、黑白均可），對打印機和紙張沒有限制，對打印次數沒有限制。
更加的智能
實現文檔電子化之后，每個學生的相關文檔（各種成績單、證明文件）都可以隨時在線查詢，而且會更加的智能化。
更加具有公信力
可信電子文檔的法律效力、基本用途、基本使用規定與紙質文檔相同，突破了傳統紙質文檔的概念；采取電子簽章實現文檔簽名、電子蓋章，實現電子文檔唯一性、不可抵賴性、防篡改；通過數字媒體形式傳送與保存文檔內容，可通過網絡、移動通信等方式傳送給接收方。
可信電子文檔應用
陜西時代銳思網絡科技有限公司
2022-08-02
一種基于控制系統可信架構的TPCM模塊及可信檢測技術
本發明提供了一種基于控制系統可信架構的TPCM模塊，包括內部總線，以及連接到所述內部總線的TPM處理單元、程序存儲器、配置存儲器、數據存儲器、完整性檢測單元，還包括總線仲裁管理單元；本發明還提供了一種基于上述TPCM模塊的可信檢測技術，包括可信設備的信任鏈生成和傳遞，以及可信操作系統中可信進程的基本信息的完整可信檢測和可信進程加載的可執行文件的完整性與可信性檢測。本發明提出了結合功能安全與信息安全，結合外部防御與內部防范，覆蓋硬件配置、軟件編程、網絡通信、實時運行、工程維護等設計、運行、服務全生命周期的控制系統可信可控架構及可信檢測技術，保證了工業控制系統的可靠性、安全性實時性、可用性、可維護性。
浙江大學
2021-04-11
一種無需可信第三方支持的云端數據安全刪除系統與方法
本發明公開了一種無需可信第三方支持的云端數據安全刪除系 統與方法，系統包括分布式哈希表網絡，用于存放解密密鑰碎片、用 戶端，用于文件加密、解密和密鑰信息刪除，包括：文件加密模塊、 文件解密模塊、密鑰分發與重組模塊、本地密鑰信息模塊和文件刪除 模塊，文件加密和解密模塊用于對文件加解密，密鑰分發與重組模塊 用于對密鑰分片和重組，本地密鑰信息模塊用于存儲相關密鑰信息， 文件刪除模塊用于刪除密鑰信息；云端，提供數據服務器和密
華中科技大學
2021-04-14
高可靠性防爆汽車安全輪胎系統
裝備傳統充氣輪胎的車輛存在爆胎、刺破泄氣等安全隱患，嚴重影 響車輛行駛安全性和機動性。據統計，高速公路46%的交通事故是由輪 胎發生故障引起，僅爆胎一項就占輪胎事故總量的70%,車輛時速在160 公里以上發生爆胎造成的死亡率接近100%。 項目圍繞研發高可靠性汽車防爆安全輪胎系統，釆用非充氣安全車 輪和內支撐安全輪胎兩種技術路線，解決傳統充氣輪胎的車輛存在爆 胎、刺破泄氣等安
南京工程學院
2021-01-12