Method for discovering vulnerabilities of operating system access control mechanism based on model checking
US11868481B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Jul 27, 2021 |
| Grant date | Jan 9, 2024 |
| Priority date | — |
| Expiry date | Dec 31, 2041 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F21/604
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
This invention discloses a method for discovering vulnerabilities of operating system access control based on model checking. In this method, security attribute and security specifications of operating system access control module are analyzed to construct the access control model. To discover vulnerabilities in the model, security analysis is performed for access control functionality with theorem proving techniques, and consistency of abstract machine specification and correctness and completeness of the components are verified with model checking tools. This method provides theoretical and technical support for studies in the field of operating system security.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.