{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T05:26:02Z","timestamp":1737523562821,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540007081"},{"type":"electronic","value":"9783540365327"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36532-x_21","type":"book-chapter","created":{"date-parts":[[2007,10,25]],"date-time":"2007-10-25T19:34:36Z","timestamp":1193340876000},"page":"339-355","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Environmental Requirements for Authentication Protocols"],"prefix":"10.1007","author":[{"given":"Ran","family":"Canetti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Catherine","family":"Meadows","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Syverson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,6,25]]},"reference":[{"key":"21_CR1","unstructured":"M. Abadi. Two facets of authentication. In Proceedings of the 11th IEEE Computer Security Foundations Workshop (CFW11), pages 25\u201332. IEEE Computer Society Press, June 1998."},{"issue":"1","key":"21_CR2","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1109\/32.481513","volume":"22","author":"M. Abadi","year":"1996","unstructured":"M. Abadi and R. Needham. Prudent engineering practice for cryptographic protocols. IEEE Transactions on Software Engineering, 22(1):6\u201315, January 1996.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"21_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1007\/3-540-61996-8","volume-title":"Robustness principles for public key protocols","author":"R. Anderson","year":"1996","unstructured":"Ross Anderson and Roger Needham. Robustness principles for public key protocols. In Proceedings of Crypto 96, pages 236\u2013247. Springer-Verlag, LNCS 0963, 1996."},{"key":"21_CR4","unstructured":"M._Bellare and P. Rogaway. Entity authentication and key distribution. In Advances in Cryptology-CRYPTO 93. Springer-Verlag, 1994."},{"key":"21_CR5","unstructured":"J. Benaloh, B. Lampson, D. Simon, T. Spies, and B. Yee. The private communication technology protocol, October 1995. draft-benaloh-pct-00.txt."},{"key":"21_CR6","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."},{"key":"21_CR7","unstructured":"R. Canetti. A unified framework for analyzing security of protocols, 2000. available at http:\/\/eprint.iacr.org\/2000\/067 ."},{"key":"21_CR8","series-title":"Lect Notes Comput Sci","volume-title":"Analysis of key-exchange protocols and their use for building secure channels","author":"R. Canetti","year":"2001","unstructured":"R. Canetti and H. Krawczyk. Analysis of key-exchange protocols and their use for building secure channels. In Proceedings of Eurocrypt 01. LNCS, May 2001."},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"R. Canetti, C. Meadows, and P. Syverson. Environmental requirements and authentication protocols. In Symposium on Requirements Engineering for Information Security, March 2001.","DOI":"10.21236\/ADA464608"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"D. Chaum. Blind signatures for untraceable payments. In Advances in Cryptology-Proceedings of Crypto 82, pages 199\u2013203, 1983.","DOI":"10.1007\/978-1-4757-0602-4_18"},{"key":"21_CR11","unstructured":"G. Davida. Chosen signature cryptanalysis of the RSA (MIT) public key cryptosystem. Technical Report TR-CS-82-2, Dept. of EECS, University of Wisconsin-Milwaukee, October 1982."},{"issue":"8","key":"21_CR12","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1145\/358722.358740","volume":"24","author":"D.E.R. Denning","year":"1981","unstructured":"D.E.R. Denning and G.M. Sacco. Timestamps in key distribution protocols. Communications of the ACM, 24(8):533\u2013536, August 1981.","journal-title":"Communications of the ACM"},{"key":"21_CR13","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/BF00124891","volume":"2","author":"W. Diffie","year":"1992","unstructured":"W. Diffie, P. C. van Oorschot, and M. J. Wiener. Authentication and authenticated key exchanges. Designs, Codes, and Cryptography, 2:107\u2013125, 1992.","journal-title":"Designs, Codes, and Cryptography"},{"key":"21_CR14","unstructured":"N. Doraswamy and D. Harkins. IPSEC: The New Security Standard for the Internet, Intranets, and Virtual Private Networks. Prentice Hall, 1999."},{"key":"21_CR15","unstructured":"L. Gong and P. Syverson. Fail-stop protocols: An approach to designing secure protocols. In R. K. Iyer, M. Morganti, W. K. Fuchs, and V. Gligor, editors, Dependable Computing for Critical Applications 5, pages 79\u2013100. IEEE Computer Society Press, 1998."},{"issue":"1","key":"21_CR16","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1109\/32.481514","volume":"22","author":"N. Heintze","year":"1996","unstructured":"N. Heintze and J. D. Tygar. A model for secure protocols and their composition. IEEE Transactions on Software Engineering, 22(1):16\u201330, January 1996.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"21_CR17","doi-asserted-by":"crossref","unstructured":"M. Joye and J.-J. Quisquater. On the importance of securing your bins: The garbage-man-in-the-middle attack. In 4th ACM Conference on Computer and Communications Security, pages 135\u2013141. ACM Press, April 1997.","DOI":"10.1145\/266420.266449"},{"key":"21_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/BFb0028162","volume-title":"Security Protocols 1997","author":"J. Kelsey","year":"1997","unstructured":"J. Kelsey, B. Schneier, and D. Wagner. Protocol interactions and the chosen protocol attack. In B. Christianson, B. Crispo, M. Lomas, and M. Roe, editors, Security Protocols 1997, volume 1361 of LNCS, pages 91\u2013104. Springer-Verlag, April 1997."},{"key":"21_CR19","unstructured":"H. Krawczyk. SKEME: A versatile secure key exchange mechanism for Internet. In Proceedings of the Internet Society Symposium on Network and Distributed System Security (NDSS), February 1996."},{"key":"21_CR20","first-page":"93","volume":"17","author":"G. Lowe","year":"1996","unstructured":"G. Lowe. Breaking and fixing the Needham-Schroeder public-key protocol using FDR. Software-Concepts and Tools, 17:93\u2013102, 1996.","journal-title":"Software-Concepts and Tools"},{"key":"21_CR21","doi-asserted-by":"crossref","unstructured":"G. Lowe. Some new attacks upon security protocols. In Proceedings of the 9th IEEE Computer Security Foundations Workshop (CSFW9), pages 162\u2013169. IEEE Computer Society Press, June 1996.","DOI":"10.1109\/CSFW.1996.503701"},{"key":"21_CR22","doi-asserted-by":"crossref","unstructured":"C. Meadows. Open issues in formal methods for cryptographic protocol analysis. In DISCEX 2000: Proceedings of the DARPA Information Survivability Conference and Exposition, volume I, pages 237\u2013250. IEEE Computer Society Press, January 2000.","DOI":"10.1109\/DISCEX.2000.824984"},{"issue":"12","key":"21_CR23","doi-asserted-by":"publisher","first-page":"993","DOI":"10.1145\/359657.359659","volume":"21","author":"R. M. Needham","year":"1978","unstructured":"R. M. Needham and M. D. Schroeder. Using Encryption for Authentication in Large Networks of Computers. Communications of the ACM, 21(12):993\u2013999, December 1978.","journal-title":"Communications of the ACM"},{"key":"21_CR24","doi-asserted-by":"crossref","unstructured":"S. Pancho. Paradigm shifts in protocol analysis: Needham and Schroeder again? In Proceedings of the 1999 New Security Paradigms Workshop. ACM Computer Society Press, September 1999.","DOI":"10.1145\/335169.335198"},{"key":"21_CR25","unstructured":"V. Shoup. On formal models for secure key exchange (version 4). Available at http:\/\/shoup.net\/papers\/ , November 1999. Revision of IBM Research Report RZ 3120 (April 1999)."},{"key":"21_CR26","doi-asserted-by":"crossref","unstructured":"P. Syverson Limitations on design principles for public key protocols. In Proceedings of the 1996 IEEE Symposium on Security and Privacy, pages 62\u201372. IEEE Computer Society Press, May 1996.","DOI":"10.21236\/ADA465132"},{"key":"21_CR27","unstructured":"F.J. Thayer F\u00e1rega and J.D. Guttman. Protocol independence through disjoint encryption. In Proceedings of the 13th IEEE Computer Security Foundations Workshop (CSFW13), pages 24\u201334. IEEE Computer Society Press, June 2000."},{"key":"21_CR28","doi-asserted-by":"crossref","unstructured":"F.J. Thayer F\u00e1brega, J.C. Herzog, and J.D. Guttman. Mixed strand spaces. In Proceedings of the 12th IEEE Computer Security Foundations Workshop (CSFW12), pages 72\u201382. IEEE Computer Society Press, June 1999.","DOI":"10.1109\/CSFW.1999.779763"}],"container-title":["Lecture Notes in Computer Science","Software Security \u2014 Theories and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36532-X_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T22:27:35Z","timestamp":1737498455000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36532-X_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540007081","9783540365327"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-36532-x_21","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]},"assertion":[{"value":"25 June 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}