[发明专利]使用谓词的字符串自动推理的分布式分解在审
| 申请号： | 202280017743.2 | 申请日： | 2022-03-30 |
| 公开（公告）号： | CN116940931A | 公开（公告）日： | 2023-10-24 |
| 发明（设计）人： | J·B·库克;A·P·内茨里;N·郎塔;胡泾莓 | 申请（专利权）人： | 亚马逊技术股份有限公司 |
| 主分类号： | G06F9/50 | 分类号： | G06F9/50 |
| 代理公司： | 上海专利商标事务所有限公司 31100 | 代理人： | 李炜;周全 |
| 地址： | 美国华*** | 国省代码： | 暂无信息 |
| 权利要求书： | 暂无信息 | 说明书： | 暂无信息 |
| 摘要： | 描述用于将具有字符串变量的命题逻辑中所表达的可满足性模理论(SMT)查询高效地分布在多个计算资源上的技术。作为由云提供商网络提供的计算相关服务的一部分，很多云提供商还提供身份和访问管理服务，所述身份和访问管理服务通常帮助用户控制对用户经由云提供商网络获得的服务和资源(例如，计算实例、存储资源等)的访问和权限。通过使用资源策略，例如用户可精细地控制哪些身份能够访问与用户账户相关联的特定资源和这些身份可如何使用所述资源。将具有字符串变量的命题逻辑中所表达的SMT查询的分析高效地分布在任何数目个单独的计算资源之中(例如，单独的进程、计算实例、容器等之中)的能力使得能够对此类策略进行高效分析。 | ||
| 搜索关键词： | 使用 谓词 字符串 自动 推理 分布式 分解 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于亚马逊技术股份有限公司，未经亚马逊技术股份有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202280017743.2/，转载请声明来源钻瓜专利网。
