Login / Signup

Formal Modelling and Implementation of Clark-Wilson Security Policy with FoCaLiZe.

Fatima HalouaMessaoud AbbasRachid DjerbiMohammed Mounir Bouhamed
Published in: PAIS (2024)
Keyphrases
  • security policies
  • access control
  • network security
  • security management
  • model based testing
  • security requirements
  • information systems
  • network management