{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:27:07Z","timestamp":1725496027391},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540770497"},{"type":"electronic","value":"9783540770503"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-77050-3_10","type":"book-chapter","created":{"date-parts":[[2007,11,26]],"date-time":"2007-11-26T03:39:22Z","timestamp":1196048362000},"page":"121-132","source":"Crossref","is-referenced-by-count":4,"title":["Key Substitution in the Symbolic Analysis of Cryptographic Protocols"],"prefix":"10.1007","author":[{"given":"Yannick","family":"Chevalier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mounira","family":"Kourjieh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"10_CR1","doi-asserted-by":"publisher","first-page":"695","DOI":"10.1016\/S0304-3975(02)00090-7","volume":"290","author":"R. Amadio","year":"2003","unstructured":"Amadio, R., Lugiez, D., Vanack\u00e8re, V.: On the symbolic reduction of processes with cryptographic functions. Theor. Comput. Sci.\u00a0290(1), 695\u2013740 (2003)","journal-title":"Theor. Comput. Sci."},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"RTA 2007","author":"S. Anantharaman","year":"2007","unstructured":"Anantharaman, S., Narendran, P., Rusinowitch, M.: Intruders with Caps. In: Baader, F. (ed.) RTA 2007. LNCS, vol.\u00a04533, Springer, Heidelberg (2007)"},{"key":"10_CR3","unstructured":"Armando, A., Compagna, L.: Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning. In: Foundation of Computer Security & Verification Workshops, Copenhagen, Denmark (July 25-26, 2002)"},{"key":"10_CR4","unstructured":"Baek, J., Kim, K., Matsumoto, T.: On the significance of Unknown Key-Share Attacks: How to Cope With Them? In: Proc. of Symposium on Cryptography and Information Security (SCIS 2000) (January 2000)"},{"key":"10_CR5","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1145\/1102120.1102125","volume-title":"Proceedings of the 12th ACM Conference on Computer and Communications Security (CCS 2005)","author":"M. Baudet","year":"2005","unstructured":"Baudet, M.: Deciding Security of Protocols against Off-line Guessing Attacks. In: Proceedings of the 12th ACM Conference on Computer and Communications Security (CCS 2005), pp. 16\u201325. ACM Press, New York (2005)"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/3-540-49162-7_12","volume-title":"Public Key Cryptography","author":"S.B. Wilson","year":"1999","unstructured":"Wilson, S.B., Menezes, A.: Unknown Key-Share Attacks on the Station-to-Station (STS) Protocol. In: Imai, H., Zheng, Y. (eds.) PKC 1999. LNCS, vol.\u00a01560, pp. 154\u2013170. Springer, Heidelberg (1999)"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Chevalier, Y., Kourjieh, M.: Key substitution in the symbolic analysis of cryptographic protocols. Technical report, IRIT (2007)","DOI":"10.1007\/978-3-540-77050-3_10"},{"key":"10_CR8","series-title":"LNAI","first-page":"133","volume-title":"Frocos 2007","author":"Y. Chevalier","year":"2007","unstructured":"Chevalier, Y., Lugiez, D., Rusinowitch, M.: Towards an Automatic Analysis of Web Services Security. In: Konev, B., Wolter, F. (eds.) Frocos 2007. LNCS (LNAI), vol.\u00a04720, pp. 133\u2013147. Springer, Heidelberg (2007)"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1007\/11523468_52","volume-title":"Automata, Languages and Programming","author":"Y. Chevalier","year":"2005","unstructured":"Chevalier, Y., Rusinowitch, M.: Combining Intruder Theories. In: Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C., Yung, M. (eds.) ICALP 2005. LNCS, vol.\u00a03580, pp. 639\u2013651. Springer, Heidelberg (2005)"},{"key":"10_CR10","volume-title":"Proceedings of the Automated Software Engineering Conference (ASE 2001)","author":"Y. Chevalier","year":"2001","unstructured":"Chevalier, Y., Vigneron, L.: A Tool for Lazy Verification of Security Protocols. In: Proceedings of the Automated Software Engineering Conference (ASE 2001), IEEE Computer Society Press, Los Alamitos (2001)"},{"issue":"2","key":"10_CR11","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1137\/0217017","volume":"17","author":"S. Goldwasser","year":"1988","unstructured":"Goldwasser, S., Micali, S., Rivest, R.L.: A Digital Signature Scheme Secure Against Adaptive Chosen-Message Attacks. SIAM J. Comput.\u00a017(2), 281\u2013308 (1988)","journal-title":"SIAM J. Comput."},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/BFb0054020","volume-title":"Public Key Cryptography","author":"S. Hirose","year":"1998","unstructured":"Hirose, S., Yoshida, S.: An Authenticated Diffie-Hellman Key Agreement Protocol Secure Against Active Attacks. In: Imai, H., Zheng, Y. (eds.) PKC 1998. LNCS, vol.\u00a01431, pp. 135\u2013148. Springer, Heidelberg (1998)"},{"key":"10_CR13","first-page":"318","volume-title":"Conference on Automated Deduction","author":"J.M.. Hullot","year":"1980","unstructured":"Hullot, J.M.: Canonical forms and unification. In: Bibel, W., Kowalski, R. (eds.) Conference on Automated Deduction, vol.\u00a087, pp. 318\u2013334. Springer, Heidelberg (1980)"},{"key":"10_CR14","doi-asserted-by":"crossref","first-page":"342","DOI":"10.1007\/978-3-642-81955-1_23","volume-title":"Automation of Reasoning 2: Classical Papers on Computational Logic 1967-1970","author":"D.E.. Knuth","year":"1983","unstructured":"Knuth, D.E., Bendix, P.B.: Simple word problems in universal algebras. In: Siekmann, J., Wrightson, G. (eds.) Automation of Reasoning 2: Classical Papers on Computational Logic 1967-1970, pp. 342\u2013376. Springer, Heidelberg (1983)"},{"issue":"2","key":"10_CR15","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\u00a026(2), 113\u2013131 (1996)","journal-title":"Journal of Logic Programming"},{"issue":"3","key":"10_CR16","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1023\/B:DESI.0000036250.18062.3f","volume":"33","author":"A.. Menezes","year":"2004","unstructured":"Menezes, A., Smart, N.P.: Security of Signature Schemes in a Multi-User Setting. Des. Codes Cryptography\u00a033(3), 261\u2013274 (2004)","journal-title":"Des. Codes Cryptography"},{"key":"10_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/11496137_10","volume-title":"Applied Cryptography and Network Security","author":"T.. Pornin","year":"2005","unstructured":"Pornin, T., Stern, J.P.: Digital signatures do not guarantee exclusive ownership. In: Ioannidis, J., Keromytis, A.D., Yung, M. (eds.) ACNS 2005. LNCS, vol.\u00a03531, pp. 138\u2013150. Springer, Heidelberg (2005)"},{"key":"10_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1007\/3-540-48660-7_29","volume-title":"Automated Deduction - CADE-16","author":"C.. Weidenbach","year":"1999","unstructured":"Weidenbach, C.: Towards an Automatic Analysis of Security Protocols in First-Order Logic. In: Ganzinger, H. (ed.) Automated Deduction - CADE-16. LNCS (LNAI), vol.\u00a01632, pp. 314\u2013328. Springer, Heidelberg (1999)"}],"container-title":["Lecture Notes in Computer Science","FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77050-3_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T11:11:42Z","timestamp":1558264302000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77050-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540770497","9783540770503"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77050-3_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}