Francesco Buccafurri;Nicola Leone;Francesco Scarcello
-;-;-
A Logical Framework for Reasoning on Data Access Control Policies
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations