M. Abadi, Logic in access control, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings., p.228, 2003.
DOI : 10.1109/LICS.2003.1210062

M. Abadi, M. Burrows, B. Lampson, and G. Plotkin, A calculus for access control in distributed systems, ACM Transactions on Programming Languages and Systems, vol.15, issue.4, pp.706-734, 1993.
DOI : 10.1145/155183.155225

G. Aucher, S. Barker, G. Boella, V. Genovese, and L. Van-der-torre, Dynamics in Delegation and Revocation Schemes: A Logical Approach, technical report, 2011.
DOI : 10.1007/978-3-642-22348-8_9
URL : https://hal.archives-ouvertes.fr/inria-00593654

G. Boella and L. W. Van-der-torre, Delegation of Power in Normative Multiagent Systems, DEON 2006, pp.36-52, 2006.
DOI : 10.1007/11786849_6

D. E. Clarke, J. Elien, C. M. Ellison, M. Fredette, A. Morcos et al., Certificate chain discovery in SPKI/SDSI, Journal of Computer Security, vol.9, issue.4, pp.285-322, 2001.
DOI : 10.3233/JCS-2001-9402

R. Demolombe, Reasoning About Trust: A Formal Logical Framework, iTrust 2004, pp.291-303, 2004.
DOI : 10.1007/978-3-540-24747-0_22

B. S. Firozabadi, M. J. Sergot, and O. L. Bandmann, Using Authority Certificates to Create Management Structures, Protocols 2001, pp.134-145, 2002.
DOI : 10.1007/3-540-45807-7_21

?. A. Hagström, S. Jajodia, F. Parisi-presicce, and D. Wijesekera, Revocations -a classification, Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001., pp.44-58, 2001.
DOI : 10.1109/CSFW.2001.930135

A. Herzig and N. Troquard, The dynamic logic of propositional control, Procs. of LIS@ESSLLI2010, pp.107-121, 2010.

N. Kuntze and A. U. Schmidt, Transitive Trust in Mobile Scenarios, ETRICS 2006, pp.73-85, 2006.
DOI : 10.1007/11766155_6

N. Li, J. Mitchell, and W. Winsborough, Design of a role-based trust-management framework, IEEE Symp. on Sec. and Privacy, pp.114-130, 2002.

T. J. Norman and C. Reed, A logic of delegation, Artificial Intelligence, vol.174, issue.1, pp.51-71, 2010.
DOI : 10.1016/j.artint.2009.10.001

W. Van-der-hoek, D. Walther, and M. Wooldridge, Reasoning about the transfer of control, J. Artif. Intell. Res. (JAIR), vol.37, pp.437-477, 2010.

C. Weidenbach, D. Dimova, A. Fietzke, R. Kumar, M. Suda et al., SPASS Version 3.5, CADE-22, pp.140-145, 2009.
DOI : 10.1007/978-3-540-73595-3_38

W. Wen and F. Mizoguchi, An authorization-based trust model for multiagent systems, Applied Artificial Intelligence, vol.14, issue.9, pp.909-925, 2000.
DOI : 10.1080/08839510050144877