嵌入式安全:Provencore Secure os

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

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

ProvenCore 是一款经过正式验证的安全操作系统，适用于 ARM Cortex-A、ARM Cortex-M 和 RISC-V 处理器。它也是下一代超安全 TEE。