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

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

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

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

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

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

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