A logical framework for reasoning about access control models (2001)

by E BERTINO, B CATANIA, E FERRARI, P PERLASCA
Venue:In Proceedings of SACMAT