首页>
外国专利>
End-to-end security for hardware running verified software
End-to-end security for hardware running verified software
展开▼
机译:运行经过验证的软件的硬件的端到端安全性
展开▼
页面导航
摘要
著录项
相似文献
摘要
A verified software system may be executable on secure hardware. Prior to being executed, the software system may be verified as conforming to a software specification. First credentials attesting to an identity of the software system may be sent to an external application. Second credentials signed by a provider of the secure hardware may be sent to the external application. The second credentials may attest to an identity of the secure hardware. The external application may securely exchange one or more messages with a software application of the software system. For example, the one or more messages may be decryptable only by the external application and the software application to provide confidentiality for each message. As another example, an attestation may vouch for an identity of a sender of each of the one or more messages to attest to an integrity of each message.
展开▼