微内核操作系统EAL5+认证评估项目
×
项目背景
客户介绍
解决方案
项目成果
元心信息科技集团有限公司（简称：元心科技）致力于元心智能移动操作系统SyberOS的持续研发和产业化工作。元心智能移动操作系统SyberOS（元心系统）自2013年开始研发，以自主可控、自主替代、自主发展为目标，立志成为中国最可信赖的自主创新智能终端操作系统。
SyberOS为元心科技自主研发的安全移动操作系统，作为一款安全移动操作系统，对于可靠性安全性有着更高的要求。为充分保障可靠性与安全性，出于业务需要，元心科技需要对其中SyberV2微内核操作系统进行EAL5+等级的认证评估。EAL5评估需要满足功能规约和高层设计的部分形式化要求，对于EAL5+（EAL5增强级）认证而言则需要满足更高等级的部分要求。
该项目是首个在国内进行CC EAL5+认证的操作系统软件，望安科技对该认证进行了详细的评估准备与方案制定，服务标准符合EAL7级的形式化建模和验证、包含安全策略的功能规约、高层、底层设计的形式规约与验证。测评过程历经文档审核、独立性测试、穿透性测试、现场核查、回归测试和综合评估等阶段，最终确认SyberX已经实现预期的安全功能，安全性能满足EAL5+级要求。
|
|
地址：浙江省杭州市余杭区创鑫时代广场2号楼（浙江人才大厦）1001室
邮箱：wangan@wonsec.com
电话：400-675-8118
扫描二维码
关注微信公众号
扫描二维码
关注微信视频号