1. A calculus for access control in distributed systems.;Abadi;ACM Trans Program Languages Syst,1993
2. Bai Y. Varadharajan V. A logical based approach for the transformation of authorization policies
3. Bertino E Jajodia S Samarati P. Supporting multiple access control policies in database systems
4. A logical view of secure dependencies.;Bieber;J Comput Security,1992
5. Carrère J Cuppens F Saurel C. Outil de classification et de déclassification de documents multiniveaux