嵌入式安全:Provencore Secure os

嵌入式安全有何独特之处？

嵌入式安全领域的领导者 ProvenRun 宣布，其旗舰产品 ProvenCore for ARM™ Cortex-A 最近获得了 通用标准 (CC) EAL7 认证。这是全球首创，因为没有其他操作系统或可信执行环境 (TEE) 达到该安全级别。相比之下，移动安全市场上第二安全的 TEE（对于极少数获得认证的产品）仅达到 EAL2+ 级别。 

ProvenCore 是一款经过正式验证的安全操作系统，适用于 ARM Cortex-A、ARM Cortex-M 和 RISC-V 处理器。它也是下一代超安全 TEE。ProvenCore 获得 CC EAL7 认证，彰显了 ProvenRun 团队在提供高度安全的软件组件（如操作系统和虚拟机管理程序）方面的独特安全专业知识。EAL7 是通用标准认证计划定义的最高级别，与 EAL2+ 相比，安全保障有了极大提升。如果设备大规模入侵会导致高额损失，而要抵御远程网络攻击&#x