US Patent Issued to Amazon Technologies on Sept. 23 for "Authorization policy analysis" (California, Washington, Maryland, Virginia Inventors)

ALEXANDRIA, Va., Sept. 23 -- United States Patent no. 12,425,455, issued on Sept. 23, was assigned to Amazon Technologies Inc. (Seattle).

"Authorization policy analysis" was invented by Emina Torlak (Seattle), Kyle Headley (Arlington, Va.), Michael W. Hicks (Silver Spring, Md.), Neha Rungta (San Jose, Calif.) and Andrew Marshall Wells (Cupertino, Calif.).

According to the abstract* released by the U.S. Patent & Trademark Office: "A system and method for authorization policy analysis. A policy analyzer answers first-order questions about authorization policies by reducing the policies to Satisfiability modulo theories (SMT). Input to the analyzer includes a policy to be analyzed and a schema for that policy. If the policy passes strict val...