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
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
A logic of authentication, ACM Transactions on Computer Systems, vol.8, issue.1, pp.18-36, 1990. ,
DOI : 10.1145/77648.77649
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
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
A survey of authentication protocol literature: Version 1.0, 1997. ,
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
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
Security Properties, pp.37-65, 2012. ,
DOI : 10.1007/978-3-540-78636-8_4
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
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
Timestamps in key distribution protocols, Communications of the ACM, vol.24, issue.8, pp.533-536, 1981. ,
DOI : 10.1145/358722.358740
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
Formal Analysis of Combinations of Secure Protocols (Extended Version), 2017. ,
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
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
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
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
A hierarchy of authentication specifications, Proceedings 10th Computer Security Foundations Workshop, pp.31-44, 1997. ,
DOI : 10.1109/CSFW.1997.596782
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
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
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
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
Authentication revisited, ACM SIGOPS Operating Systems Review, vol.21, issue.1, pp.7-7, 1987. ,
DOI : 10.1145/24592.24593
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
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
A lesson on authentication protocol design, ACM SIGOPS Operating Systems Review, vol.28, issue.3, pp.24-37, 1994. ,
DOI : 10.1145/182110.182113
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. ,
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