Formal Modelling and Implementation of Clark-Wilson Security Policy with FoCaLiZe
Fatima Haloua, Messaoud Abbas, Rachid Djerbi, Mohammed Mounir Bouhamed
Pages 1-52024Other Closed accessSeveral sources 1
3
Research output
2
Citations
1
h-index
Rate this researcherNo rating yet
The average shows from 3 ratings.
Collaborations and top research areas
Click dots and donuts to bring up details or select a country/territory from the list
Fingerprint
View allWeighted concepts mined from titles, abstracts and topics of the research output, grouped by field.
- 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