server gacor slot

         2022年元旦前夕，元心信息科技集團有限公司（元心科技）研發的“元心安全微內核操作系統V2.0”（以下稱元心安全微內核操作系統SyberX）通過了中國信息安全測評中心的CC EAL5+級別測評。CC(Common Criteria for Information Technology Security Evaluation )是全球權威的信息技術安全性評估標準， EAL5+級別需要采用形式化驗證手段來進行保障。元心安全微內核操作系統SyberX是國內權威測評機構認可的首例EAL5+等級軟件產品，這也是我國自主可控操作系統目前能夠通過的最高級別安全測評。

         元心科技研究院副院長、創新實驗室主任姜哲表示，元心安全微內核操作系統SyberX是元心科技在元心智能移動操作系統SyberOS（國產手機操作系統）取得成功的同時，針對更高安全等級產品作出的戰略布局。首先，SyberX可以成為SyberOS的安全基座，保護上層內核的完整性，並能夠實現多等級的信息安全隔離。同時，SyberX也是面向無人駕駛、智能座艙、航空航天、人工智能物聯網（AIoT）等領域打造的產品。SyberX遵循MILS（多獨立級信息安全/功能安全）架構，核心的分離內核提供分區安全隔離和信息流受控，可滿足混合關鍵系統（Mixed-Criticality System，MCS）不同關鍵等級應用（安全關鍵、任務關鍵、低等級關鍵等）的分級執行需求。

         據介紹，在元心科技技術團隊的努力研發下，元心安全微內核操作系統SyberX具備了“時空分區隔離，支持多異構操作系統”與“關鍵子系統調度確定性及高安全性”等特性，並且精簡了內核。該操作系統所構建的形式化安全模型，能夠進一步保證系統的安全可靠，並且對高等級信息安全以及功能安全領域的系統軟件起到支持作用。

         元心科技首席科學家鄒仕洪博士表示，元心安全微內核操作系統SyberX是元心科技的自主原創產品，代碼自有率達到100%。這也是該操作系統真正實現“自主可控，安全可信”的基礎。SyberX在設備中能夠通過構建安全模型來全面掌控信息流，同時屏蔽底層差異，解決系統復雜性，能夠極大縮短定制化產品的開發周期。

         鄒仕洪博士指出，國內高安全領域市場長期以來被國外企業把持。通過EAL5+測評標志著元心科技在安全領域已經有能力與國外企業並跑。後續元心科技將繼續完成形式化驗證工作，進一步完善安全領域平台供給能力，結合各行業領域特點，持續深入探索行業安全標準，構建我國關鍵領域的核心基礎平台。

         據了解，中國信息安全測評中心此次依據GB/T 18336-2015《信息技術 安全技術 信息技術安全評估準則》對元心安全操作系統SyberX進行EAL5+級嚴格評估，測評過程歷經文檔審核、獨立性測試、穿透性測試、現場核查、回歸測試和綜合評估等階段，最終確認SyberX已經實現預期的安全功能，安全性能滿足EAL5+級要求。

         元心科技是國產操作系統的開拓者與實踐者，立志打造中國最可信賴的自主創新智能終端操作系統（國產手機操作系統）。該公司始終以“自主可控、自主替代、自主發展”為目標，致力于元心智能移動操作系統SyberOS（元心系統）與元心安全微內核操作系統SyberX的持續研發和產業化發展。經國家權威機構檢測，元心系統的自有代碼率達到81.6%，取得了中國信息安全測評中心頒發的“自主原創產品認證”證書，並在國內率先通過了手機操作系統最高安全等級EAL4測評，在同類系統中達到最高安全級別，在自主可控方面具備競爭優勢。