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

         元心科技研究院副院長,、創(chuàng)新實驗室主任姜哲表示,，元心安全微內(nèi)核操作系統(tǒng)SyberX是元心科技在元心智能移動操作系統(tǒng)SyberOS（國產(chǎn)手機(jī)操作系統(tǒng)）取得成功的同時，針對更高安全等級產(chǎn)品作出的戰(zhàn)略布局,。首先,，SyberX可以成為SyberOS的安全基座，保護(hù)上層內(nèi)核的完整性,，并能夠?qū)崿F(xiàn)多等級的信息安全隔離,。同時，SyberX也是面向無人駕駛,、智能座艙,、航空航天、人工智能物聯(lián)網(wǎng)（AIoT）等領(lǐng)域打造的產(chǎn)品,。SyberX遵循MILS（多獨立級信息安全/功能安全）架構(gòu),，核心的分離內(nèi)核提供分區(qū)安全隔離和信息流受控，可滿足混合關(guān)鍵系統(tǒng)（Mixed-Criticality System,，MCS）不同關(guān)鍵等級應(yīng)用（安全關(guān)鍵,、任務(wù)關(guān)鍵、低等級關(guān)鍵等）的分級執(zhí)行需求,。

         據(jù)介紹,，在元心科技技術(shù)團(tuán)隊的努力研發(fā)下，元心安全微內(nèi)核操作系統(tǒng)SyberX具備了“時空分區(qū)隔離,，支持多異構(gòu)操作系統(tǒng)”與“關(guān)鍵子系統(tǒng)調(diào)度確定性及高安全性”等特性,，并且精簡了內(nèi)核。該操作系統(tǒng)所構(gòu)建的形式化安全模型,，能夠進(jìn)一步保證系統(tǒng)的安全可靠,，并且對高等級信息安全以及功能安全領(lǐng)域的系統(tǒng)軟件起到支持作用。

         元心科技首席科學(xué)家鄒仕洪博士表示,，元心安全微內(nèi)核操作系統(tǒng)SyberX是元心科技的自主原創(chuàng)產(chǎn)品,，代碼自有率達(dá)到100%。這也是該操作系統(tǒng)真正實現(xiàn)“自主可控,，安全可信”的基礎(chǔ),。SyberX在設(shè)備中能夠通過構(gòu)建安全模型來全面掌控信息流,，同時屏蔽底層差異，解決系統(tǒng)復(fù)雜性,，能夠極大縮短定制化產(chǎn)品的開發(fā)周期,。

         鄒仕洪博士指出，國內(nèi)高安全領(lǐng)域市場長期以來被國外企業(yè)把持,。通過EAL5+測評標(biāo)志著元心科技在安全領(lǐng)域已經(jīng)有能力與國外企業(yè)并跑,。后續(xù)元心科技將繼續(xù)完成形式化驗證工作，進(jìn)一步完善安全領(lǐng)域平臺供給能力,，結(jié)合各行業(yè)領(lǐng)域特點,，持續(xù)深入探索行業(yè)安全標(biāo)準(zhǔn)，構(gòu)建我國關(guān)鍵領(lǐng)域的核心基礎(chǔ)平臺,。

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

         元心科技是國產(chǎn)操作系統(tǒng)的開拓者與實踐者,，立志打造中國最可信賴的自主創(chuàng)新智能終端操作系統(tǒng)（國產(chǎn)手機(jī)操作系統(tǒng)）。該公司始終以“自主可控,、自主替代,、自主發(fā)展”為目標(biāo)，致力于元心智能移動操作系統(tǒng)SyberOS（元心系統(tǒng)）與元心安全微內(nèi)核操作系統(tǒng)SyberX的持續(xù)研發(fā)和產(chǎn)業(yè)化發(fā)展,。經(jīng)國家權(quán)威機(jī)構(gòu)檢測,，元心系統(tǒng)的自有代碼率達(dá)到81.6%，取得了中國信息安全測評中心頒發(fā)的“自主原創(chuàng)產(chǎn)品認(rèn)證”證書,，并在國內(nèi)率先通過了手機(jī)操作系統(tǒng)最高安全等級EAL4測評,，在同類系統(tǒng)中達(dá)到最高安全級別，在自主可控方面具備競爭優(yōu)勢,。