J. R. Abrial, The B-Book: Assigning Programs to Meanings, 1996.
DOI : 10.1017/CBO9780511624162

D. Alrajeh, O. Ray, A. Russo, and S. Uchitel, Using abduction and induction for operational requirements elaboration, special issue: Abduction and Induction in Artificial Intelligence, pp.275-288, 2009.
DOI : 10.1016/j.jal.2008.10.002

M. Y. Becker and S. Nanz, A Logic for State-Modifying Authorization Policies, European Symposium On Research In Computer Security, pp.203-218, 2007.
DOI : 10.1007/978-3-540-74835-9_14

M. Y. Becker and S. Nanz, The Role of Abduction in Declarative??Authorization??Policies, Lecture Notes in Computer Science, vol.4902, pp.84-99, 2008.
DOI : 10.1007/978-3-540-77442-6_7

R. Bonichon, D. Delahaye, and D. Doligez, Zenon: An Extensible Automated Theorem Prover Producing Checkable Proofs, Logic for Programming Artificial Intelligence and Reasoning, pp.151-165
DOI : 10.1007/978-3-540-75560-9_13
URL : https://hal.archives-ouvertes.fr/inria-00315920

T. Bourdier, H. Cirstea, M. Jaume, and H. Kirchner, Formal Specification and Validation of Security Policies, submitted to the Brazilian Symposium on Formal Methods, 2010.
DOI : 10.1007/978-3-642-27901-0_12
URL : https://hal.archives-ouvertes.fr/inria-00507300

P. T. Cox and T. Pietrzykowski, A complete, nonredundant algorithm for reversed skolemization, Conference on Automated Deduction, pp.374-385, 1980.
DOI : 10.1007/3-540-10009-1_28

N. C. Damianou, A. K. Bandara, M. S. Sloman, and E. C. Lupu, A survey of policy specification approaches, Tech. rep., Imperial College of Science Technology and Medicine, 2002.

D. J. Dougherty, K. Fisler, and S. Krishnamurthi, Specifying and Reasoning About Dynamic Access-Control Policies, International Joint Conference on Automated Reasoning, pp.632-646, 2006.
DOI : 10.1007/11814771_51
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.79.8098

D. Ferraiolo, D. R. Kuhn, and R. Chandramouli, Role-based access control Computer security series, 2003.

G. Gentzen, Untersuchungen ???ber das logische Schlie???en. I, Mathematische Zeitschrift, vol.39, issue.1, pp.176-210, 1934.
DOI : 10.1007/BF01201353

A. C. Kakas, R. A. Kowalski, and F. Toni, Abductive Logic Programming, Journal of Logic and Computation, vol.2, issue.6, pp.719-770, 1992.
DOI : 10.1093/logcom/2.6.719

A. C. Kakas, R. A. Kowalski, and F. Toni, The role of abduction in logic programming, Handbook of Logic in Artificial Intelligence and Logic Programming, vol.5, pp.235-324, 1998.

L. Lamport, The temporal logic of actions, ACM Transactions on Programming Languages and Systems, vol.16, issue.3, pp.872-923, 1994.
DOI : 10.1145/177492.177726

Y. A. Liu, S. D. Stoller, C. Wang, S. King, R. Wachter et al., Role-based access control: A corrected and simplified specification, Department of Defense Sponsored Information Security Research: New Methods for Protecting Against Cyber Threats, 2007.

M. C. Mayer and F. Pirri, First order abduction via tableau and sequent calculi, Logic Journal of IGPL, vol.1, issue.1, pp.99-117, 1993.
DOI : 10.1093/jigpal/1.1.99

S. Merz, The specification language TLA+. Logics of Specification Languages pp, pp.401-451, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00338330

T. Nipkow, L. C. Paulson, and M. Wenzel, Isabelle/HOL ? A Proof Assistant for Higher-Order Logic, Lecture Notes in Computer Science, vol.2283, 2002.

L. C. Paulson, A generic tableau prover and its integration with Isabelle, Journal of Universal Computer Science, vol.5, issue.3, pp.73-87, 1999.

A. Russo, R. Miller, B. Nusheibeh, and J. Kramer, An Abductive Approach for Analysing Event-Based Requirements Specifications, International Conference on Logic Programming, pp.22-37, 2002.
DOI : 10.1007/3-540-45619-8_3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.4878

R. S. Sandhu, E. J. Coyne, H. L. Feinstein, and C. E. Youman, Role-based access control models, Computer, vol.29, issue.2, pp.38-47, 1996.
DOI : 10.1109/2.485845
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.3867

F. Soler-toscano, A. Nepomuceno-fernández, and A. Aliseda-llera, -tableaux and ??-resolution, Journal of Applied Non-Classical Logics, vol.12, issue.2, pp.211-225, 2009.
DOI : 10.3166/jancl.19.211-225
URL : https://hal.archives-ouvertes.fr/halshs-00792287