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

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

[发明专利]使用谓词的字符串自动推理的分布式分解-CN202280017743.2在审
发明人： J·B·库克;A·P·内茨里;N·郎塔;胡泾莓 -专利权人：亚马逊技术股份有限公司
申请日： 2022-03-30 - 公布日： 2023-10-24 - 主分类号： G06F9/50 文献下载
摘要：描述用于将具有字符串变量的命题逻辑中所表达的可满足性模理论(SMT)查询高效地分布在多个计算资源上的技术。作为由云提供商网络提供的计算相关服务的一部分，很多云提供商还提供身份和访问管理服务，所述身份和访问管理服务通常帮助用户控制对用户经由云提供商网络获得的服务和资源(例如，计算实例、存储资源等)的访问和权限。通过使用资源策略，例如用户可精细地控制哪些身份能够访问与用户账户相关联的特定资源和这些身份可如何使用所述资源。将具有字符串变量的命题逻辑中所表达的SMT查询的分析高效地分布在任何数目个单独的计算资源之中(例如，单独的进程、计算实例、容器等之中)的能力使得能够对此类策略进行高效分析。
使用谓词字符串自动推理分布式分解

[发明专利]用于身份系统中的角色可达性分析的组合推理技术-CN202180074385.4有效
发明人： J·B·库克;N·郎塔;A·J·加采克;D·G·皮伯斯;C·瓦明 -专利权人：亚马逊技术股份有限公司
申请日： 2021-09-08 - 公布日： 2023-09-15 - 主分类号： G06F21/60 文献下载
摘要：描述了用于使用组合推理技术相对于云提供商网络的用户账户和角色的集合执行角色可达性分析的技术。基于委派角色的资源管理通常是一种用于控制对云提供商网络和其他分布式系统中的资源的访问的方法。例如，许多云提供商网络使用这种方法实现身份和访问管理子系统，其中“角色”的概念用于指定可由人员、软件或(递归地)由其他角色访问哪些资源。提供了所述角色可达性分析的抽象，所述抽象可用作模型检查应用程序的输入，以推理此类角色可达性问题(例如，组织的哪些角色可从其他角色达到)。
用于身份系统中的角色可达性分析组合推理技术

[发明专利]利用可传递标签的角色可达性分析-CN202180083104.1在审
发明人： J·B·库克;N·朗格塔;C·瓦名;D·G·帕布莱斯;D·克罗宁;A·纳瑟帕斯托里扎 -专利权人：亚马逊科技公司
申请日： 2021-12-09 - 公布日： 2023-08-15 - 主分类号： G06F16/13 文献下载
摘要：公开用于利用可传递标签进行角色可达性分析的方法、系统和计算机可读介质。访问控制分析器确定包括多个节点和一个或多个边的图。所述节点表示托管资源的提供商网络中的角色。所述角色与准许或拒绝对单独资源的访问的访问控制策略相关联。所述访问控制策略中的一个或多个访问控制策略(至少部分地)基于一个或多个键‑值属性准许或拒绝访问。所述访问控制分析器(至少部分地)基于对所述图的角色可达性分析确定针对所述一个或多个属性的特定状态第一角色是否可使用一个或多个角色担任步骤担任第二角色。所述一个或多个属性可包括在所述一个或多个角色担任步骤期间持续存在的一个或多个可传递属性。
利用传递标签角色可达性分析

[发明专利]基于意图的治理服务-CN202080026450.1在审
发明人： P·V·玻利纳诺;T·布雷;J·B·库克;A·J·加采克;K·S·卢科;A·奈迪克;N·郎塔;C·施莱辛格 -专利权人：亚马逊技术股份有限公司
申请日： 2020-03-27 - 公布日： 2021-11-26 - 主分类号： H04L29/06 文献下载
摘要：描述了基于意图的治理技术。例如，在一些情况下，一种方法提供了这种治理，所述方法：接收对涉及代码、策略、网络配置或治理要求规则中的一者或多者的更改的指示，所述更改影响提供商网络中的、针对账户的、将使用一个或多个治理要求规则进行分析的资源；确定一个或多个治理要求规则以在更新之后评估合规性；根据一个或多个策略、使用一个或多个推理引擎来所确定的一个或多个治理要求规则评估合规性；以及使所述评估的结果对用户可用。
基于意图治理服务

[发明专利]自动化无分组网络可达性分析-CN201980043063.6在审
发明人： C·道奇;N·R·切鲁库;J·B·库克;T·卡萨伊·阿泽尼;W·J·库西克;S·麦克劳林;M·E·斯塔泽尔;B·瓦莱伊;吴轶文 -专利权人：亚马逊科技公司
申请日： 2019-06-26 - 公布日： 2021-02-05 - 主分类号： G06F21/57 文献下载
摘要：公开了用于自动无分组网络可达性分析的方法、系统和计算机可读介质。对包括主机计算机的网络的网络配置数据进行分析。至少部分地基于所述分析，确定主机计算机上可从另一计算机可达的一个或多个端口。至少部分地基于所述分析，确定到所述一个或多个端口的一条或多条路由。生成描述一个或多个端口以及一个或多个路由的报告。
自动化分组网络可达性分析