{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:46:10Z","timestamp":1725551170506},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540240761"},{"type":"electronic","value":"9783540305361"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30536-1_63","type":"book-chapter","created":{"date-parts":[[2010,3,31]],"date-time":"2010-03-31T23:31:39Z","timestamp":1270078299000},"page":"536-536","source":"Crossref","is-referenced-by-count":0,"title":["Application of Formal Methods for Analysis of Authentication Protocols"],"prefix":"10.1007","author":[{"given":"Ritesh Kumar","family":"Tiwari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"63_CR1","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/77648.77649","volume":"8","author":"M. Burrows","year":"1990","unstructured":"Burrows, M., Abadi, M., Needham, R.: A Logic of Authentication. ACM Transactions on Computer Systems\u00a08(1), 18\u201336 (1990)","journal-title":"ACM Transactions on Computer Systems"},{"issue":"4","key":"63_CR2","first-page":"82","volume":"26","author":"B.C. Neuman","year":"1992","unstructured":"Neuman, B.C., Stubblebine, S.: A Note on use of Timestamps as Nonces. ACM Operating Systems Review\u00a026(4), 82\u201389 (1992)","journal-title":"ACM Operating Systems Review"},{"key":"63_CR3","doi-asserted-by":"crossref","unstructured":"Paulson, L.C.: Mechanized proofs for a recursive authentication protocol. In: Computer Security Foundations Workshop, pp. 84\u201395 (1997)","DOI":"10.1109\/CSFW.1997.596790"},{"key":"63_CR4","doi-asserted-by":"crossref","unstructured":"Backes, M., Schunter, M.: From Absence of Certain Vulnerabilities towards Security Proofs. In: New Security Paradigms Workshop, pp. 67\u201374 (2003)","DOI":"10.1145\/986655.986666"},{"key":"63_CR5","unstructured":"Herzog, J.: Computational Soundness for Standard Assumptions of Formal Cryptography. Ph.D. thesis, MIT (2004)"}],"container-title":["Lecture Notes in Computer Science","Distributed Computing - IWDC 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30536-1_63.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:26:25Z","timestamp":1620012385000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30536-1_63"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540240761","9783540305361"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30536-1_63","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}