|
Depot Institutionnel de l'UMBB >
Publications Scientifiques >
Communications Internationales >
Veuillez utiliser cette adresse pour citer ce document :
http://dlibrary.univ-boumerdes.dz:8080/handle/123456789/14132
|
| Titre: | Formal Modelling and Implementation of Clark-Wilson Security Policy with FoCaLiZe |
| Auteur(s): | Haloua, Fatima
Messaoud, Abbas
Djerbi, Rachid
Bouhamed, Mohammed Mounir |
| Mots-clés: | Security policy
Clark-Wilson policy
Formal Methods
Zenon
FoCaLiZe
Modelling |
| Date de publication: | 2024 |
| Editeur: | Institute of Electrical and Electronics Engineers |
| Collection/Numéro: | 2024 6th International Conference on Pattern Analysis and Intelligent Systems (PAIS), EL OUED, Algeria, 2024;pp. 1-5 |
| Résumé: | The security of every system hinges on a robust policy that orchestrates controls to safeguard the confidentiality, integrity, and accessibility of information. Implementing such a policy requires meticulous formulation grounded in mathematical and logical precision. In this context, we present a formal modeling and implementation of the Clark-Wilson security method using the FoCaLiZe environment, a workshop equipped with certification capabilities, where programming is intertwined with formal proof. The proposed approach enables the specification of the Clark-Wilson policy constraints and security principles as properties and theorems within FoCaLiZe. Thanks to Zenon, the automatic theorem prover of FoCaLiZe, derived properties and theorems that ensure system safety can be checked and proven. |
| URI/URL: | 10.1109/PAIS62114.2024.10541223
https://ieeexplore.ieee.org/document/10541223
http://dlibrary.univ-boumerdes.dz:8080/handle/123456789/14132 |
| Collection(s) : | Communications Internationales
|
Fichier(s) constituant ce document :
Il n'y a pas de fichiers associés à ce document.
|
Tous les documents dans DSpace sont protégés par copyright, avec tous droits réservés.
|
