{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T00:10:06Z","timestamp":1737504606846,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540008866"},{"type":"electronic","value":"9783540365754"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36575-3_2","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T21:52:15Z","timestamp":1193521935000},"page":"10-21","source":"Crossref","is-referenced-by-count":7,"title":["What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis"],"prefix":"10.1007","author":[{"given":"Catherine","family":"Meadows","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,2,28]]},"reference":[{"issue":"5","key":"2_CR1","doi-asserted-by":"publisher","first-page":"749","DOI":"10.1145\/324133.324266","volume":"46","author":"M. Abadi","year":"1999","unstructured":"M. Abadi. Secrecy by typing in security protocols. Journal of the ACM, 46(5):749\u2013786, September 1999.","journal-title":"Journal of the ACM"},{"key":"2_CR2","unstructured":"M. Abadi and P. Rogaway. Reconciling two views of cryptography (the computational soundness of formal encryption). Journal of Cryptology, to appear."},{"key":"2_CR3","unstructured":"M. Bellare and P. Rogaway. Entity authentication and key distribution. In Advances in Cryptology-CRYPTO\u2019 93. Springer-Verlag, 1993."},{"key":"2_CR4","unstructured":"R. Bird, I. Gopal, A. Herzberg, P. Janson, S. Kutten, R. Molva, and M. Yung. Systematic design of two-party authentication protocols. In Advances in Cryptology-Proceedings of CRYPTO 91. Springer-Verlag, 1991."},{"issue":"1","key":"2_CR5","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/77648.77649","volume":"8","author":"M. Burrows","year":"1990","unstructured":"Michael Burrows, Mart\u00edn Abadi, and Roger Needham. A Logic of Authentication. ACM Transactions in Computer Systems, 8(1):18\u201336, February 1990.","journal-title":"ACM Transactions in Computer Systems"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"L. Butty\u00e1n and J.-P. Hubaux. Rational exchange-a formal model based on game theory. In 2nd International Workshop on Electronic Commerce (WELCOM\u201901), 16\u201317 November 2001.","DOI":"10.1007\/3-540-45598-1_12"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"I. Cervesato and C. Meadows. A fault-tree representation of NPATRL security requirements. submitted for publication, 2003.","DOI":"10.21236\/ADA464078"},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/BF00124891","volume":"2","author":"W. Diffie","year":"1992","unstructured":"Whitfield Diffie, Paul C. van Oorschot, and Michael J. Wiener. Authentication and Authenticated Key Exchanges. Designs, Codes, and Cryptography, 2:107\u2013125, 1992.","journal-title":"Designs, Codes, and Cryptography"},{"issue":"2","key":"2_CR9","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"29","author":"D. Dolev","year":"1983","unstructured":"D. Dolev and A. Yao. On the Security of Public Key Protocols. IEEE Transactions on Information Theory, 29(2):198\u2013208, March 1983.","journal-title":"IEEE Transactions on Information Theory"},{"key":"2_CR10","unstructured":"F. J. Thayer F\u00e1brega, J. Herzog, and J. Guttman. Strand space pictures. In Proceedings of the Workshop on Formal Methods and Security Protocols, 1998. available at http:\/\/www.cs.bell-labs.com\/who\/nch\/fmsp\/program.html."},{"key":"2_CR11","unstructured":"F. Javier Thayer F\u00e1brega, Jonathan C. Herzog, and Joshua D. Guttman. Strand spaces: Why is a security protocol correct? In Proceedings of the 1998 IEEE Symposium on Security and Privacy, pages 160\u2013171. IEEE Computer Society Press, May 1998."},{"key":"2_CR12","series-title":"Lect Notes Comput Sci","volume-title":"Non interference for the analysis of cryptographic protocols","author":"R. Focardi","year":"2000","unstructured":"R. Focardi, R. Gorrieri, and F. Martinelli. Non interference for the analysis of cryptographic protocols. In U. Montanari, editor, 27th International Colloquium on Automata, Languages and Programming (ICALP\u201900). Springer Verlag: LNCS 1583, July 2000."},{"key":"2_CR13","unstructured":"Li Gong and Paul Syverson. Fail-stop protocols: An approach to designing secure protocols. In R. K. Iyer, M. Morganti, Fuchs W. K, and V. Gligor, editors, Dependable Computing for Critical Applications 5, pages 79\u2013100. IEEE Computer Society, 1998."},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"J. Goquen and J. Meseguer. Security policy and security models. In Proceedings of the 1982 Symposium on Security and Privacy, pages 11\u201320. IEEE Computer Society Press, 1982.","DOI":"10.1109\/SP.1982.10014"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"A. Gordon and A. Jeffrey. Authenticity by typing in security protocols. In Proceedings of the 14th IEEE Computer Security Foundations Workshop. IEEE Computer Society Press, June 2001.","DOI":"10.1109\/CSFW.2001.930143"},{"key":"2_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-36576-1","volume-title":"Typing one-to-one and one-to-many correspondences in security protocols","author":"A. Gordon","year":"2003","unstructured":"A. Gordon and A. Jeffrey. Typing one-to-one and one-to-many correspondences in security protocols. In International Software Security Symposium (ISSS 2002). Springer LNCS, 2003."},{"key":"2_CR17","unstructured":"Paul Hoffman. Features of proposed successors to IKE. Internet Draft draft-ietfipsec-soi-features-01.txt, May 31 2002. available at http:\/\/ietf.org\/internet-drafts\/draft-ietf-ipsec-soi-features-01.txt."},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"G. Lowe. Some new attacks on security protocols. In Proceedings of the 9th IEEE Computer Security Foundations Workshop, pages 162\u2013169. IEEE Computer Society Press, 1996.","DOI":"10.1109\/CSFW.1996.503701"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"G. Lowe. A hierarchy of authentication speciifications. In Proceedings of the 10th IEEE Computer Security Foundations Workshop, pages 31\u201343. IEEE Computer Society Press, 1997.","DOI":"10.1109\/CSFW.1997.596782"},{"key":"2_CR20","doi-asserted-by":"crossref","first-page":"5","DOI":"10.3233\/JCS-1992-1102","volume":"1","author":"C. Meadows","year":"1992","unstructured":"C. Meadows. Applying Formal Methods to the Analysis of a Key Management Protocol. Journal of Computer Security, 1:5\u201353, 1992.","journal-title":"Journal of Computer Security"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"C. Meadows. A cost-based framework for analysis of denial of service in networks. Journal of Computer Security, 2001.","DOI":"10.3233\/JCS-2001-91-206"},{"key":"2_CR22","series-title":"Lect Notes Comput Sci","volume-title":"A formal specification of requirements for payment in the SET protocol","author":"C. Meadows","year":"1998","unstructured":"C. Meadows and P. Syverson. A formal specification of requirements for payment in the SET protocol. In Proceedings of Financial Cryptography\u2019 98. Springer-Verlag LLNCS, 1998."},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"C. Meadows, P. Syverson, and I. Cervesato. Formalizing GDOI group key management requirements in NPATRL. In Proceedings of the ACM Conference on Computer and Communications Security. ACM, November 2001.","DOI":"10.1145\/501983.502016"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"J. K. Millen, S. C. Clark, and S. B. Freedman. The Interrogator: Protocol Security Analysis. IEEE Transactions on Software Engineering, SE-13(2), 1987.","DOI":"10.1109\/TSE.1987.233151"},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"J.C. Mitchell, A. Ramanathan, A. Scedrov, and V. Teague. A probabilistic polynomial-time calculus for analysis of cryptographic protocols (preliminary report). Electronic Notes in Theoretical Computer Science, 45, 2001.","DOI":"10.1016\/S1571-0661(04)80968-X"},{"key":"2_CR26","doi-asserted-by":"crossref","unstructured":"G. Norman and V. Shmatikov. Analysis of probabilistic contract signing. In BCSFACS Formal Aspects of Security (FASec\u2019 02), 2002.","DOI":"10.1007\/978-3-540-40981-6_9"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"A. W. Roscoe. Intensional specification of security protocols. In Proceedings of the 9th IEEE Computer Security Foundations Workshop, pages 28\u201338. IEEE Computer Society Press, June 10\u201312 1996.","DOI":"10.1109\/CSFW.1996.503688"},{"key":"2_CR28","doi-asserted-by":"crossref","unstructured":"S. Schneider. Security properties and CSP. In IEEE Computer Society Symposium on Security and Privacy. IEEE Computer Society Press, 1996.","DOI":"10.1109\/SECPRI.1996.502680"},{"key":"2_CR29","doi-asserted-by":"crossref","unstructured":"V. Shmatikov. Probabilistic analysis of anonymity. In Proceedings of the 15th Computer Security Foundations Workshop. IEEE Computer Society Press, June 2002.","DOI":"10.1109\/CSFW.2002.1021811"},{"key":"2_CR30","doi-asserted-by":"crossref","unstructured":"P. Syverson and C. Meadows. Formal requirements for key distribution protocols. In Proceedings of Eurocrypt\u2019 94. Springer-Verlag, 1994.","DOI":"10.21236\/ADA463018"},{"issue":"1","key":"2_CR31","first-page":"27","volume":"7","author":"P. Syverson","year":"1996","unstructured":"P. Syverson and C. Meadows. A formal language for cryptographic protocol requirements. Designs, Codes, and Cryptography, 7(1\/2):27\u201359, 1996.","journal-title":"Designs, Codes, and Cryptography"},{"key":"2_CR32","doi-asserted-by":"crossref","unstructured":"Paul Syverson and Catherine Meadows. A Logical Language for Specifying Cryptographic Protocol Requirements. In Proceedings of the 1993 IEEE Computer Society Symposium on Research in Security and Privacy, pages 165\u2013177. IEEE Computer Society Press, Los Alamitos, California, 1993.","DOI":"10.1109\/RISP.1993.287634"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36575-3_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T23:40:57Z","timestamp":1737502857000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36575-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540008866","9783540365754"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3-540-36575-3_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}