近日，中国网络安全审查技术与认证中心向小米智能终端可信执行环境操作系统2.0（Mi TEE OS 2.0）颁发了一张证书，这也是国内首张智能终端领域最高安全认证等级EAL5+级证书。而这张证书背后最大的功臣，是来自金柯桥科技城的人才企业——浙江望安科技有限公司。

　　据介绍，信息技术安全性评估是信息领域的核心技术，它直接表明了信息产品的安全性及可信度。“国际标准共7个等级，从低到高依次为EAL1到EAL7，其中EAL5及以上为高等级。此前，企业为了证明产品的安全性，只能找国外企业，认证周期一般长达一年以上，且费用需要几百万元甚至上千万元，对企业来说是个沉重的负担。”望安科技总经理陈建明说。

　　摆脱对国外的技术依赖，是望安科技创立之初定下的目标。公司依托浙江大学计算机科学与技术学院教授、博士生导师赵永望10余年研发成果创办，2019年6月成立并入驻融杭飞地，2022年4月主体落地金柯桥科技城。公司以“形式化验证”为核心技术，致力于为国家重大项目、关键系统和行业企业提供安全认证保障，核心技术已应用于C919国产大飞机、载人航天工程、智能网联汽车、芯片设计制造等多个重要领域。

　　“高等级安全验证在国内还处于起步阶段，多个相关标准还在制定中。”陈建明说，小米Mi TEE OS 2.0的EAL评估基于《智能终端可信执行环境操作系统安全技术要求》产品认证技术规范的行业标准，该标准由中国网络安全审查技术与认证中心、信息产业信息安全测评中心、浙江望安科技有限公司等单位联合起草，于今年2月正式发布实施。“这也为国内手机操作系统进行EAL4+、EAL5+认证提供了基础。”陈建明说。

　　早在2020年，望安科技便已开始实施EAL5+高等级验证项目，截至目前已承接了元心科技、中科海微、小米3个项目，并先后参与了3项行业标准组织起草。此外，公司还正在实施EAL6+验证项目。“未来3年，公司预计服务客户1000个，营收突破2亿元。”陈建明信心满满地表示。