A formal approach for testing security rules.

Wissam Mallouli, Jean-Marie Orset, Ana R. Cavalli, Nora Cuppens-Boulahia, Frdric Cuppens

Browse the full SACMAT paper archive.