G. Aucher, S. Barker, G. Boella, V. Genovese, and L. van der Torre. Dynamics in Delegation and Revocation Schemes: A Logical Approach. In Y. Li, editor, Data and Applications Security and Privacy XXV, Volume 6818 of Lecture Notes in Computer Science, pages 90-105. Springer Berlin, 2011.
E. Bertino, S. Jajodia, and P. Samarati. A Non-timestamped Authorization Model for Data Management Systems. In Proceedings of the 3rd ACM Conference on Computer and Communications Security, CCS '96, pages 169-178, New York, NY, USA, 1996. ACM.
E. Bertino, P. Samarati, and S. Jajodia. An extended authorization model for relational databases. Knowledge and Data Engineering, IEEE Transactions on, 9(1):85-101, Jan 1997.
R. Demolombe. Reasonig about trust: A formal logical framework. In C. Jensen, S. Poslad, and T. Dimitrakos, editors, Trust Management, Volume 2995 of Lecture Notes in Computer Science, pages 291-303. 2004.
M. Denecker. The Well-Founded Semantics Is the Principle of Inductive Definition. In J. Dix, L. del Cerro, and U. Furbach, editors, Logics in Artificial Intelligence, Volume 1489 of Lecture Notes in Computer Science, pages 1-16. Springer Berlin Heidelberg, 1998.
R. Fagin. On an Authorization Mechanism. ACM Trans. Database Syst., 3(3):310-319, Sept. 1978.
P. P. Griffiths and B. W. Wade. An Authorization Mechanism for a Relational Database System. ACM Trans. Database Syst., 1(3):242-255, Sept. 1976.
Å. Hagström, S. Jajodia, F. Parisi-Presicce, and D. Wijesekera. Revocations-A Classification. In Proceedings of the 14th IEEE Workshop on Computer Security Foundations, CSFW '01, pages 44-, Washington, DC, USA, 2001. IEEE Computer Society.
B. Jayaraman and D. Jana. Set constructors, finite sets, and logical semantics. The Journal of Logic Programming, pages 55-77, 1999.
W. Rautenberg. A Concise Introduction to Mathematical Logic. Springer, 2006.
C. Ruan and V. Varadharajan. Resolving Conflicts in Authorization Delegations. In L. M. Batten and J. Seberry, editors, ACISP, Volume 2384 of Lecture Notes in Computer Science, pages 271-285. Springer, 2002.
