[发明专利]针对运行已验证软件的硬件的端到端安全性

摘要

已验证软件系统可以在安全硬件上可执行。在被执行之前，软件系统可以被验证为符合软件规范。证明软件系统的身份的第一凭证可以被发送给外部应用。由安全硬件的提供方签名的第二凭证可以被发送给外部应用。第二凭证可以证明安全硬件的身份。外部应用可以安全地与软件系统的软件应用交换一个或多个消息。例如，一个或多个消息可以仅由外部应用和软件应用可解密，以为每个消息提供机密性。作为另一示例，证明可以保证一个或多个消息中的每个消息的发送方的身份，以证明每个消息的完整性。

主权项

一种服务器，包括：安全硬件，其包括一个或多个处理器和一个或多个计算机可读存储介质，所述一个或多个计算机可读存储介质存储指令，所述指令由所述一个或多个处理器可执行以执行动作，所述动作包括：执行软件系统的已验证引导，所述软件系统被验证为符合软件规范，所述软件系统包括软件应用；从所述软件应用向在所述软件系统外部的外部应用发送公钥，所述公钥基于对所述软件应用已知但是对所有其他软件系统未知的私钥而被生成；向所述外部应用发送由所述安全硬件签名的第一证书，其中所述第一证书标识所述公钥由所述软件系统的二进制文件提供；以及向所述外部应用发送由所述安全硬件的提供方签名的第二证书，所述第二证书证明所述安全硬件的身份。