护航数字安全，智领创新生态丨2023望安科技产品发布会圆满落幕！

      绍兴金柯桥科技城建管委，柯桥区委组织部相关领导，同时还有来自国家金融科技测评中心、中国软件测评中心、小米科技、地平线、腾讯云、中科海微、沃趣科技、翼辉信息、北京航空航天大学、南京航空航天大学、浙江理工大学等高校和行业企业，以及投资机构的嘉宾共同出席了本次会议。

沃趣科技是浙江省“尖兵”计划项目的牵头单位，也是望安科技的战略合作伙伴。陈栋表示，在整个项目的推进过程中，望安科技展现了高度的专业精神和团队协作能力，为项目的顺利推进提供了有力支持。望安科技在“尖兵”项目的安全评估级别已经达到了CC EAL5+的安全保障，这对于整个项目的安全性和稳定性都有着非常重要的意义。未来，沃趣科技与望安科技将继续深化合作，共同为客户提供更安全、更高效的解决方案。

望安科技董事长赵永望讲述了望安科技的发展历程，并对莅临发布会的行业领导、嘉宾以及各地的合作伙伴表示热烈的欢迎和衷心的感谢。

      望安科技作为国内形式化验证领域和CC高等级认证领域的推动者，一直致力于为国内重大项目、关键系统和行业企业提供安全认证保障，并和国际权威机构在国内联合建设CC国内实验室，推进国际CC认证相关工作的有效实施，满足国内高等级认证需求，推动国内CC高等级认证行业发展。

绍兴金柯桥科技城建管委党工委委员、副主任董海均，国家金融科技测评中心袁晓媛总监，南京航空航天大学杨志斌教授，中科海微CEO李栋，沃趣科技CEO陈栋，望安科技董事长赵永望共同揭幕。

      W-AVC是一款C语言代码程序的形式化验证云平台。平台基于形式化验证技术，通过数学证明排查代码中的缺陷和安全隐患；同时通过开发验证人员编写的规约基准代码，自动检查代码中的安全漏洞，从而在开发流程的早期增强系统的安全性，减少现代大型软件架构带来的风险。

      W-CaaS是一款集开发、分析、评测符合通用标准的CC认证标准化平台，可便捷、快速的进行CC认证的实施及管理。平台在认证产品时可节省的时间和成本为 50%，且符合标准的可靠性为 100%。

     本次产品发布会是望安科技发展历程中的一个新的里程碑，也是一个全新的开始。未来，望安科技也将持续研发，推进提升代码高安全、高可靠性的自动化验证能力，同时加强推进国内CC认证体系系统性的建设，不断促进国内高等级安全认证水平的发展，筑牢信息安全屏障！