1. Abadi, M., M. Burrows, B. Lampson and G. Plotkin
A Calculus for Access Control in Distributed Systems ACM Transactions on Programming Languages and Systems, vol. 4(15), pp. 706–734, September 1993.
2. Bell D.E., LaPadula L.J.
Secure computer systems: mathematical foundations and model, Technical Report M74–244, The MITRE Corp., Bedford, MA, 1974
3. Bertino E., Ferrari E., Buccafurri F., Rullo P.
A Logical Framework for Reasoning on Data Access Control Policies, Proceeding of the 12th DEEE Computer Security Workshop, IEEE Computer Society Press, July 1999
4. Castano S., Fugini M.G., Martel laG., Samarati P.
Database security, Addison-Wesley Publishing Company, New York 1994.
5. Damianou N.C.
A Policy Framework for Management of Distributed Systems, PhD Thesis, Imperial College of Science, Technology and Medicine University of London Department of Computing, London 2002