-
Patent Agency Ranking
公开(公告)号：CN112166417A
公开(公告)日：2021-01-01
申请号：CN201980034983.1
申请日：2019-05-13
Applicant: 微软技术许可有限责任公司
Abstract: 一种系统，包括确定多个存储设备的多个元副本集，元副本集中的每个元副本集包括第一数量的存储设备；从元副本集中的第一元副本集确定第二数量的存储设备的第一副本，第二数量小于第一数量；使用第一副本集来以容错格式存储第一数据；确定从第一副本集的第一存储设备迁移第一数据；以及响应于确定迁移第一数据，确定第二数量的存储设备的第二副本集，第二副本集包括来自第一元副本集的、不在第一副本集中的存储设备，以及第一副本集的、除了第一副本集的第一存储设备之外的存储设备，并且使用第二副本集以容错格式存储第一数据。
-
公开(公告)号：CN115048652A
公开(公告)日：2022-09-13
申请号：CN202210656129.2
申请日：2015-10-01
Applicant: 微软技术许可有限责任公司
IPC: G06F21/57
Abstract: 一些实施例涉及针对运行已验证软件的硬件的端到端安全性。已验证软件系统可以在安全硬件上可执行。在被执行之前，软件系统可以被验证为符合软件规范。证明软件系统的身份的第一凭证可以被发送给外部应用。由安全硬件的提供方签名的第二凭证可以被发送给外部应用。第二凭证可以证明安全硬件的身份。外部应用可以安全地与软件系统的软件应用交换一个或多个消息。例如，一个或多个消息可以仅由外部应用和软件应用可解密，以为每个消息提供机密性。作为另一示例，证明可以保证一个或多个消息中的每个消息的发送方的身份，以证明每个消息的完整性。
-
公开(公告)号：CN107111713B
公开(公告)日：2020-02-07
申请号：CN201580053927.4
申请日：2015-10-01
Applicant: 微软技术许可有限责任公司
IPC: G06F21/52
Abstract: 软件系统(例如，软件栈)的软件代码可以被验证为符合规范。可以使用编译器来编译软件系统的高级语言实现以创建汇编语言实现。对应于软件系统的高级规范可以被转换为低级规范。验证器可以验证汇编语言实现功能上符合在低级规范中所描述的属性。以这种方式，软件系统(例如，包括操作系统、(一个或多个)设备驱动程序、软件库以及一个或多个应用的完整软件系统)可以在低级(例如，汇编语言级)上被验证。
-
公开(公告)号：CN107111713A
公开(公告)日：2017-08-29
申请号：CN201580053927.4
申请日：2015-10-01
Applicant: 微软技术许可有限责任公司
IPC: G06F21/52
Abstract: 软件系统(例如，软件栈)的软件代码可以被验证为符合规范。可以使用编译器来编译软件系统的高级语言实现以创建汇编语言实现。对应于软件系统的高级规范可以被转换为低级规范。验证器可以验证汇编语言实现功能上符合在低级规范中所描述的属性。以这种方式，软件系统(例如，包括操作系统、(一个或多个)设备驱动程序、软件库以及一个或多个应用的完整软件系统)可以在低级(例如，汇编语言级)上被验证。
-
公开(公告)号：CN106796641A
公开(公告)日：2017-05-31
申请号：CN201580053917.0
申请日：2015-10-01
Applicant: 微软技术许可有限责任公司
IPC: G06F21/57
CPC classification number: H04L9/3247 , G06F21/57 , G06F21/575 , G06F2221/034 , H04L9/0825 , H04L9/30 , H04L9/3268 , H04L63/0823
Abstract: 已验证软件系统可以在安全硬件上可执行。在被执行之前，软件系统可以被验证为符合软件规范。证明软件系统的身份的第一凭证可以被发送给外部应用。由安全硬件的提供方签名的第二凭证可以被发送给外部应用。第二凭证可以证明安全硬件的身份。外部应用可以安全地与软件系统的软件应用交换一个或多个消息。例如，一个或多个消息可以仅由外部应用和软件应用可解密，以为每个消息提供机密性。作为另一示例，证明可以保证一个或多个消息中的每个消息的发送方的身份，以证明每个消息的完整性。
-
-
-
-
Search Results
5
records
(took 0.027 seconds)
