小米澎湃OS的横空出世，离不开望安的技术支持。会中，金凡表示，小米澎湃OS的安全基石是小米自研的TEE硬件级底层安全系统，它独立内核并且在使用底层CPU内存等资源时，在硬件层就进行了完全隔离。在此基础上，望安科技协助小米采用航天系统中使用的形式化方法，通过数学上严格的逻辑推导和定理证明，保障系统达到最高等级的安全。

望安科技基于形式化验证核心技术及CC高等级认证评估技术能力，为小米手机TEE提供CC EAL5+认证评估服务。望安科技承担实施的小米智能终端可信执行环境操作系统2.0（MiTEE OS 2.0）评估项目，成功获得了由中国网络安全审查技术与认证中心（CCRC）颁发的国内首张最高安全认证等级EAL5+ 证书。该证书的颁发，标志着MiTEE OS的信息安全保障能力已达到行业领先水平。

小米TEE EAL5+评估是基于CCRC-EAL-TR-052-2023《智能终端可信执行环境操作系统安全技术要求》产品认证技术规范。该标准是由中国网络安全审查技术与认证中心、浙江望安科技有限公司等单位联合起草。本标准规范了国内手机操作系统高等级CC认证的要求，为国内手机操作系统EAL4+、EAL5+进行CC认证提供了认证基础。

望安科技作为系统安全形式化验证、国内CC信息安全高等级认证的推动者，一直致力于为国内重大项目、关键系统及行业企业提供安全认证保障。望安在国内/国际CC认证、形式化验证工具、形式化验证解决方案等领域拥有核心技术实力。目前已完成和实施中的项目包括中国移动EAL3+认证、小米科技EAL5+认证、中科海微EAL5+认证、元心科技EAL5+认证等。望安科技将全面发力高等级信息安全赛道，为信息安全产业发展护航。

END