Verifying translated access controls for application modernization
US12368716B1 · kind B1 · utility
Assignee
Inventors
Key dates
| Filing date | Jun 28, 2023 |
| Grant date | Jul 22, 2025 |
| Priority date | — |
| Expiry date | Nov 1, 2043 |
Classification
- Technology area (CPC H)Electricity
- CPC primaryH04L63/20
- WIPO fieldDigital communication
- WIPO sectorElectrical engineering
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.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.