M. Abadi and R. Needham, Prudent engineering practice for cryptographic protocols, IEEE Transactions on Software Engineering, vol.22, issue.1, pp.6-15, 1996.
DOI : 10.1109/32.481513

URL : http://www.cs.utexas.edu/%7Eshmat/courses/cs380s_fall08/prudent.pdf

B. Blanchet, An efficient cryptographic protocol verifier based on prolog rules, Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001., p.82, 2001.
DOI : 10.1109/CSFW.2001.930138

URL : http://www.mpi-sb.mpg.de/~blanchet/publications/./BlanchetCSFW01.ps.gz

M. Burrows, M. Abadi, and R. Needham, A logic of authentication, ACM Transactions on Computer Systems, vol.8, issue.1, pp.18-36, 1990.
DOI : 10.1145/77648.77649

L. Buttyan, S. Staamann, and U. Wilhelm, A simple logic for authentication protocol design, Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No.98TB100238), pp.153-162, 1998.
DOI : 10.1109/CSFW.1998.683165

URL : http://lsewww.epfl.ch/Documents/postscript/BSW98.ps

R. Canetti, Universally composable security: a new paradigm for cryptographic protocols, Proceedings 2001 IEEE International Conference on Cluster Computing, p.67, 2000.
DOI : 10.1109/SFCS.2001.959888

URL : http://eprint.iacr.org/2000/067.pdf

J. Clark and J. Jacob, A survey of authentication protocol literature: Version 1.0, 1997.

J. A. Clark and J. Jacob, On the security of recent protocols, Information Processing Letters, vol.56, issue.3, pp.151-155, 1995.
DOI : 10.1016/0020-0190(95)00136-Z

C. Cremers, Feasibility of multi-protocol attacks, First International Conference on Availability, Reliability and Security (ARES'06), pp.287-294, 2006.
DOI : 10.1109/ARES.2006.63

URL : http://www.win.tue.nl/~ecss/downloads/mpa-ares.pdf

C. Cremers and S. Mauw, Security Properties, pp.37-65, 2012.
DOI : 10.1007/978-3-540-78636-8_4

C. Cremers, S. Mauw, and E. De-vink, Injective synchronisation: An extension of the authentication hierarchy, Theoretical Computer Science, vol.367, issue.1-2, pp.139-161, 2006.
DOI : 10.1016/j.tcs.2006.08.034

C. J. Cremers, Unbounded verification, falsification, and characterization of security protocols by pattern refinement, Proceedings of the 15th ACM conference on Computer and communications security, CCS '08, pp.119-128, 2008.
DOI : 10.1145/1455770.1455787

D. E. Denning and G. M. Sacco, Timestamps in key distribution protocols, Communications of the ACM, vol.24, issue.8, pp.533-536, 1981.
DOI : 10.1145/358722.358740

N. A. Durgin, J. C. Mitchell, and D. Pavlovic, A compositional logic for proving security properties of protocols*, Journal of Computer Security, vol.11, issue.4, pp.677-722, 2003.
DOI : 10.3233/JCS-2003-11407

B. Elliott, J. Dreier, and P. Lafourcade, Formal Analysis of Combinations of Secure Protocols (Extended Version), 2017.

T. Hwang and Y. Chen, On the security of SPLICE/AS ??? The authentication system in WIDE Internet, Information Processing Letters, vol.53, issue.2, pp.97-101, 1995.
DOI : 10.1016/0020-0190(94)00175-X

I. Kao and R. Chow, An efficient and secure authentication protocol using uncertified keys, ACM SIGOPS Operating Systems Review, vol.29, issue.3, pp.14-21, 1995.
DOI : 10.1145/206826.206832

J. Kelsey, B. Schneier, and D. Wagner, Protocol interactions and the chosen protocol attack, Proceedings of the 5th International Workshop on Security Protocols, pp.91-104, 1998.
DOI : 10.1007/BFb0028162

URL : http://www.counterpane.com/chosen_protocol.pdf

G. Lowe, An attack on the Needham-Schroeder public-key authentication protocol, Information Processing Letters, vol.56, issue.3, pp.131-133, 1995.
DOI : 10.1016/0020-0190(95)00144-2

URL : http://web.comlab.ox.ac.uk/oucl/work/gavin.lowe/Security/Papers/NSPKP.ps

G. Lowe, A hierarchy of authentication specifications, Proceedings 10th Computer Security Foundations Workshop, pp.31-44, 1997.
DOI : 10.1109/CSFW.1997.596782

G. Lowe, Towards a completeness result for model checking of security protocols, Journal of Computer Security, vol.7, issue.2-3, pp.89-146, 1999.
DOI : 10.3233/JCS-1999-72-302

A. Mathuria, A. R. Singh, P. V. Shravan, and R. Kirtankar, Some new multiprotocol attacks, Proceedings of the 15th International Conference on Advanced Computing and Communications, ADCOM '07, pp.465-471, 2007.
DOI : 10.1109/adcom.2007.112

S. Meier, B. Schmidt, C. Cremers, and D. A. Basin, The TAMARIN Prover for the Symbolic Analysis of Security Protocols, Computer Aided Verification -25th International Conference, CAV 2013. Proceedings, pp.696-701, 2013.
DOI : 10.1007/978-3-642-39799-8_48

R. M. Needham and M. D. Schroeder, Using encryption for authentication in large networks of computers, Communications of the ACM, vol.21, issue.12, pp.993-999, 1978.
DOI : 10.1145/359657.359659

R. M. Needham and M. D. Schroeder, Authentication revisited, ACM SIGOPS Operating Systems Review, vol.21, issue.1, pp.7-7, 1987.
DOI : 10.1145/24592.24593

A. Perrig and D. Song, Looking for diamonds in the desert - extending automatic protocol generation to three-party authentication and key agreement protocols, Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13, p.64, 2000.
DOI : 10.1109/CSFW.2000.856926

D. X. Song, S. Berezin, and A. Perrig, Athena: a novel approach to efficient automatic security protocol analysis1, Journal of Computer Security, vol.9, issue.1-2, pp.47-74, 2001.
DOI : 10.3233/JCS-2001-91-203

URL : http://www.cs.berkeley.edu/~dawnsong/papers/athena-jcs.pdf

T. Y. Woo and S. S. Lam, A lesson on authentication protocol design, ACM SIGOPS Operating Systems Review, vol.28, issue.3, pp.24-37, 1994.
DOI : 10.1145/182110.182113

S. Yamaguchi, K. Okayama, and H. Miyahara, The design and implementation of an authentication system for the wide area distributed environment, IEICE TRANSACTIONS on Information and Systems, issue.11, pp.743902-3909, 1991.

H. Zhou and S. N. Foley, Fast automatic synthesis of security protocols using backward search, Proceedings of the 2003 ACM workshop on Formal methods in security engineering , FMSE '03, pp.1-10, 2003.
DOI : 10.1145/1035429.1035430

URL : http://www.bcri.ucc.ie/BCRI_22.ps