望安科技受邀在华为【磐石大师汇】做主题报告《CC信息安全高等级认证及形式化方法》
来源:
|
作者:望安科技
|
发布时间: 120天前
|
308 次浏览
|
分享到:
2024年5月16日，望安科技作为系统形式化验证与安全认证的推动者，受邀为华为的【磐石大师汇】做专题报告，进一步推进华为产品的高等级安全认证。望安科技创始人、浙江大学教授——赵永望作为本期大师汇的嘉宾，做了题为《CC信息安全高等级认证及形式化方法》的主题演讲，深度剖析了CC高等级认证和形式化验证的核心价值。
随着信息技术的发展和普及，信息安全问题日益引起人们的高度重视，对信息技术安全性进行测试、评估，成为保证信息技术产品或系统安全性的重要手段。华为作为全球领先的ICT基础设施与智能终端提供商，一直非常重视产品的安全性和可靠性。华为将CC、FIPS等国际广泛认可的网络安全认证标准和要求融入其产品研发过程。根据华为官方统计，截止2019年4月，华为累计通过产品安全认证242项，包含43张CC认证，6张CC EAL4+ 认证，20张FIPS认证等。截止2023年年底，华为在安全认证方面的证书又实现了大幅度增长，实现了数量上的飞跃。
此前，华为备受关注的鸿蒙操作系统，也曾获得多项CC认证证书。2019年9月，华为TEE OS微内核获得CC EAL5+ 认证，是商用OS内核获得的最高安全等级；2023年7月，华为鸿蒙内核进一步突破，获得CC EAL6+ 证书，是业界通用操作系统内核领域首个CC EAL6+ 等级认证，意味着鸿蒙内核达到了全球智能终端操作系统内核领域的最高安全等级水平。而在CC EAL5/6/7 级认证中，形式化方法是最核心的技术，CC EAL5 级以上对形式化方法做了强制性的使用要求。望安科技凭借其在形式化方面的核心技术优势，有能力为包括华为在内的更多企业，提供超越EAL5+、迈向更高等级EAL6+的安全认证服务。
目前，望安科技CC认证服务已覆盖多个行业领先企业，包括小米手机CC EAL5+、中科海微虚拟机监控器CC EAL5+、元心微内核操作系统EAL5+、中国移动智能摄像头CC EAL3+等，充分体现了望安科技强大的CC认证实施能力。
此次会议不仅加深了行业对CC高等级认证与形式化方法的认识，也为华为与望安科技之间潜在的合作开辟了新的视野。未来，望安科技将继续推动“形式化验证”技术的应用，推动国产化替代进程，为我国关键行业的高等级安全提供坚实的保障。
浙江望安科技有限公司是以“形式化验证”和“安全认证”为核心的安全服务及产品提供商。公司致力于为国家重大项目、关键系统及行业企业提供安全保障。业务覆盖航空航天、国防、轨道交通、区块链、物联网、工业控制、芯片设计、操作系统、数据库等重大行业。
