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
4
Citations
1
Indice h
Noter ce chercheurPas encore noté
La moyenne apparaît à partir de 3 avis.