买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉微软技术许可有限责任公司申请的专利针对运行已验证软件的硬件的端到端安全性获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115048652B 。

龙图腾网通过国家知识产权局官网在2026-03-27发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202210656129.2，技术领域涉及：G06F21/57；该发明授权针对运行已验证软件的硬件的端到端安全性是由C·霍布利泽尔;B·帕诺;J·R·洛奇;J·R·豪厄尔;B·D·齐尔设计研发完成，并于2015-10-01向国家知识产权局提交的专利申请。

本针对运行已验证软件的硬件的端到端安全性在说明书摘要公布了：一些实施例涉及针对运行已验证软件的硬件的端到端安全性。已验证软件系统可以在安全硬件上可执行。在被执行之前，软件系统可以被验证为符合软件规范。证明软件系统的身份的第一凭证可以被发送给外部应用。由安全硬件的提供方签名的第二凭证可以被发送给外部应用。第二凭证可以证明安全硬件的身份。外部应用可以安全地与软件系统的软件应用交换一个或多个消息。例如，一个或多个消息可以仅由外部应用和软件应用可解密，以为每个消息提供机密性。作为另一示例，证明可以保证一个或多个消息中的每个消息的发送方的身份，以证明每个消息的完整性。

本发明授权针对运行已验证软件的硬件的端到端安全性在权利要求书中公布了：1.一种或多种计算机可读存储器存储设备，其存储指令，所述指令当由一个或多个处理器执行时，对所述一个或多个处理器进行编程，以执行针对执行已验证软件的端到端安全硬件的动作，所述动作包括： 由安全硬件执行软件系统，所述软件系统在低语言级已被验证为符合低级软件规范，其中所述软件系统包括操作系统和公证应用，所述公证应用包括连接程序、公证程序和单调递增计数器，其中所述公证程序被配置为响应于公证请求来递增所述单调递增计数器并基于所述单调递增计数器生成签名，并且其中所述软件系统的特定部件不能破坏所述软件系统的其他部件，所述软件系统在被验证之后被用于生成软件系统二进制文件，并且其中所述软件系统通过以下项在所述低语言级被验证为符合所述低级软件规范： 获取针对所述软件系统的高级规范和高级语言实现，其中所述高级规范和高级语言实现使用被设计为可验证的高级语言而被实现； 使用编译器将所述高级语言实现编译为低级语言实现； 使用规范翻译器将所述高级规范翻译为所述低级软件规范；以及 使用验证器验证所述低级语言实现符合所述低级软件规范； 证明所述软件系统与所述低级软件规范之间的远程等效性，其中所述远程等效性包括公证远程等效性，并且证明所述公证远程等效性包括： 证明输入非干扰，其中所述输入非干扰指示由所述公证应用传递的随机数和消息基于公共数据； 证明所述连接程序的功能正确性，其中所述连接程序的所述功能正确性指示在配置寄存器处于所需状态时，所述公证应用使用由所述公证应用获得的来自所述安全硬件的可信硬件引用； 证明所述公证程序的功能正确性，其中所述公证程序的所述功能正确性指示所述公证程序递增计数器并计算签名；以及 证明输出非干扰，其中所述输出非干扰指示写入不受保护的存储器依赖于数据和计算的状态机输出； 从所述公证应用向在所述软件系统外部的外部应用发送公钥，其中所述公钥对应于私钥，所述私钥对所述软件系统已知； 向所述外部应用发送由所述安全硬件签名的第一凭证，其中所述第一凭证包括可信安全硬件签名，并且所述第一凭证通过确定所述软件系统二进制文件的散列代码与关联于所述安全硬件签名的散列代码相匹配来指示所述公钥与所述软件系统相关联；以及 向所述外部应用发送第二凭证，所述第二凭证包括第二证书，所述第二证书使用由所述安全硬件的提供方的第二密钥而被签名，所述第二凭证证明所述安全硬件的身份。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人微软技术许可有限责任公司，其通讯地址为：美国华盛顿州；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。