The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Jul. 22, 2025
Filed:
Jun. 28, 2023
Amazon Technologies, Inc., Seattle, WA (US);
Amit Goel, Portland, OR (US);
Chungha Sung, Cupertino, CA (US);
Mary Southern, Minneapolis, MN (US);
Didier Germain Durand, Jougne, FR;
Neha Rungta, San Jose, CA (US);
Brad E Marshall, Bainbridge Island, WA (US);
Zhe Li, Montvale, NJ (US);
Amazon Technologies, Inc., Seattle, WA (US);
Abstract
Computer-implemented techniques for verifying translated access controls for application modernization include an application modernization service of a provider network obtaining a source access control. The service translates the source access control to a target access control. The service compiles the source access control and the target access control into respective automated reasoning solver encodings. The service uses the automated reasoning solver encoding to query an automated reasoning solver such as a Satisfiability Modulo Theories (SMT) solver to determine whether the source access control is less or more permissive than the target access control representing a security issue or an availability issue with the target access control, respectively.
Data source: USPTO (United States Patent and Trademark Office) public patent records. Weekly synchronization. How IDiyas builds this profile