新合作新起点，望安科技与元心科技签约高安全形式化验证服务项目

北京元心科技有限公司自主研制的元心微内核操作系统，积极在安全方面进行重大创新。

近日，元心科技再次与望安科技进行新的合作，由望安科技为其微内核OS提供形式化验证和高安全评估，保障元心微内核OS的高安全性和可靠性。

本次项目签约，是基于望安科技在形式化验证领域的专业性

，尤其是CC EAL5级及以上验证服务的突出能力和优势。

望安科技作为元心微内核OS高安全评估的服务提供商，将对其微内核OS进行形式化建模和验证，并负责本次高安全等级的信息安全评估的实施。经过形式化建模和验证的操作系统软件，可保障CC高等级的评估和认证的顺利实施，保证其高安全性。

北京元心科技有限公司（元心科技），是一家从事智能移动操作系统研发的高科技企业，致力于为用户提供安全可信的基础软件平台。公司自主研发的元心安全移动操作系统，实现了端到端的立体安全架构，向着成熟可靠的安全移动操作系统平台迈出了扎实的步伐。

元心SyberOS是国内首家单、双系统分别通过EAL4级安全认证的移动智能操作系统，单系统、双系统产品的安全性均达到了业界领先水平。元心SyberOS具有自主系统架构和安全体系，自主可控水平高。元心SyberOS系统，已适配多款多型国产芯片，并专注移动终端操作系统多年。

元心不断践行OS+战略，满足国家战略安全要求，与业务场景深度融合，实现了从可用到易用的跨越，为集成厂商、终端厂商提供操作系统适配移植以及应用开发等服务，应用生态不断扩大，面向党、政、军、能源、金融、航空航天等安全敏感行业。

浙江望安科技有限公司（望安科技），主要依托形式化验证核心技术，可为多领域内的客户提供高安全等级的验证服务，可达到目前国际CC EAL7级最高安全保障级别。能为客户提供相应的验证服务和工具产品，使其顺利实现CC（对应国际）或国内信息安全产品认证。

可提供高安全产品的国际CC认证：望安科技提供检测前按照EAL高等级评估的要求，提供形式化/半形式化的设计与测试。且与国外合作的检测机构良好合作，可进行全流程的产品送检、检测和认证的全流程服务。

可提供高安全产品的国内信息安全认证：望安科技是国内一家可实现EAL5+及以上高等级评估的本土服务企业。并与国内多家检测机构合作，可快速实现EAL高等级评估。认证实现完全符合国际标准。