METHOD FOR DISCOVERY OF OPERATING SYSTEM ACCESS CONTROL VULNERABILITY BASED ON MODEL CHECKING
Disclosed is a method for discovery of an operating system access control vulnerability based on model checking; in the method, the security attributes of operating system access control are analyzed to provide a system security protocol; an access control model is built; a theorem is used to prove...
Gespeichert in:
| Hauptverfasser: | , , , |
|---|---|
| Format: | Patent |
| Sprache: | chi ; eng ; fre |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | Disclosed is a method for discovery of an operating system access control vulnerability based on model checking; in the method, the security attributes of operating system access control are analyzed to provide a system security protocol; an access control model is built; a theorem is used to prove the security analysis of access control; a model checking tool is used to check the consistency of abstract machine specifications and check the correctness and completeness of components, achieving vulnerability discovery of operating system access control. The method provides theoretical and technical support for research on operating system security protection.
Est divulgué un procédé de découverte d'une vulnérabilité de contrôle d'accès de système d'exploitation, basé sur la vérification de modèle. Dans le procédé, les attributs de sécurité du contrôle d'accès de système d'exploitation sont analysés pour fournir un protocole de sécurité du système ; un modèle de contrôle d'accès est construit ; un théorème est |
|---|