望安科技作为一家以“形式化验证”为核心技术的安全服务及产品提供商，已在形式化验证领域深耕多年，公司拥有的形式化验证核心技术，在领域内已达到了国际先进水平。望安科技全面支持国家重大项目、关键系统及行业企业信息安全、认证保障，安全产品及服务面向航空航天、国防、轨道交通、区块链、互联网金融、物联网、芯片设计制造等重大领域。

在芯片设计过程中，安全性是一个至关重要的考虑因素。芯片的安全性问题可能导致信息泄露、入侵攻击以及系统崩溃等严重后果。望安科技通过形式化验证技术，可以对芯片设计进行全面的安全性验证，发现潜在的安全漏洞和攻击路径，确保芯片在各种威胁下的安全性和正确性，为芯片制造商和应用开发者提供可靠的安全保障。

END

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

公司提供信息技术安全评估标准CC EAL1-EAL7级安全保障级别、IEC 61508、ISO 26262、GM/T国密以及FIPS等高等级安全认证咨询与技术服务，已与国内外多个认证/检测机构建立联合实验室、签署合作协议等。公司拥有自主知识产权的软件源码形式化测试与验证工具W-AVC、基础软硬件形式化建模与验证工具W-Cert、CC安全认证全周期实施平台W-CaaS等工具平台。公司核心技术和工具已应用于载人航天工程、中航工业集团、航天科技集团、航天科工集团、中国信科、小米科技、中国移动、中科海微、元心科技等，覆盖国家重点行业及企业。

联系我们

公司官网: www.wonsec.com

联系方式: 400-675-8118 

公司邮箱: wangan@wonsec.com