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

by Elisa Bertino, Barbara Catania, Elena Ferrari, Paolo Perlasca
Venue:ACM TISSEC