望安科技 | 形式化验证领航者

关于我们

浙江望安科技有限公司是以“形式化验证”为核心技术的信息安全产品服务提供商，致力于为国家重点项目、关键系统和行业企业提供安全认证保障。

公司建立“安全认证+形式化验证”的产品矩阵，开发全球首套一站式CC评估服务平台W-CaaS、覆盖软件开发全生命周期的C语言测试平台W-AVC、面向基础软硬件的形式化建模与验证工具W-Cert等。安全产品及服务面向航空航天、国防、区块链、芯片、物联网、工业控制等重大领域，核心技术已应用于C919国产大飞机、载人航天工程、中航工业集团、航天科技集团、中国移动、小米科技等产品和机构。

公司是CC操作系统内核技术委员会（SK TC）成员、ARINC 653操作系统标准委员会成员、智能网联汽车基础软件标准工作组成员。参与中国网络安全审查技术中心智能摄像头产品、智能终端可信执行环境操作系统、虚拟机监控器产品的安全技术标准起草，已与国家金融科技测评中心、西班牙Jtsec等机构建立联合实验室。