跨越时刻
presentation
2023年10月26日,小米于北京召开了主题为「跨越时刻」的小米澎湃OS暨小米14系列新品发布会,正式发布了小米澎湃 OS,开启了「人车家全生态」的跨越时刻。小米澎湃 OS是一次史无前例的系统底层重构,从这一刻起,小米澎湃 OS将逐步接替MIUI,成为小米手机的核心系统。
小米澎湃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
咨询热线:18358509111 运营中心:400-675-8118
E-mail:wangan@wonsec.com 邮政编码:312000
地址:浙江省绍兴市柯桥区齐贤街道柯桥经济技术开发区西环路586号科创大厦A座507-508
版权所有 Copyright ©2019-2020 浙江望安科技有限公司 网络备案号:浙ICP备19042838号-1