数据库
依托形式化验证专利，为数据库行业提供网络安全服务，确保数据保护和关键系统的信息完整性。
操作系统
利用形式化验证工具，为操作系统行业提供安全保障产品和服务，支持如元心科技等合作伙伴的系统安全。
芯片设计
应用形式化验证核心技术和软著，为芯片设计行业提供安全认证服务，提升芯片安全性和可靠性。
工业控制
提供形式化验证和网络安全服务，应用于工业控制领域，确保关键设备的运行安全和信息保护。
物联网
依托形式化验证技术，为物联网行业提供安全产品和服务，保障中科海微等相关企业系统的网络安全性。
区块链
利用形式化验证核心技术，为区块链行业提供安全认证服务，支撑该领域的信息安全需求和风险管理。
轨道交通
应用自研形式化验证工具，为轨道交通行业提供安全保障产品和服务，确保关键系统和基础设施的网络安全。
国防
提供形式化验证和安全认证服务，专注于国防领域的网络与信息安全，应用于中国军事科学院等重大国防系统。
融资次数
1
员工数量
小于50人
专利数量
13
经营范围
一般项目：软件开发；软件销售；网络与信息安全软件开发；计算机软硬件及辅助设备批发；计算机软硬件及辅助设备零售；信息系统运行维护服务；信息安全设备销售；技术服务、技术开发、技术咨询、技术交流、技术转让、技术推广；软件外包服务；信息技术咨询服务；互联网安全服务；信息咨询服务（不含许可类信息咨询服务）；集成电路芯片设计及服务；计算机系统服务；认证咨询(除依法须经批准的项目外，凭营业执照依法自主开展经营活动)。
主营业务
以形式化验证和安全认证为核心，提供网络与信息安全产品和服务，服务于国家重大项目、关键系统及多个重大行业的安全保障需求。
浙江望安科技有限公司
有限责任公司(自然人投资或控股)
￥1,000万
2019-06-04
陈建明
18157500001
chenjm@wonsec.com
浙江省绍兴市柯桥区齐贤街道柯桥经济技术开发区西环路586号科创大厦A座507-508