核心团队
暂无数据
招投标 (5)
序号
发布日期
标题
信息类型
中标金额
专利列表 (13)
序号
申请日期
专利名称
1
2024-03-18
一种基于自动化定理证明器的C代码程序验证方法及系统
2
2023-05-24
一种对结合形式化验证持续集成的方法
3
2022-12-09
一种信息安全评估中安全目标证据自动生成的系统及方法
4
2022-12-08
一种对源代码形式化验证方法
5
2021-08-13
一种用于计算机软件储存的HDD硬盘插槽装置
6
2021-03-03
一种方便对计算机硬件进行定位的安装设备
7
2021-03-03
一种便携式计算机外接散热平台
8
2020-10-14
一种Java自动形式化建模检测验证方法及系统
查看更多
资质列表 (9)
序号
发证日期
证书类型
截止日期
1
2022-12-24
高新技术企业认证
2025-12-24
2
2021-12-01
质量管理体系认证（ISO9001）
2024-11-30
3
2020-07-16
AAA级诚信经营示范单位
2023-07-15
4
2020-07-16
AAA级重合同守信用企业
2023-07-15
5
2020-07-16
AAA级企业信用等级证书
2023-07-15
6
2020-07-16
AAA级企业资信等级证书
2023-07-15
7
2020-07-16
AAA级质量服务诚信单位
2023-07-15
8
软件产品证书
2025-05-27
查看更多
融资次数
1
员工数量
小于50人
专利数量
13
公司简介
浙江望安科技有限公司是以“形式化验证”和“安全认证”为核心的网络与信息安全产品和服务提供商。望安科技致力于为国家重大项目、关键系统和行业企业提供安全保障，安全产品及服务面向航空、航天、国防、轨道交通、区块链、物联网、工业控制、芯片设计、操作系统、数据库等重大行业。望安科技依托形式化验证核心技术，已拥有多项形式化技术专利、软著，自研多款形式化验证工具。公司核心技术和工具已应用于载人航天工程、中航工业集团、航天科技集团、航天科工集团、中国军事科学院、中国信科、小米科技、中国移动、中科海微、元心科技等，覆盖国家重点行业及企业。
经营范围
一般项目：软件开发；软件销售；网络与信息安全软件开发；计算机软硬件及辅助设备批发；计算机软硬件及辅助设备零售；信息系统运行维护服务；信息安全设备销售；技术服务、技术开发、技术咨询、技术交流、技术转让、技术推广；软件外包服务；信息技术咨询服务；互联网安全服务；信息咨询服务（不含许可类信息咨询服务）；集成电路芯片设计及服务；计算机系统服务；认证咨询(除依法须经批准的项目外，凭营业执照依法自主开展经营活动)。
主营业务
网络与信息安全领域
浙江望安科技有限公司
有限责任公司(自然人投资或控股)
￥1,000万
2019-06-04
陈建明
18157500001
chenjm@wonsec.com
浙江省绍兴市柯桥区齐贤街道柯桥经济技术开发区西环路586号科创大厦A座507-508