近日，元心信息科技集团有限公司的“元心安全微内核操作系统V2.0”通过中国信息安全测评中心的安全评估，其安全性满足EAL5+级的要求。该操作系统的形式化建模与验证以及EAL评估服务工作，由浙江大学网络空间安全学院 赵永望教授的团队负责完成。这也是迄今为止国家级评测机构颁发的最高EAL安全级别软件评测证书。
中国信息安全测评中心是中央批准成立的国家信息安全权威测评机构，是代表国家具体实施信息安全测评认证的实体机构。元心信息科技集团有限公司致力于Syber系列国产操作系统的持续研发和产业化工作。Syber操作系统自2013年开始研发，以自主可控、自主替代、自主发展为目标，是国内知名的操作系统，已在工业互联网、无人系统、政务、警务和移动终端等大量应用。
元心操作系统的安全评估主要依据信息安全评估通用准则Common Criteria（CC）。它是国际上评估信息安全产品和系统安全特性的基础准则，也是ISO国际标准和中国国家标准，是当前信息安全领域最权威、互信度最高的安全评估标准。CC对形式化方法做了强制性的使用要求，EAL 5级以上，在开发过程各阶段都不同程度地要求使用形式化方法来进行建模和验证。
形式化验证是网络空间安全学院的重点发展方向之一。围绕形式化方法与语言理论研究，网安学院已突破系统形式化验证与安全认证技术，研制平台化的工具软件，并在我国多个重大关键领域得到实际应用，显著提升我国自主操作系统、基础软件库和关键领域应用的安全可靠性。
元心操作系统是中国信息安全测评中心第一次开展软件产品的EAL5+级别评估工作，之前国家级评测机构未开展过高安全级别的软件产品评估。2019年，华为鸿蒙操作系统在欧洲的评估机构取得了EAL5+评估证书，元心操作系统因此与鸿蒙操作系统并驾齐驱，成为我国目前EAL安全级别最高的两款软件产品。
中国信息安全测评中心是中央批准成立的国家信息安全权威测评机构，是代表国家具体实施信息安全测评认证的实体机构。元心信息科技集团有限公司致力于Syber系列国产操作系统的持续研发和产业化工作。Syber操作系统自2013年开始研发，以自主可控、自主替代、自主发展为目标，是国内知名的操作系统，已在工业互联网、无人系统、政务、警务和移动终端等大量应用。
元心操作系统的安全评估主要依据信息安全评估通用准则Common Criteria（CC）。它是国际上评估信息安全产品和系统安全特性的基础准则，也是ISO国际标准和中国国家标准，是当前信息安全领域最权威、互信度最高的安全评估标准。CC对形式化方法做了强制性的使用要求，EAL 5级以上，在开发过程各阶段都不同程度地要求使用形式化方法来进行建模和验证。
形式化验证是网络空间安全学院的重点发展方向之一。围绕形式化方法与语言理论研究，网安学院已突破系统形式化验证与安全认证技术，研制平台化的工具软件，并在我国多个重大关键领域得到实际应用，显著提升我国自主操作系统、基础软件库和关键领域应用的安全可靠性。