2023年2月22日，望安科技共同起草的《智能终端可信执行环境操作系统》产品认证技术规范发布。
手机TEE的CC认证标准
本标准按照 GB/T 1.1-2020《标准化工作导则 第1部分：标准化文件的结构和起草规则》的规定，由 中国网络安全审查技术与认证中心、信息产业信息安全测评中心、浙江望安科技有限公司、小米科技有限责任公司 等单位起草，《智能终端可信执行环境操作系统安全技术要求》产品认证技术规范已于2023年2月22日正式实施。
望安科技基于形式化验证技术，在信息安全领域坚持自我创新，紧跟国家信息安全国产化方面建设步伐，是国内最早从事CC高等级认证、布局信创产业市场高安全级别发展的安全企业之一。
标准解读
1 认证产品体系-手机TEE ，本标准规范了国内手机操作系统高等级CC认证的要求， 为国内手机操作系统EAL4+、EAL5+进行CC认证提供了认证基础 ，加速国内手机操作系统CC高等级认证的普及。
2 CC认证等级：EAL4+/EAL5+ ，CC认证是全球安全标准最高、行业影响力最大的国际信息安全产品认证之一。本标准的发布，意味着国产TEE的安全等级有了质的飞跃，是国内CC认证领域发展的最新突破。
3 标准覆盖内容 ，本标准规定了手机操作系统达到CC EAL 4 +和CC EAL 5+ 的安全功能要求及安全保障要求，涵盖了安全问题定义、安全目的、安全要求等内容，适用于大部分手机操作系统高安全等级的的设计、开发、测试及评估。
高安全级别数字化系统的国产化替代是大势所趋， 高等级安全认证是数据安全与网络安全的基础 ，也将成为推动社会经济发展的重要抓手之一。望安科技基于自主创新精神，拥有形式化验证技术、CC高等级认证技术能力，全面发力高等级信息安全赛道，为信息安全产业发展护航。
望安科技 CC评估服务 ，可为多领域内的客户提供高安全等级的CC评估服务，可达到目前 国际CC EAL7级 的高安全保障级别。
浙江望安科技有限公司
浙江望安科技有限公司是以"形式化验证"为核心技术的安全服务及产品提供商。公司致力于为国家重大项目、关键系统及行业企业提供安全认证保障。业务覆盖航空、航天、国防、轨道交通、区块链、物联网、工业控制、芯片设计制造等重大领域。
公司可提供信息技术安全评估标准CC EAL1-EAL7级安全保障级别咨询与技术服务。公司拥有自主研发、自主知识产权的覆盖软件全生命周期的望安形式化验证平台W-AVC、符合CC认证体系的标准化实施平台系统W-CaaS等重要核心资产。核心技术已应用于C919国产大飞机、载人航天工程、中航工业集团、航天科技集团、元心科技、中国移动、小米科技等，已覆盖相对广泛的合作领域和企业。