嵌入式安全有何独特之处?
嵌入式安全领域的领导者 ProvenRun 宣布,其旗舰产品 ProvenCore for ARM™ Cortex-A 最近获得了 通用标准 (CC) EAL7 认证。这是全球首创,因为没有其他操作系统或可信执行环境 (TEE) 达到该安全级别。相比之下,移动安全市场上第二安全的 TEE(对于极少数获得认证的产品)仅达到 EAL2+ 级别。
ProvenCore 是一款经过正式验证的安全操作系统,适用于 ARM Cortex-A、ARM Cortex-M 和 RISC-V 处理器。它也是下一代超安全 TEE。