About .
关于我们
望安科技成立于2019年6月，是一家集安全工具研发、安全服务于一体的信息安全类科技创新公司。作为国内领先的ICT产品原生安全赋能服务商，公司基于“原生安全”理念与“形式化验证”等关键技术，自研“穹道”原生安全生态平台，帮助企业实现在“安全目标、设计、开发、合规”等各研发阶段的全生命周期安全并达到市场与行业准入要求。
企业使命
构建更安全高效的数字世界
Values .
价值观
Worthy 价值
为客户创造价值
Original 独创
请输入要描述的内容进行内容补充
Nimble 敏捷
敏捷开发，敏捷管理，敏捷决策
Sincere 真诚
以真诚的态度对待每一位客户与伙伴
Efficient 高效
以结果为导向，提升全链路效率
Collaborative 协作
秉持开放的生态理念，打破孤岛思维
Evolution .
发展历程
2025年
3月 与CCLab签署战略合作协议，开启国内EUCC合规业务
5月 与北京航空航天大学建立联合实验室，共建形式化验证生态
2024
5月 获深创投千万级天使轮融资
签约多个国际CC项目，开启国际市场
获批2024年长三角科技创新共同体联合攻关（基础研究）项目
2023
获国家高新技术企业认定
望安形式化验证技术亮相小米新品发布会，成为小米HyperOS的技术底座
2022
与多家企业签约，进入消费电子、智能家居领域
安全合规服务规模化推广
2021
为空间站压力控制系统提供形式化项目实施
承担浙江省”尖兵“计划项目
与jtsec、国家金融测评中心签署战略合作协议
2020
实施我国首个EAL5+级原生安全合规项目
实施1000km级高速飞车形式化验证项目
2019
6月 望安科技成立
同年，发布首款自主研发工具
团队阶段
技术团队始于北航软件开发环境国家重点实验室，创始人开启形式化验证技术研究。
获得中国电子学会电子信息科技一等奖（省部级奖励）
受德国操作系统厂商SYSGO公司邀请，加入CC安全认证标准的操作系统技术委员会，开启安全认证标准研制工作
承担国家自然科学基金项目，提出操作系统形式化验证理论框架
Investor .
投资机构
2024.07 千万级天使轮投资
Awards .
荣誉资质
望安参与撰写的行业标准
与CCRC共同推进国内EAL6+评估生态
CC操作系统内核技术委员会(SK TC)成员
智能网联汽车基础软件标准工作组成员
ARINC 653 操作系统标准委员会成员
Contact us .
联系我们
绍兴总部
杭州研发中心
南京研发中心
联系我们
400-675-8118
联系邮箱
wangan@wonsec.com
联系地址
浙江省杭州市余杭区创鑫时代广场2号楼（浙江人才大厦）1001室
浙江省绍兴市柯桥区科创大厦B座14层
![一对一专属客服 扫码获取认证资料](javascript:Site.hoverQrCode("//32759191.s21i.faiusr.com/4/ABUIABAEGAAg5q3SygYopvTmgQIw4AU43AU.png",this,{"tips":"请使用微信扫一扫"});){kind=link}