从过程容器的上下文使用安全存储器包围区

摘要

存储器在基于容器的存储器包围区中被分区和隔离。基于容器的存储器包围区具有可证明的安全保证。在从容器图像供应基于容器的存储器包围区期间，容器中到包围区的存储器地址的声称的链接被修改以可验证地链接到主机的实际存储器地址，诸如分区的存储器包围区。在一些实例中，基于来自类似容器的一个或多个早先容器证明报告的早先证明并且无需容器和针对每个新证明请求的远程证明服务之间的端到端证明，包围区证明报告可以被验证而无需向远程证明服务发送对应的证明请求。