Amazon technologies, inc. (20240330709). SHADOW SATISFIABILITY MODULO THEORIES SOLVER SYSTEMS simplified abstract

From WikiPatents
Revision as of 15:28, 4 October 2024 by Wikipatents (talk | contribs) (Creating a new page)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

SHADOW SATISFIABILITY MODULO THEORIES SOLVER SYSTEMS

Organization Name

amazon technologies, inc.

Inventor(s)

Alexandre David of Seattle WA (US)

Jeremiah M. Dunham of Arlington VA (US)

Amit Goel of Portland OR (US)

Dejan Jovanovic of Brooklyn NY (US)

Rami Gokhan Kici of Cupertino CA (US)

SHADOW SATISFIABILITY MODULO THEORIES SOLVER SYSTEMS - A simplified explanation of the abstract

This abstract first appeared for US patent application 20240330709 titled 'SHADOW SATISFIABILITY MODULO THEORIES SOLVER SYSTEMS

The abstract describes techniques for executing satisfiability modulo theories (SMT) solvers in a "shadow" system configuration, where input queries are provided to a primary SMT solver system and one or more secondary SMT solver systems. This setup can be used by cloud providers and other computing environments to analyze user account policies and ensure the security of computing resources and user data.

  • Primary SMT solver system receives input queries
  • Input queries are also sent to one or more secondary SMT solver systems
  • Secondary SMT solver systems can have different components or versions
  • Results from the primary system can be compared with results from secondary systems
  • Used to assess correctness and performance metrics of the primary system
    • Potential Applications:**

- Cloud computing security analysis - User account policy enforcement - Computing resource optimization

    • Problems Solved:**

- Ensuring the security of computing resources - Analyzing user account policies efficiently - Comparing performance metrics of different SMT solver systems

    • Benefits:**

- Enhanced security for computing environments - Improved analysis of user permissions and policies - Performance comparison for SMT solver systems

    • Commercial Applications:**

Title: Enhanced Cloud Security Analysis with SMT Solver Systems This technology can be used by cloud service providers to offer enhanced security analysis for user accounts and computing resources, ensuring data protection and policy enforcement. Market implications include increased trust from users and improved compliance with data security regulations.

    • Questions about SMT Solver Systems:**

1. How do SMT solver systems enhance security in cloud computing environments? 2. What are the key benefits of using multiple SMT solver systems in a shadow configuration?


Original Abstract Submitted

techniques are described for executing satisfiability modulo theories (smt) solvers in a “shadow” system configuration where input queries are provided to a primary smt solver system and additionally to one or more secondary smt solver systems. smt solver systems can be used by cloud providers and in other computing environments to analyze the implications of configured user account policies defining permissions with respect to users' computing resources and associated actions within a computing environment, to help ensure the security of computing resources and user data, etc. the results generated by a primary smt solver system can be provided to one or more secondary smt solver systems, where each of the secondary smt systems can comprise different system components or different versions of system components, to assess the correctness of the primary smt solver system, to compare performance metrics, among other possible types of analyses.