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