A model-based approach to automated testing of access control policies.

Dianxiang Xu, Lijo Thomas, Michael Kent, Tejeddine Mouelhi, Yves Le Traon

Browse the full SACMAT paper archive.