S. Bartsch, A calculus for the qualitative risk assessment of policy override authorization, Proceedings of the 3rd international conference on Security of information and networks, SIN '10, pp.62-70, 2010.
DOI : 10.1145/1854099.1854115

D. A. Basin, C. Caleiro, J. Ramos, and L. Viganò, Labelled Tableaux for Distributed Temporal Logic, Journal of Logic and Computation, vol.19, issue.6, pp.1245-1279, 2009.
DOI : 10.1093/logcom/exp022

J. Bell, A Common Sense Theory of Causation, In CONTEXT, 2003.
DOI : 10.1007/3-540-44958-2_4

P. C. Chapin, C. Skalka, and X. S. Wang, Risk assessment in distributed authorization, Proceedings of the 2005 ACM workshop on Formal methods in security engineering , FMSE '05, pp.33-42, 2005.
DOI : 10.1145/1103576.1103581
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.2345

J. M. Dunn, Positive modal logic, Studia Logica, vol.8, issue.2, pp.301-317, 1995.
DOI : 10.1007/BF01061239

D. M. Gabbay, Labelled Deductive Systems, 1996.
DOI : 10.1016/S1874-5075(03)80014-1

E. Giunchiglia, J. Lee, V. Lifschitz, N. Mccain, and H. Turner, Nonmonotonic causal theories, Artificial Intelligence, vol.153, issue.1-2, pp.49-104, 2004.
DOI : 10.1016/j.artint.2002.12.001
URL : http://doi.org/10.1016/j.artint.2002.12.001

D. Lewis, Causation, The Journal of Philosophy, vol.70, issue.17, pp.556-567, 1973.
DOI : 10.2307/2025310

D. Lewis, Causation as Influence, The Journal of Philosophy, vol.97, issue.4, pp.182-197, 2000.
DOI : 10.2307/2678389

N. Li and J. C. Mitchell, A role-based trust-management framework, DISCEX- III, pp.201-212, 2003.

A. Masini, L. Viganò, and M. Volpe, A History of Until, Electronic Notes in Theoretical Computer Science, vol.262, pp.189-204, 2010.
DOI : 10.1016/j.entcs.2010.04.014

G. Shafer, P. R. Gillett, and R. B. Scherl, The logic of events, Annals of Mathematics and Artificial Intelligence, vol.28, issue.1/4, pp.315-389, 2000.
DOI : 10.1023/A:1018964524717

A. Singh and D. J. Lilja, Improving risk assessment methodology, Proceedings of the 2nd international conference on Security of information and networks, SIN '09, pp.21-29, 2009.
DOI : 10.1145/1626195.1626205

P. Terenziani and P. Torasso, TIME, ACTION-TYPES, AND CAUSATION: AN INTEGRATED ANALYSIS, Computational Intelligence, vol.14, issue.2, pp.529-552, 1995.
DOI : 10.1007/BF00149015

H. Turner, A logic of universal causation, Artificial Intelligence, vol.113, issue.1-2, pp.87-123, 1999.
DOI : 10.1016/S0004-3702(99)00058-2

L. Viganò, Labelled Non-Classical Logics, 2000.
DOI : 10.1007/978-1-4757-3208-5