近日，望安科技成功完成某航天嵌入式操作系统的EAL5+认证评估项目，项目已半岛体育全站获得了中国网络安全审查技术与认证中心（CCRC）颁发的CC EAL5+证书。作为信息安全认证领域的又一里程碑，该项目的成功结项不仅彰显了望安科技在高等级认证领域的市场认可度，也进一步提升了航天领域关键应用的安全保障，巩固了公司在航天安全领域的技术优势。

　　在航天领域，嵌入式操作系统的安全性至关重要，关系到整个系统的可靠性与稳定性。望安科技凭借多年的技术积累，研发出符合国际安全标准的解决方案，有效满足了国内航天领域日益增长的安全需求。此次EAL5+认证通过，再次验证了我们的产品能够更好地保障航天系统的高安全等级，为国家的航天事业贡献更大的力量半岛体育全站。

　　EAL5+认证是国际公认的高等级安全认证标准，其严格的评估流程和高标准的安全要求构筑起的准入门槛，使得只有具备深厚技术实力和丰富经验的企业才能迈入。此次认证的成功，不仅是对望安科技在信息安全领域能力的高度认可，更标志着公司在推动国内航天系统安全建设方面迈出了重要一步。

　　望安科技始终致力于技术创新与应用，持续加强研发投入，以满足不断变化的市场需求。在过去的几年中，公司在CC高等级认证领域不断取得突破，成功为多个重大项目提供安全解决方案，赢得了客户的广泛赞誉。展望未来，望安科技将继续坚守“为国家重大项目、核心软件及企业提供安全认证保障”的使命，进一步加强与航天及其他领域的合作，推动技术进步和产品升级。同时，我们也将密切关注国际安全标准的发展动态，深耕形式化验证技术，塑造更加安全、可信的数字生态环境。

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

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