元心安全微内核操作系统率先通过EAL5+测评 将移动智能终端的安全性再提升一个台阶

         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+测评标志着元心科技在安全领域已经有能力与国外企业并跑。后续元心科技将继续完成形式化验证工作，进一步完善安全领域平台供给能力，结合各行业领域特点，持续深入探索9965必赢官方网页版标准，构建我国关键领域的核心基础平台。

         据了解，中国信息安全测评中心此次依据GB/T 18336-2015《信息技术 安全技术 信息技术安全评估准则》对元心安全操作系统SyberX进行EAL5+级严格评估，测评过程历经文档审核、独立性测试、穿透性测试、现场核查、回归测试和综合评估等阶段，最终确认SyberX已经实现预期的安全功能，安全性能满足EAL5+级要求。

         元心科技是国产操作系统的开拓者与实践者，立志打造中国最可信赖的自主创新智能终端操作系统（国产手机操作系统）。该公司始终以“自主可控、自主替代、自主发展”为目标，致力于元心智能移动操作系统SyberOS（元心系统）与元心安全微内核操作系统SyberX的持续研发和产业化发展。经国家权威机构检测，元心系统的自有代码率达到81.6%，取得了中国信息安全测评中心颁发的“自主原创产品认证”证书，并在国内率先通过了手机操作系统最高安全等级EAL4测评，在同类系统中达到最高安全级别，在自主可控方面具备竞争优势。