“J·R·洛奇”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网_中国专利网

首页在售求购查询申请展会资讯专利榜企服商城升级VIP

立即登录免费注册

在售专利
求购专利
查询专利
新闻资讯
技术展会
招商加盟
专利榜

本网专利代理业务由天津创信方达专利代理事务所(普通合伙)承接机构代码：12247 本网专利代理业务由天津创信方达专利代理事务所(普通合伙)承接机构代码：12247 本网专利代理业务由天津创信方达专利代理事务所(普通合伙)承接机构代码：12247

本网专利代理业务由天津创信方达专利代理事务所(普通合伙)承接机构代码：12247 本网专利代理业务由天津创信方达专利代理事务所(普通合伙)承接机构代码：12247 本网专利代理业务由天津创信方达专利代理事务所(普通合伙)承接机构代码：12247

专利名称

专利名称
专利号码
专利分类
申请人
公布日期

农业化学；冶金建筑机械工程区域搜索

主分类

B 作业；运输

C 化学；冶金

D 纺织；造纸

E 固定建筑物

F 机械工程、照明、加热

专利下载VIP

公布日期

2023-10-24 公布专利

2023-10-20 公布专利

2023-10-17 公布专利

2023-10-13 公布专利

2023-10-10 公布专利

2023-10-03 公布专利

2023-09-29 公布专利

2023-09-26 公布专利

2023-09-22 公布专利

2023-09-19 公布专利

专利权人

国家电网公司

华为技术有限公司

中兴通讯股份有限公司

三星电子株式会社

中国石油化工股份有限公司

鸿海精密工业股份有限公司

松下电器产业株式会社

上海交通大学

钻瓜专利网为您找到相关结果4个，建议您升级VIP下载更多相关专利

[发明专利]针对运行已验证软件的硬件的端到端安全性-CN202210656129.2在审
发明人： C·霍布利泽尔;B·帕诺;J·R·洛奇;J·R·豪厄尔;B·D·齐尔 -专利权人：微软技术许可有限责任公司
申请日： 2015-10-01 - 公布日： 2022-09-13 - 主分类号： G06F21/57 文献下载
摘要：一些实施例涉及针对运行已验证软件的硬件的端到端安全性。已验证软件系统可以在安全硬件上可执行。在被执行之前，软件系统可以被验证为符合软件规范。证明软件系统的身份的第一凭证可以被发送给外部应用。由安全硬件的提供方签名的第二凭证可以被发送给外部应用。第二凭证可以证明安全硬件的身份。外部应用可以安全地与软件系统的软件应用交换一个或多个消息。例如，一个或多个消息可以仅由外部应用和软件应用可解密，以为每个消息提供机密性。作为另一示例，证明可以保证一个或多个消息中的每个消息的发送方的身份，以证明每个消息的完整性。
针对运行验证软件硬件端到端安全性

[发明专利]用于容错数据存储的元副本集-CN201980034983.1在审
发明人： J·R·洛奇;黄诚;黄鹏;A·W·奥古斯 -专利权人：微软技术许可有限责任公司
申请日： 2019-05-13 - 公布日： 2021-01-01 - 主分类号： G06F11/20 文献下载
摘要：一种系统，包括确定多个存储设备的多个元副本集，元副本集中的每个元副本集包括第一数量的存储设备；从元副本集中的第一元副本集确定第二数量的存储设备的第一副本，第二数量小于第一数量；使用第一副本集来以容错格式存储第一数据；确定从第一副本集的第一存储设备迁移第一数据；以及响应于确定迁移第一数据，确定第二数量的存储设备的第二副本集，第二副本集包括来自第一元副本集的、不在第一副本集中的存储设备，以及第一副本集的、除了第一副本集的第一存储设备之外的存储设备，并且使用第二副本集以容错格式存储第一数据。
用于容错数据存储副本

[发明专利]软件系统的自动验证-CN201580053927.4有效
发明人： C·霍布利泽尔;B·帕诺;J·R·洛奇;J·R·豪厄尔;B·D·齐尔 -专利权人：微软技术许可有限责任公司
申请日： 2015-10-01 - 公布日： 2020-02-07 - 主分类号： G06F21/52 文献下载
摘要：软件系统(例如，软件栈)的软件代码可以被验证为符合规范。可以使用编译器来编译软件系统的高级语言实现以创建汇编语言实现。对应于软件系统的高级规范可以被转换为低级规范。验证器可以验证汇编语言实现功能上符合在低级规范中所描述的属性。以这种方式，软件系统(例如，包括操作系统、(一个或多个)设备驱动程序、软件库以及一个或多个应用的完整软件系统)可以在低级(例如，汇编语言级)上被验证。
软件系统自动验证

[发明专利]针对运行已验证软件的硬件的端到端安全性-CN201580053917.0在审
发明人： C·霍布利泽尔;B·帕诺;J·R·洛奇;J·R·豪厄尔;B·D·齐尔 -专利权人：微软技术许可有限责任公司
申请日： 2015-10-01 - 公布日： 2017-05-31 - 主分类号： G06F21/57 文献下载
摘要：已验证软件系统可以在安全硬件上可执行。在被执行之前，软件系统可以被验证为符合软件规范。证明软件系统的身份的第一凭证可以被发送给外部应用。由安全硬件的提供方签名的第二凭证可以被发送给外部应用。第二凭证可以证明安全硬件的身份。外部应用可以安全地与软件系统的软件应用交换一个或多个消息。例如，一个或多个消息可以仅由外部应用和软件应用可解密，以为每个消息提供机密性。作为另一示例，证明可以保证一个或多个消息中的每个消息的发送方的身份，以证明每个消息的完整性。
针对运行验证软件硬件端到端安全性

1
共 4 条

友情链接：交换友情链接需要网站权重大于4，网站收录10W以上，如符合条件，请联系QQ：76009968。

关于我们寻求报道投稿须知广告合作版权声明网站地图友情链接企业标识联系我们

在线咨询

400-8765-105周一至周五 9:00-18:00

版权所有钻瓜科技（天津）有限公司津ICP备15000985号津公网安备 12019202000206号http://www.vipzhuanli.com/公布日期

咨询在线客服

咨询在线客服

tel code back_top