Formal Modelling and Implementation of Clark-Wilson Security Policy with FoCaLiZe
Fatima, Haloua, Messaoud, Abbas, Rachid, Djerbi, Mounir, Bouhamed Mohammed
Published in 2024 6th International Conference on Pattern Analysis and Intelligent Systems (PAIS) (24.04.2024)
Published in 2024 6th International Conference on Pattern Analysis and Intelligent Systems (PAIS) (24.04.2024)
Get full text
Conference Proceeding
A maintainable and iterative development approach of critical systems with FoCaLiZe
Haloua, Fatima, Abbas, Messaoud, Boucherit, Ammar, Alfraihi, Hessa
Published in STUDIES IN ENGINEERING AND EXACT SCIENCES (15.05.2024)
Published in STUDIES IN ENGINEERING AND EXACT SCIENCES (15.05.2024)
Get full text
Journal Article