{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T18:10:39Z","timestamp":1778263839001,"version":"3.51.4"},"publisher-location":"Boston, MA","reference-count":16,"publisher":"Springer US","isbn-type":[{"value":"9781441959058","type":"print"},{"value":"9781441959065","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-1-4419-5906-5_876","type":"book-chapter","created":{"date-parts":[[2011,10,27]],"date-time":"2011-10-27T09:53:10Z","timestamp":1319709190000},"page":"490-492","source":"Crossref","is-referenced-by-count":2,"title":["Formal Analysis of Cryptographic Protocols"],"prefix":"10.1007","author":[{"given":"Catherine","family":"Meadows","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"12","key":"876_CR1_876","first-page":"993","volume":"21","author":"RM Needham","year":"1978","unstructured":"Needham RM, Schroeder MD (1978) Using encryption for authentication in large networks of computers. Commun ACM 21(12):993\u2013999","journal-title":"Commun ACM"},{"key":"876_CR2_876","first-page":"147","volume-title":"Proceedings of TACAS \u201896","author":"G Lowe","year":"1996","unstructured":"Lowe G (1996) Breaking and fixing the Needham-Schroeder Public-Key Protocol using FDR. In Proceedings of TACAS \u201896. Springer, Berlin, pp 147\u2013166"},{"issue":"2","key":"876_CR3_876","first-page":"198","volume":"29","author":"D Dolev","year":"1983","unstructured":"Dolev D, Yao A (1983) On the security of public key protocols. IEEE Trans Inf Theory 29(2):198\u2013208","journal-title":"IEEE Trans Inf Theory"},{"key":"876_CR4_876","unstructured":"Millen JK, Clark SC, Freedman SB (1987) The interrogator: protocol security analysis. IEEE Trans Softw Eng, SE-13(2): 274\u2013288"},{"issue":"1","key":"876_CR5_876","first-page":"5","volume":"1","author":"C Meadows","year":"1992","unstructured":"Meadows C (1992) Applying formal methods to the analysis of a key management protocol. J Comput Secur 1(1):5\u201336","journal-title":"J Comput Secur"},{"issue":"1","key":"876_CR6_876","first-page":"18","volume":"8","author":"M Burrows","year":"1990","unstructured":"Burrows M, Abadi M, Needham R (1990) A logic of authentication. ACM Trans Comput Syst 8(1):18\u201336","journal-title":"ACM Trans Comput Syst"},{"issue":"4","key":"876_CR7_876","first-page":"677","volume":"11","author":"NA Durgin","year":"2003","unstructured":"Durgin NA, Mitchell JC, Pavlovic D (2003) A compositional logic for proving security properties of protocols. J Comput Secur 11(4):677\u2013721","journal-title":"J Comput Secur"},{"key":"876_CR8_876","volume-title":"Proceedings of CAV 2005","author":"A Armando","year":"2005","unstructured":"Armando A, Basin D, Boichut Y, Chevalier Y, Compagna L, Cuellar J, Drielsma P, Heam P, Kouchnarenko O, Mantovini J, Modersheim S, Von Hoheimb D, Rusinowitch M, Santiago J, Turuani M, Vigano L, Vigneron L (2005) The AVISPA Tool for the Automatic Validation of Internet Security Protocols and Applications. In: Proceedings of CAV 2005. Springer"},{"key":"876_CR9_876","volume-title":"20th international conference on automated deduction (CADE-20)","author":"B Blanchet","year":"2005","unstructured":"Blanchet B (2005) An automatic security protocol verifier based on resolution theorem proving (invited tutorial). In: 20th international conference on automated deduction (CADE-20), Tallinn"},{"key":"876_CR10_876","volume-title":"Workshop on formal methods and security protocols (FMSP\u201999)","author":"NA Durgin","year":"1999","unstructured":"Durgin NA, Lincoln PD, Mitchell JC, Scedrov A (1999) Undecidability of bounded security protocols. In: Workshop on formal methods and security protocols (FMSP\u201999), Trento"},{"key":"876_CR11_876","volume-title":"Protocol insecurity with finite number of sessions is NP-complete","author":"M Rusinowitch","year":"2001","unstructured":"Rusinowitch M, Turuani M (2001) Protocol insecurity with finite number of sessions is NP-complete. In: Proceedings of computer security foundations workshop"},{"key":"876_CR12_876","volume-title":"ESORICS 2005","author":"C Meadows","year":"2005","unstructured":"Meadows C, Pavlovic D (2005) Deriving, attacking, and defending the GDOI protocol. In: ESORICS 2005. Springer"},{"key":"876_CR13_876","volume-title":"Advances in computer science\u00a0\u2013 ASIAN 2006","author":"I Cervesato","year":"2008","unstructured":"Cervesato I, Jaggard AD, Scedrov A, Tsay J-K, Walstad C (2008) Breaking and fixing public-key kerberos, extended abstract. In: Okada M, Satoh I (eds) Advances in computer science\u00a0\u2013 ASIAN 2006, Tokyo, Dec 2006. Springer LNCS, vol 4435, Springer"},{"issue":"10","key":"876_CR14_876","first-page":"2075","volume":"22","author":"M Backes","year":"2004","unstructured":"Backes M, Pfitzmann B (2004) A cryptographically sound security proof of the Needham-Schroeder-Lowe Public-Key Protocol. IEEE J Sel Area Comput (JSAC) 22(10):2075\u20132086","journal-title":"IEEE J Sel Area Comput (JSAC)"},{"issue":"4","key":"876_CR15_876","first-page":"193","volume":"5","author":"B Blanchet","year":"2008","unstructured":"Blanchet B (2008) A computationally sound mechanized prover for security protocols. IEEE Trans Dependable Secur Comput 5(4):193\u2013207","journal-title":"IEEE Trans Dependable Secur Comput"},{"key":"876_CR16_876","first-page":"1","volume-title":"Maude-NPA: cryptographic protocol analysis modulo equational properties","author":"S Escobar","year":"2009","unstructured":"Escobar S, Meadows C, Meseguer J (2009) Maude-NPA: cryptographic protocol analysis modulo equational properties. FOSAD 2007\/2008\/2009 tutorial lectures, LNCS, vol 5705. Springer, pp 1\u201350"}],"container-title":["Encyclopedia of Cryptography and Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4419-5906-5_876","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T17:33:24Z","timestamp":1778261604000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4419-5906-5_876"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9781441959058","9781441959065"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-1-4419-5906-5_876","relation":{},"subject":[],"published":{"date-parts":[[2011]]}}}