A logical framework for reasoning about access control models.

Elisa Bertino, Barbara Catania, Elena Ferrari, Paolo Perlasca

Browse the full SACMAT paper archive.