|
搜索
搜 索
高等教育領域數字化綜合服務平臺
軟件可信性自動驗證系統
軟件可信性自動驗證是新一代信息技術領域的新技術。我們基于原創性且國際先進水平的理論成果，自主研發了高效的自動推理工具；借鑒目前世界上最先進的程序形式化技術，形成了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
高校可信電子文檔管理平臺
為全面貫徹落實國務院辦公廳《國務院關于在線政務服務的若干規定》、《關于簡化優化辦公服務流程方便基層群眾辦事創業的通知》、《推進“互聯網+政務服務”開展信息惠民試點實施方案》若干規定，并結合《中國教育現代化2035》和《加快推進教育現代化實施方案（2018－2022年）》的要求，全面提升高校事務服務規范化、便利化水平，杜絕一紙證明“跑斷腿”，優化高校服務環境，推進服務型高校建設。
時代銳思通過多年的研究和實踐，借助數據共享技術、電子簽名技術、大數據及物聯網技術等前沿信息化手段構建出第三代“數據共享—電子簽名—文檔可信—文檔服務門戶/終端自助打印—文檔驗真”一體化的可信電子文檔管理平臺，依托一體化的可信電子文檔管理平臺實現高校服務線上線下深度融合，實現高校各部門、各環節數據資源的高度聯通，給高校的全面數字化轉型提供有力的支撐，夯實數字校園建設。
高校可信電子文檔管理平臺由可信電子文檔庫系統、可信電子文檔服務門戶、可信電子文檔自助打印三大系統構成。高校師生可通過可信電子文檔服務門戶和可信電子文檔自助打印兩種途徑，來實現24H、全方位高校文檔的獲取。通過高校可信電子文檔管理平臺的建設，加速高校打造文檔服務線上線下閉環生態。
高校可信電子文檔管理平臺即將部署5所高校
高校可信電子文檔管理平臺在四川傳媒學院應用
陜西時代銳思網絡科技有限公司
2022-08-02
高校可信電子文檔服務平臺
為進一步提高學校師生辦理所需文件的便捷度，讓信息多跑路，學生少跑腿，時代銳思推出可信電子文檔服務平臺。此平臺依托PKI身份認證體系，以標準電子簽章服務體系為核心，將數字證書與師生校內基礎數據整合，為學生提供可信電子成績單、可信電子證明文件的申請、生成、派發、驗證等全在線自助服務，解決全流程線上業務辦理“最后一公里”問題，三步申請、一秒送達、一次搞定。
可信電子文檔優勢
更加的安全
與傳統的紙質文檔相比，電子文檔更加的安全，不會丟失和損壞，更不會被其他人所利用和偽造，而且具有和紙質文檔一樣的法律效應。在需要的時候隨時可以通過pc端、手機移動端對電子文檔并進行查驗，杜絕文檔篡改、造假。
更加的便利
電子文檔是一個數字的文檔，不需要隨身攜帶，只需要在使用的時候，隨時可登錄服務平臺查詢、下載已加蓋電子簽章的文檔。
隨時打印
可信電子文檔隨用隨打印（彩色、黑白均可），對打印機和紙張沒有限制，對打印次數沒有限制。
更加的智能
實現文檔電子化之后，每個學生的相關文檔（各種成績單、證明文件）都可以隨時在線查詢，而且會更加的智能化。
更加具有公信力
可信電子文檔的法律效力、基本用途、基本使用規定與紙質文檔相同，突破了傳統紙質文檔的概念；采取電子簽章實現文檔簽名、電子蓋章，實現電子文檔唯一性、不可抵賴性、防篡改；通過數字媒體形式傳送與保存文檔內容，可通過網絡、移動通信等方式傳送給接收方。
可信電子文檔應用
陜西時代銳思網絡科技有限公司
2022-08-02
一種基于控制系統可信架構的TPCM模塊及可信檢測技術
本發明提供了一種基于控制系統可信架構的TPCM模塊，包括內部總線，以及連接到所述內部總線的TPM處理單元、程序存儲器、配置存儲器、數據存儲器、完整性檢測單元，還包括總線仲裁管理單元；本發明還提供了一種基于上述TPCM模塊的可信檢測技術，包括可信設備的信任鏈生成和傳遞，以及可信操作系統中可信進程的基本信息的完整可信檢測和可信進程加載的可執行文件的完整性與可信性檢測。本發明提出了結合功能安全與信息安全，結合外部防御與內部防范，覆蓋硬件配置、軟件編程、網絡通信、實時運行、工程維護等設計、運行、服務全生命周期的控制系統可信可控架構及可信檢測技術，保證了工業控制系統的可靠性、安全性實時性、可用性、可維護性。
浙江大學
2021-04-11
XM-205A兩性軀干模型27件85CM
XM-205A兩性軀干模型27件85CM（豪華背部開放式）
?
XM-205A兩性軀干模型27件85CM（豪華背部開放式）可拆分為27部件，男女生殖器可互換，體現人體內部器官細節構造以及人體軀干背部肌肉的基本結構，并且在每一個器官或結構部位都標示了數字，結合說明書有利于精確地認識人體解剖學的器官結構。
模型部件包括：大小腦1件、眼球1件、左右肺4件、食管1件、氣管1件、肝和膽囊1件、胃2件、心臟2件、胰脾十二指腸1件、腎蓋1件、男性內外生殖器4件、女性內外生殖器4件、大腸小腸帶盲腸蓋2件、軀殼1件、胸椎1件。
尺寸：自然大，高85cm
材質：PVC材料
上海欣曼科教設備有限公司
2021-08-23
片上可信嵌入式系統關鍵技術
本課題在重慶市工業發展資金的資助下，開展了片上可信嵌入式系統的研 究。采用S0PC將TPM標準安全處理模塊、外圍接口與處理器整合在單個集成電路芯片上，為解決特殊領域嵌入式系統的安全問題提供有效和實用化的解決方 案。可以直接在國防、金融等領域推廣應用，以提高智能化產品的安全性能。 系統特色： 1. 芯片化可信安全機制牢固 2. 應用范圍寬 3. 可以不改變原有產品系統的硬件結構 4. 擁有核心技術與國家發明專利5.市場需求面廣、量大。
重慶大學
2021-04-11
一種移動平臺可信支付系統及方法
本發明公開了一種移動平臺可信支付系統及方法，系統包括可信操作系統、普通操作系統、虛擬機 管理器、安全瀏覽器、監督程序和硬件層;本發明將定制過的操作系統的鏡像文件存儲在存儲卡中，并 在每次操作系統啟動前都通過 TPM 芯片對鏡像文件進行度量。這款操作系統稱為可信操作系統。可信 操作系統需要通過第三方可信機構的授權才能更新，平時用戶使用普通手機操作系統，但是當可信支付 系統檢測到用戶想要進行支付時，將自動切換到可信操作系統來執行支付操作。而支付操作需要的網址， 則通過支付網址數據庫驗證后加密傳入可信操作系統中。本發明為用戶提供了一個高度安全保護的支付 環境，同時由于該方法基于虛擬化技術，能夠支持不同架構的硬件平臺。
武漢大學
2021-04-13
汽車零部件總成定量氣密性工藝試驗機
1. 項目概述定量氣密性檢漏設備，用于有密封性要求的汽車零部件總成的在線定量檢測，其測試靈敏度高（反映1毫米水柱高壓力，近似萬分之一大氣壓）和檢測節拍快40-60秒/件。其壓差法的檢漏思想檢測精度較高，系統響應快。基于壓差法和微泄漏的特點，可將檢測過程分三個階段進行。⑴充填階段：根據試驗容積大小，設定一定的時間內，對測試容積進行充氣。 ⑵平衡階段:平衡階段的作用是將檢測氣體在一定測試壓力下的密封容積內進行熱和動態的穩定處理。氣體的平衡處理是必要的，因為檢驗氣體在充填階段是受壓的，從而溫度會升高，而非常小的溫度變化都會在密封容積內引起氣體的壓力變化，從氣體力學上講，也就是等溫過程。在測量壓力變化時為了得到相對精確的測量結果，檢驗氣體的平衡處理尤為重要。平衡階段所需的時間與試驗容積、測試壓力、以及工件的熱性能有關。⑶測量階段：測量是在設定的一定時間內，測量試驗容積內的檢驗氣體因微泄漏而造成的壓力下降數值，通過換算判斷壓力降數值是否超出了允許的極限泄漏率。2. 技術優勢測試靈敏度高（反映1毫米水柱高壓力，近似萬分之一大氣壓）和檢測節拍快40-60秒/件。
南京工業大學
2021-04-13