{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:21:43Z","timestamp":1725488503204},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540421030"},{"type":"electronic","value":"9783540451167"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45116-1_28","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T17:22:00Z","timestamp":1186420920000},"page":"287-299","source":"Crossref","is-referenced-by-count":6,"title":["CVS at Work: A Report on New Failures upon Some Cryptographic Protocols"],"prefix":"10.1007","author":[{"given":"Antonio","family":"Durante","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Riccardo","family":"Focardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Gorrieri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,5,8]]},"reference":[{"key":"28_CR1","doi-asserted-by":"crossref","unstructured":"M. Abadi: Two Facets of Authentication. In: Proceedings of 11th IEEE Computer Security Foundations Workshop. IEEE press. (June 1998) 25\u201332","DOI":"10.1109\/CSFW.1998.683152"},{"key":"28_CR2","doi-asserted-by":"crossref","unstructured":"Abadi, M. and Needham, R.: Prudent Engineering Practice for Cryptographic Protocols. IEEE Transactions on Software Engineering, 22(1) (January 1996)","DOI":"10.1109\/32.481513"},{"key":"28_CR3","doi-asserted-by":"crossref","unstructured":"Bellovin, S.M. and Merritt, M.: Encrypted Key Exchange: Password-Based Protocols Secure Against Dictionary Attacks. In: Proceedings of 1992 IEEE Computer Society Conference on Research in Security and Privacy. (1992) 72\u201384","DOI":"10.1109\/RISP.1992.213269"},{"key":"28_CR4","unstructured":"John Clark and Jeremy Jacob: A Survay of Authentication Protocols Literature: version 1.0. Available at http:\/\/www.cs.york.ac.uk\/jac\/papers\/drareview.ps.gz , (November 1997)"},{"key":"28_CR5","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/BF00124891","volume":"2","author":"W. Diffie","year":"1992","unstructured":"Diffie, W., van Oorschot, P.C., and Wiener, M.J.: Authentication and Authenticated Key Exchanges. Design, Codes and Cryptography, 2:107\u2013125 (1992)","journal-title":"Design, Codes and Cryptography"},{"key":"28_CR6","unstructured":"Donovan, B., Norris, P., and Lowe, G.: \u201cAnalizing a Library of Security Protocols Using Casper and FDR\u201d. In Proceedings of the FLoC Workshop Formal Methods and Security Protocols, Trento (July 1999)"},{"key":"28_CR7","unstructured":"Durante, A.: Uno strumento automatico per la verifica di protocolli crittograci. Master\u2019s thesis, Universit\u00e0 degli Studi di Bologna (sede Cesena). (luglio 1998)"},{"key":"28_CR8","unstructured":"Durante, A.: Analysis of cryptographic protocols: the environment and the application. In: Proceedings of 15th IFIP SEC 2000. (August 2000)"},{"key":"28_CR9","doi-asserted-by":"crossref","unstructured":"Durante, A., Focardi, R., and Gorrieri, R.: CVS: a tools for the analysis of cryptographic protocols. In Proceedings of 12th IEEE Computer Security Foundation Workshop, (July 1999) 203\u2013212","DOI":"10.1109\/CSFW.1999.779774"},{"key":"28_CR10","doi-asserted-by":"crossref","unstructured":"Durante, A., Focardi, R., and Gorrieri, R.: A Compiler for Analysing Cryptographic Protocols Using Non-Interference. To appear in ACM Transaction on Software Engeneering and Methodology (TOSEM) (2000)","DOI":"10.1145\/363516.363532"},{"key":"28_CR11","unstructured":"Fabrega, F.J.T., Herzog, J.C., and Guttman, J.D.: Honest Ideals on Strand Spaces. In: Proceedings of 11th IEEE Computer Security Foundation Workshop. (June 1998) 66\u201377"},{"issue":"1","key":"28_CR12","doi-asserted-by":"crossref","first-page":"5","DOI":"10.3233\/JCS-1994\/1995-3103","volume":"3","author":"R. Focardi","year":"1995","unstructured":"Focardi, R. and Gorrieri, R.: A Classification of Security Properties for Process Algebras. Journal of Computer Security, 3(1):5\u201333 (1995)","journal-title":"Journal of Computer Security"},{"issue":"9","key":"28_CR13","doi-asserted-by":"publisher","first-page":"550","DOI":"10.1109\/32.629493","volume":"23","author":"R. Focardi","year":"1997","unstructured":"Focardi, R. and Gorrieri, R.: The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties. IEEE Transactions on Software Engineering, 23(9):550\u2013571 (September 1997)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"28_CR14","series-title":"Lect Notes Comput Sci","first-page":"744","volume-title":"Proceedings of ICALP\u201900","author":"R. Focardi","year":"2000","unstructured":"Focardi, R., Gorrieri, R., and Martinelli, F.: \u201cNon Interference for the Analysis of Cryptographic Protocols\u201d. In Proceedings of ICALP\u201900. LNCS 1853 (July 2000) 744\u2013755"},{"key":"28_CR15","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of World Congress on Formal Methods in the Development of Computing Systems (FM\u201999)","author":"R. Focardi","year":"1999","unstructured":"Focardi, R. and Martinelli, F.: A Uniform Approach for the Definition of Security Properties. In: Proceedings of World Congress on Formal Methods in the Development of Computing Systems (FM\u201999), LNCS 1708. Toulouse (France). Springer-Verlag LNCS. 794\u2014813 (September 1999)"},{"key":"28_CR16","doi-asserted-by":"crossref","unstructured":"Goguen, J.A. and Meseguer, J.: Security Policy and Security Models. In: Proceeding\u2014s of the 1982 Symposium on Security and Privacy. IEEE Computer Society Press (April 1982) 11\u201320","DOI":"10.1109\/SP.1982.10014"},{"key":"28_CR17","unstructured":"Gollman, D.: On the Verification of Cryptographic Protocols \u2014 A Tale of Two Committees. In: Workshop on secure architectures and information flow. Vol. 32 of ENTCS (2000)"},{"key":"28_CR18","unstructured":"International Organization for Standardization. Information technology \u2014 Security techniques \u2014 Entity authentication mechanism; Part 3: Entity authentication using a public key algorithm. ISO\/IEC 9798-3 (1995)"},{"key":"28_CR19","series-title":"Lect Notes Comput Sci","first-page":"146","volume-title":"Proceedings of Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201996)","author":"G. Lowe","year":"1996","unstructured":"Lowe, G.: Breaking and Fixing the Needham-Schroeder Public-key Protocol using FDR. In: Proceedings of Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201996). Passau (Germany). Springer-Verlag, LNCS 1055. 146\u2013166 (March 1996)"},{"key":"28_CR20","doi-asserted-by":"crossref","unstructured":"Lowe, G.: CASPER: A Compiler for the Analysis of the security protocols. In: Proceedings Tenth IEEE Computer Security Foundation Workshop, (CSFW\u201997). Rockport Massachusetts (USA). IEEE Press 18\u201330 (June 1997)","DOI":"10.1109\/CSFW.1997.596779"},{"issue":"2","key":"28_CR21","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/0743-1066(95)00095-X","volume":"26","author":"C. Meadows","year":"1996","unstructured":"Meadows, C.: The NRL Protocol Analyzer: An Overview. Journal of Logic Programming, 26(2):113\u2013131 (1996)","journal-title":"Journal of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Information Assurance in Computer Networks"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45116-1_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T19:44:04Z","timestamp":1556739844000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45116-1_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540421030","9783540451167"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-45116-1_28","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}