{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:38:02Z","timestamp":1725557882924},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540206934"},{"type":"electronic","value":"9783540409816"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-40981-6_5","type":"book-chapter","created":{"date-parts":[[2010,6,22]],"date-time":"2010-06-22T19:17:45Z","timestamp":1277234265000},"page":"33-48","source":"Crossref","is-referenced-by-count":2,"title":["Automatic Approximation for the Verification of Cryptographic Protocols"],"prefix":"10.1007","author":[{"given":"Fr\u00e9d\u00e9ric","family":"Oehl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G\u00e9rard","family":"Cece","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olga","family":"Kouchnarenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Sinclair","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Aziz, B., Gray, D., Hamilton, G., Oehl, F., Power, J., Sinclair, D.: Implementing Protocol Verification for E-Commerce. In: Proceedings of the 2001 International Conference on Advances in Infrastructure for Electronic Business, Science, and Education on the Internet, SSGRR 2001 (2001), http:\/\/student.dcu.ie\/~oehlf2\/"},{"issue":"1","key":"5_CR2","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1109\/32.481513","volume":"22","author":"M. Abadi","year":"1996","unstructured":"Abadi, M., Needham, R.: Prudent Engineering Practice for Cryptographic Protocols. IEEE Transactions on Software Engineering\u00a022(1), 6\u201315 (1996)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Abadi, M., Tuttle, M.: A Semantics for a Logic of Authentication. In: Proceedings of the Tenth Annual ACM Symposium on Principles of Distributed Computing, pp. 201\u2013216 (1991)","DOI":"10.1145\/112600.112618"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Burrows, M., Abadi, M., Needham, R.: A Logic of Authentication. Technical report, DIGITAL, Systems Research Center, N 39 (February 1989), http:\/\/www.research.digital.com\/SRC\/publications\/","DOI":"10.1145\/74850.74852"},{"key":"5_CR5","unstructured":"Bolignano, D.: V\u00e9rification formelle de protocoles cryptographiques \u00e1 l\u2019aide de Coq (1995)"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Bolignano, D.: An Approach to the Formal Verification of Cryptographic Protocols. In: ACM Conference on Computer and Communications Security, pp. 106\u2013118 (1996)","DOI":"10.1145\/238168.238196"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"539","DOI":"10.1007\/3-540-45657-0_46","volume-title":"Computer Aided Verification","author":"A. Bouajjani","year":"2002","unstructured":"Bouajjani, A., Touili, T.: Extrapolating Tree Transformations. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, p. 539. Springer, Heidelberg (2002), http:\/\/verif.liafa.jussieu.fr\/~touili\/"},{"key":"5_CR8","unstructured":"Clark, J., Jacob, J.: A Survey of Authentication Protocol literature: Version 1.0 (1997)"},{"issue":"8","key":"5_CR9","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1145\/358722.358740","volume":"24","author":"D.E. Denning","year":"1981","unstructured":"Denning, D.E., Sacco, G.M.: Timestamps in key distribution protocols. Communications of the ACM\u00a024(8), 533\u2013536 (1981)","journal-title":"Communications of the ACM"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Dolev, D., Yao, A.: On the security of public-key protocols. IEEE Transactions on Information Theory\u00a02(29) (1983)","DOI":"10.1109\/TIT.1983.1056650"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/BFb0052368","volume-title":"Rewriting Techniques and Applications","author":"T. Genet","year":"1998","unstructured":"Genet, T.: Decidable Approximations of Sets of Descendants and Sets of Normal Forms. In: Nipkow, T. (ed.) RTA 1998. LNCS, vol.\u00a01379, pp. 151\u2013165. Springer, Heidelberg (1998)"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/10721959_21","volume-title":"Automated Deduction - CADE-17","author":"T. Genet","year":"2000","unstructured":"Genet, T., Klay, F.: Rewriting for Cryptographic Protocol Verification. In: McAllester, D. (ed.) CADE 2000. LNCS, vol.\u00a01831. Springer, Heidelberg (2000), http:\/\/citeseer.nj.nec.com\/genet99rewriting.html"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"977","DOI":"10.1007\/3-540-45591-4_134","volume-title":"Parallel and Distributed Processing","author":"J. Goubault-Larrecq","year":"2000","unstructured":"Goubault-Larrecq, J.: A method for automatic cryptographic protocol verification (extended abstract). In: Rolim, J.D.P. (ed.) FMPPTA 2000. LNCS, vol.\u00a01800, pp. 977\u2013984. Springer, Heidelberg (2000), http:\/\/www.dyade.fr\/fr\/actions\/vip\/publications.html"},{"key":"5_CR14","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1109\/RISP.1990.63854","volume-title":"Proceedings 1990 IEEE Symposium on Research in Security and Privacy","author":"L. Gong","year":"1990","unstructured":"Gong, L., Needham, R., Yahalom, R.: Reasoning About Belief in Cryptographic Protocols. In: Cooper, D., Lunt, T. (eds.) Proceedings 1990 IEEE Symposium on Research in Security and Privacy, pp. 234\u2013248. IEEE Computer Society, Los Alamitos (1990)"},{"key":"5_CR15","unstructured":"SET Working Group. SET TM Specification, books 1,2 and 3 (1996), http:\/\/www.setco.org\/set_specifications.html"},{"key":"5_CR16","unstructured":"TLS Working Group. The TLS Protocol Version 1.0 (1996), http:\/\/www.ietf.org\/html.charters\/tls-charter.html"},{"issue":"8","key":"5_CR17","doi-asserted-by":"publisher","first-page":"695","DOI":"10.1016\/S0140-3664(99)00030-4","volume":"22","author":"S. Gritzalis","year":"1999","unstructured":"Gritzalis, S., Spinellis, D., Georgiadis, P.: Security Protocols over open networks and distributed systems: Formal methods for their analysis, design, and verification. Computer Communications\u00a022(8), 695\u2013707 (1999), http:\/\/citeseer.nj.nec.com\/gritzalis99security.html","journal-title":"Computer Communications"},{"key":"5_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"695","DOI":"10.1007\/3-540-45653-8_48","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"T. Genet","year":"2001","unstructured":"Genet, T., Tong, V.V.T.: Reachability Analysis of Term Rewriting Systems with Timbuk. In: Nieuwenhuis, R., Voronkov, A. (eds.) LPAR 2001. LNCS (LNAI), vol.\u00a02250, p. 695. Springer, Heidelberg (2001)"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Jacquemard, F., Rusinowitch, M., Vigneron, L.: Compiling and Verifying Security Protocols. Logic Programming and Automated Reasoning, 131\u2013160 (2000)","DOI":"10.1007\/3-540-44404-1_10"},{"key":"5_CR20","unstructured":"Leroy, X., Doligez, D., Garrigue, J., R\u00e9my, D., Vouillon, J.: The Objective Caml system release 3.02 (2001)"},{"issue":"3","key":"5_CR21","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/0020-0190(95)00144-2","volume":"56","author":"G. Lowe","year":"1995","unstructured":"Lowe, G.: An Attack on the Needham-Schroeder Public-Key Authentication Protocol. Information Processing Letters\u00a056(3), 131\u2013133 (1995)","journal-title":"Information Processing Letters"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Meadows, C.: A Model of Computation for the NRL Protocol Analyzer. In: CSFW (1994)","DOI":"10.21236\/ADA465465"},{"issue":"2","key":"5_CR23","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 analyser: An overview. Journal of Logic Programming\u00a026(2), 113\u2013131 (1996)","journal-title":"Journal of Logic Programming"},{"key":"5_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/3-540-48294-6_10","volume-title":"Static Analysis","author":"D. Monniaux","year":"1999","unstructured":"Monniaux, D.: Abstracting Cryptographic Protocols with Tree Automata. In: Cortesi, A., Fil\u00e9, G. (eds.) SAS 1999. LNCS, vol.\u00a01694, pp. 149\u2013163. Springer, Heidelberg (1999), http:\/\/citeseer.nj.nec.com\/monniaux99abstracting.html"},{"issue":"2","key":"5_CR25","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1145\/359340.359342","volume":"21","author":"R. Needham","year":"1978","unstructured":"Needham, R., Schroeder, M.: Using encryption for authentication in large networks of computers. Communications of the ACM\u00a021(2), 120\u2013126 (1978)","journal-title":"Communications of the ACM"},{"key":"5_CR26","unstructured":"Oehl, F., Sinclair, D.: Combining two approaches for the verification of cryptographic protocols. In: Workshop Specification, Analysis and Validation for Emerging Technologies in Computational Logic, SAVE 2001 (2001), http:\/\/student.dcu.ie\/~oehlf2\/"},{"key":"5_CR27","unstructured":"Oehl, F., Sinclair, D.: Combining ISABELLE and Timbuk for Cryptographic Protocol Verification. In: Workshop S\u00e9curit\u00e9 des Communications sur Internet, SECI 2002 (2002), http:\/\/student.dcu.ie\/~oehlf2\/"},{"issue":"1-2","key":"5_CR28","doi-asserted-by":"crossref","first-page":"85","DOI":"10.3233\/JCS-1998-61-205","volume":"6","author":"Lawrence C. Paulson","year":"1998","unstructured":"Paulson, L.C.: The Inductive Approach to Verifying Cryptographic Protocols. Journal of Computer Security\u00a06 (1998), http:\/\/www.cl.cam.ac.uk\/users\/lcp\/papers\/protocols.html","journal-title":"Journal of Computer Security"},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"R\u00e9my, D., Vouillon, J.: Objective ML: An effective object-oriented extension to ML (1998)","DOI":"10.1145\/263699.263707"},{"issue":"3","key":"5_CR30","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1145\/182110.182113","volume":"28","author":"T.Y.C. Woo","year":"1994","unstructured":"Woo, T.Y.C., Lam, S.S.: A Lesson on Authentication Protocol Design. Operating Systems Review\u00a028(3), 24\u201337 (1994)","journal-title":"Operating Systems Review"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-40981-6_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,30]],"date-time":"2021-10-30T00:01:35Z","timestamp":1635552095000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40981-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540206934","9783540409816"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40981-6_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}