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测评,在同类系统中达到最高安全级别,在自主可控方面具备竞争优势。