龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：亚马逊技术股份有限公司
摘要：描述用于将具有字符串变量的命题逻辑中所表达的可满足性模理论SMT查询高效地分布在多个计算资源上的技术。作为由云提供商网络提供的计算相关服务的一部分，很多云提供商还提供身份和访问管理服务，所述身份和访问管理服务通常帮助用户控制对用户经由云提供商网络获得的服务和资源例如，计算实例、存储资源等的访问和权限。通过使用资源策略，例如用户可精细地控制哪些身份能够访问与用户账户相关联的特定资源和这些身份可如何使用所述资源。将具有字符串变量的命题逻辑中所表达的SMT查询的分析高效地分布在任何数目个单独的计算资源之中例如，单独的进程、计算实例、容器等之中的能力使得能够对此类策略进行高效分析。
主权项：1.一种计算机实施方法，所述计算机实施方法包括：由云提供商网络的策略分析服务接收确定公式是否是可满足的请求，其中所述公式与适用于与所述云提供商网络的用户相关联的一个或多个计算资源的一个或多个策略的分析相关；基于所述公式中所包括的字符串变量来识别所述公式中的一组谓词，其中所述一组谓词中的每个谓词是所述公式中所含有的至少一个字符串变量的二进制值函数；将与所述公式相关联的搜索空间拆分到多个子公式中，其中在假设所述一组谓词中的相应谓词为真或假的情况下所述多个子公式中的每个子公式包括所述公式；将所述多个子公式中的相应子公式发送到在多个计算资源中的每一者上运行的可满足性模理论SMT解算器；从在所述多个计算资源中的计算资源上运行的所述SMT解算器接收由在所述计算资源上运行的所述SMT解算器分析的所述相应子公式是可满足的指示；使得显示指示所述公式是可满足的信息，其中所述公式的可满足性确定限定适用于与所述云提供商网络的所述用户相关联的所述一个或多个计算资源的权限的所述一个或多个策略的性质；以及根据限定适用于与所述云提供商网络的所述用户相关联的所述一个或多个计算资源的权限的所述一个或多个策略来控制对所述一个或多个计算资源的访问。
全文数据：
权利要求：
百度查询： 亚马逊技术股份有限公司 使用谓词的字符串自动推理的分布式分解
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号