从起初的课题研发到人才项目成功孵化，从三五人的初创团队发展到近百人规模，从深耕国内市场到开拓海外新业务……在数字经济浪潮奔涌的当下，浙江望安科技有限公司以独特的形式化验证技术，在数字和信息安全领域书写柯桥企业抢得数字经济机遇的创业创新故事。
抢滩数字经济赛道
人才项目快速发展
走进位于科创大厦的“望安科技”办公场所，年轻工程师团队正忙着对小米、新华三等几个大项目进行安全分析，尝试着突破一项项技术难关。而贯穿这项工作始终的，正是形式化验证这一关键词。
何为形式化验证？“望安科技”总经理陈建明解释道，简单来说就是“用数学的方式来验证一段代码的安全性”，通过严密的逻辑演算，从根源上确保代码不存在安全漏洞。这一核心技术，如今在“望安科技”的创新突破下，已成功应用于高铁控制系统、无人机导航模块、智能手机操作系统等关键领域，使得其系统安全等级提升至更高标准。
人才和技术可以说是“望安科技”的核心所在。三年前，“望安科技”申报市级人才项目，进而顺利落地柯桥经开区（金柯桥科技城），公司创始人、董事长赵永望深耕形式化验证领域逾二十载，其研发成果应用于航空、航天、无人系统等关键领域，也吸引了中国移动、小米集团、新华三等行业龙头纷纷抛来“橄榄枝”。
近年来，随着越来越多头部企业加入合作，“望安科技”业绩也是突飞猛进。“尤其在前两年，公司业绩实现每年翻番。”陈建明表示，公司从落地到运营，柯桥经开区（金柯桥科技城）在前期对接洽谈、服务保障等方面给予了诸多帮助，让企业更快驶入发展“快车道”。
重塑出海认证新生态
护航本土企业“走出去”
随着“一带一路”持续深入推进，中国本土企业出海面临日益严苛的网络安全认证要求。“望安科技”敏锐洞察到这一商机，3月下旬成功与欧盟头部安全评估实验室CCLAB达成战略合作，共同搭建起国内首个EUCC（欧盟通用认证标准）本地化服务平台，助力本土企业出海拓市。
国内一家电力龙头企业出口欧洲的认证项目，成为该平台首个适用案例——“望安科技”作为国内信息安全认证领域的先行者，使该企业智能电表产品顺利获得进入欧盟市场的“数字通行证”。
“随着越来越多出海企业突破海外市场准入壁垒，不仅构建起信息安全的良好生态，也为今后实现完全国产替代起了好头。”陈建明表示，以往海外认证的业务基本被德国莱茵、SGS等外资机构所垄断，这次公司达成战略合作，不仅使得认证周期进一步缩短、认证成本进一步降低，更意味着中国企业终于握住了网络安全国际认证的主动权。
正如赵永望所言，用数学的确定性对抗网络空间的不确定性，这是中国网络安全企业必须攀登的技术高峰。
