近期，国内领先的安全科技公司望安科技，凭借其自主研发的国产微内核操作系统，成功通过国家测评机构的严格评估，荣获了中国信息安全测评中心颁发的EAL 5+评估保障级别，这是我国操作系统领域史无前例的高安全认证，标志着我国在信息安全系统认证技术上迈入国际先进水平。在该项目中，望安科技承担了形式化建模与验证的重任，并全方位实施了信息安全评估服务，彰显了其在这一领域的专业实力。
EAL 5+：信息安全领域的卓越标志</
EAL 5+，作为信息技术安全评估准则（CC）的顶级标准，是全球认可度极高的信息安全认证体系。CC被30多个国家采用，如法国、德国、加拿大和美国，广泛应用于IT产品和系统，为企业提供了严谨的安全保障。在国内，EAL 5+对应GB/T18336系列标准，其高阶认证要求包括形式化验证，是区分EAL 5与EAL 5+的关键技术。
国内突破，战略意义重大</
在全球范围内，自主研发操作系统获得EAL 5+以上认证的企业寥寥无几。望安科技此次成功突破，是我国首款通过CC EAL 5+认证的本土操作系统，为国内企业IT产品安全提供了前所未有的保障。相比之下，国内厂商以往往往需要赴国际实验室进行检测，如华为鸿蒙的EAL5+认证，而这在周期、费用和沟通效率上都带来了挑战。望安科技的EAL 5+服务填补了国内这一领域的空白，为更多厂商提供了本土化的高级别安全解决方案。
望安科技的贡献与服务</
作为以形式化验证为核心的安全服务提供商，望安科技专注于国家重大项目和关键行业的安全认证。他们的技术覆盖航空、航天、国防、区块链、互联网金融等重要领域，致力于为这些行业提供全方位的安全保障。望安科技不仅实现了EAL 5+的本土化服务，还与全球检测机构合作，提供CC EAL 1至EAL 7全等级的评估，确保结果符合国际标准，为企业级安全评估与检测工作提供全面支持。