Security remediation
US12309180B1 · kind B1 · utility
Assignee
Inventors
Key dates
| Filing date | May 11, 2022 |
| Grant date | May 20, 2025 |
| Priority date | — |
| Expiry date | Aug 12, 2043 |
Classification
- Technology area (CPC H)Electricity
- CPC primaryH04L41/145
- WIPO fieldDigital communication
- WIPO sectorElectrical engineering
Abstract
A model checking system configures a formal compliance document with remediation actions to correct security conflicts in an IAM system. The system applies a model checker on an abstract model of the IAM system to identify security conflicts and identifies remediation actions from the formal compliance document. The system applies the model checker after applying the first remediation action and determines whether the first remediation action creates another security conflict. If a remediation action is identified that does not create a new security conflict, then the system applies the identified remediation action. The formal compliance document is updated accordingly. When an operator revises code for a policy change, the system will apply the model checker on an abstract model of the IAM system with the code revision to identify security conflicts. If new security conflicts are not created in the simulation, then the system may deploy the code revision.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.