Login / Signup
Formal Modelling and Implementation of Clark-Wilson Security Policy with FoCaLiZe.
Fatima Haloua
Messaoud Abbas
Rachid Djerbi
Mohammed Mounir Bouhamed
Published in:
PAIS (2024)
Keyphrases
</>
security policies
access control
network security
security management
model based testing
security requirements
information systems
network management