浙江望安科技有限公司与小米科技有限责任公司正式签署合作协议，望安科技 将基于形式化验证核心技术及CC高等级认证评估技术能力，为小米手机基础软件系统提供CC EAL5+认证评估服务 ，从源头上杜绝系统漏洞，保障小米手机基础软件系统安全，助力小米手机基础软件系统达到更高级别的安全性能。
望安科技是以“形式化验证”为核心技术的网络与信息安全产品和服务提供商，致力于为国家重大项目、关键系统和行业企业提供安全认证保障。望安科技在国内/国际CC认证、形式化验证工具、形式化验证解决方案等领域拥有核心技术实力。面对当前中国信息安全产业飞速建设、高等级认证服务爆发性需求，望安科技聚焦信息安全认证核心，在关键技术领域，持续突破创新，安全产品及服务面向航空、航天、国防、区块链、互联网金融、芯片设计制造、物联网、轨道交通、工业控制等重大领域。
小米是一家专注于智能硬件和电子产品研发的全球化移动互联网企业，同时也是一家专注于智能手机、互联网电视及智能家居生态链建设的创新型科技企业。“让每个人都能享受科技的乐趣”是小米公司的愿景。小米应用了互联网开发模式，用极客精神做产品，用互联网模式干掉中间环节，致力于让全球每个人，都能享用来自中国的优质科技产品。
望安科技CC评估服务
CC认证是信息技术安全领域认可度最高的国际性认证之一，遵从国际标准（ISO/IEC 15408）,国标（GB/T 18336）。
望安科技依托于“形式化验证”核心技术，可为多领域内的客户提供高安全等级的CC评估服务，可达到目前国际CC EAL7+级最高安全保障级别。望安科技可为客户提供相应的评估服务、工具产品，使客户顺利实现CC（对应国际）或国内信息安全产品认证。
- 全等级CC评估服务
- 望安科技多年专注于 CC 认证的评估服务，可提供 CC 认证全等级评估服务，是国内拥有 EAL 5 以上评估保障级别服务能力的专业 CC 评估服务企业。依照原始 CC 标准，提供符合国标 GB/T 18336、符合国际标准 ISO/IEC 15408 的分级评估服务。
- 国内、国际CC评估服务
- 望安科技与国内外多家权威评估机构达成战略合作关系，可同时提供国内、国际 CC 评估服务业务，实施结果完全符合国内国际标准。其中，望安科技的国内合作伙伴有中国网络安全审查技术与认证中心、中国信息安全评测中心、国家金融科技测评中心、信息产业信息安全测评中心等，国外合作伙伴有西班牙认证实验室 jtsec、新加坡认证实验室 an security等。
- 定制化服务、高效便捷、模式灵活
- 望安科技可提供多种服务模式，满足不同类型、不同研发能力客户需求。
当前，国内自主核心技术和基础软硬件生态体系正在不断发展壮大，望安科技可开展跨领域跨行业的CC高等级安全认证，以CC认证为“底座”，以“形式化验证”技术为“基石”，以科技创新为“动力”，推动信息安全产业发展，助力泛安全领域及产业化建设。
浙江望安科技有限公司
浙江望安科技有限公司是以"形式化验证"为核心技术的安全服务及产品提供商。公司致力于为国家重大项目、关键系统及行业企业提供安全认证保障。业务覆盖航空、航天、国防、轨道交通、区块链、物联网、工业控制、芯片设计制造等重大领域。
公司可提供信息技术安全评估标准CC、EAL1-EAL7级安全保障级别咨询与技术服务。公司拥有自主研发、自主知识产权的覆盖软件全生命周期的望安形式化验证工具WONSEC V1.0、符合CC认证体系的标准化实施平台系统W-CaaS等重要核心资产。核心技术已应用于C919国产大飞机、载人航天工程、中航工业集团、航天科技集团、元心科技、中国移动等，已覆盖相对广泛的合作领域和企业。