21世纪经济报道记者 申俊涵 报道近年来，金融信创产业进入快速发展期。数据显示，2022年，国内金融信创产业市场规模达到1138.25亿元。随着金融信创政策深入实施与金融机构数字化转型步伐加快，预计到2026年，这个数字将达到3019.01亿元，年均复合增长率达到21.5%。
信创，即信息技术应用创新产业，它是数据安全、网络安全的基础，也是新基建的重要组成部分。望安科技技术团队已经在形式化验证领域研究多年，已经拥有了形式化验证平台W-AVC、CC评估服务平台W-CaaS、高安全评估形式化工具W-Cert等平台产品，全面支持国家重大项目、关键系统及行业企业信息安全、认证保障，其中形式化验证工具已经在军科部分项目成功应用，CC评估服务系统W-CAAS已经辅助完成国内首款操作系统CC EAL 5+项目，并应用在中科海微CC EAL5+、小米科技CC EAL5+、中国移动CC EAL3+项目中。
