浙江望安科技有限公司是以"形式化验证"为核心技术的安全服务及产品提供商。公司致力于为国家重大项目、关键系统及行业企业提供安全认证保障。业务覆盖航空航天、国防、轨道交通、区块链、物联网、工业控制、芯片设计制造等重大领域。

公司可提供信息技术安全评估标准CC EAL1-EAL7级安全保障级别咨询与技术服务。公司拥有自主研发、自主知识产权的覆盖软件全生命周期的望安形式化验证平台W-AVC、符合CC认证体系的标准化实施平台系统W-CaaS等重要核心资产。核心技术已应用于C919国产大飞机、载人航天工程、中航工业集团、航天科技集团、元心科技、中国移动、小米科技等，已覆盖相对广泛的合作领域和企业。

联系我们

公司官网: www.wonsec.com

联系方式: 400-675-8118 

公司邮箱: wangan@wonsec.com