Formal Modelling and Implementation of Clark-Wilson Security Policy with FoCaLiZe
Fatima Haloua, Messaoud Abbas, Rachid Djerbi, Mohammed Mounir Bouhamed
Pages 1-52024Autre Accès ferméPlusieurs sources 1
Fatima Haloua
3
Productions
2
Citations
1
Indice h
Noter ce chercheurPas encore noté
La moyenne apparaît à partir de 3 avis.
Collaborations and top research areas
Cliquez sur les points pour afficher les détails ou sélectionnez un pays dans la liste
Empreinte
Tout voirConcepts pondérés extraits des titres, résumés et thématiques des productions, groupés par domaine.
- Model-Driven Software Engineering Techniques
- Logic, programming, and type systems
- Formal Methods in Verification
- Safety Systems Engineering in Autonomy
- automated theorem proving
- critical systems
- UML
- Object Constraint Language
- Access Control and Trust
- Security and Verification in Computing