{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:13:22Z","timestamp":1763468002812,"version":"3.37.3"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2010,8,21]],"date-time":"2010-08-21T00:00:00Z","timestamp":1282348800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[2012,2]]},"DOI":"10.1007\/s10817-010-9199-5","type":"journal-article","created":{"date-parts":[[2010,8,20]],"date-time":"2010-08-20T07:44:48Z","timestamp":1282290288000},"page":"263-292","source":"Crossref","is-referenced-by-count":16,"title":["Decidability of Equivalence of Symbolic Derivations"],"prefix":"10.1007","volume":"48","author":[{"given":"Yannick","family":"Chevalier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Micha\u00ebl","family":"Rusinowitch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,8,21]]},"reference":[{"key":"9199_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Fournet, C.: Mobile values, new names, and secure communication. In: Proceedings of the Principle of Programming Languages Conference, pp. 104\u2013115 (2001)","DOI":"10.1145\/373243.360213"},{"key":"9199_CR2","doi-asserted-by":"crossref","unstructured":"Abadi, M., Gordon, A.D.: A calculus for cryptographic protocols: the spi calculus. In: ACM Conference on Computer and Communications Security, pp. 36\u201347 (1997)","DOI":"10.1145\/266420.266432"},{"issue":"3","key":"9199_CR3","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1007\/s00145-007-0203-0","volume":"20","author":"M Abadi","year":"2007","unstructured":"Abadi, M., Rogaway, P.: Reconciling two views of cryptography (the computational soundness of formal encryption). J. Cryptol. 20(3), 395\u2013395 (2007)","journal-title":"J. Cryptol."},{"key":"9199_CR4","doi-asserted-by":"crossref","unstructured":"Baudet, M.: Deciding security of protocols against off-line guessing attacks. In: Atluri, V., Meadows, C., Juels, A. (eds.) ACM Conference on Computer and Communications Security, pp. 16\u201325. ACM (2005)","DOI":"10.1145\/1102120.1102125"},{"key":"9199_CR5","unstructured":"Baudet, M.: S\u00e9curit\u00e9 des protocoles cryptographiques: aspects logiques et calculatoires. Th\u00e8se de doctorat, Laboratoire Sp\u00e9cification et V\u00e9rification, ENS Cachan, France (2007)"},{"key":"9199_CR6","doi-asserted-by":"crossref","unstructured":"Blanchet, B.: Automatic proof of strong secrecy for security protocols. In: IEEE Symposium on Security and Privacy, pp. 86\u2013100. IEEE Computer Society (2004)","DOI":"10.1109\/SECPRI.2004.1301317"},{"key":"9199_CR7","doi-asserted-by":"crossref","unstructured":"Blanchet, B., Abadi, M., Fournet, C.: Automated verification of selected equivalences for security protocols. In: LICS, pp. 331\u2013340. IEEE Computer Society (2005)","DOI":"10.1109\/LICS.2005.8"},{"key":"9199_CR8","doi-asserted-by":"crossref","unstructured":"Boreale, M., De Nicola, R., Pugliese, R.: Proof techniques for cryptographic processes. In: LICS, pp. 157\u2013166 (1999)","DOI":"10.1109\/LICS.1999.782608"},{"key":"9199_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"412","DOI":"10.1007\/978-3-642-14203-1_35","volume-title":"Proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR\u201910)","author":"V Cheval","year":"2010","unstructured":"Cheval, V. Comon-Lundh, H., Delaune, S.: Automating security analysis: symbolic equivalence of constraint systems. In: Giesl, J., Haehnle, R. (eds.) Proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR\u201910). Lecture Notes in Artificial Intelligence, vol. 6173, pp. 412\u2013426. Springer, Edinburgh, Scotland, UK (2010)"},{"key":"9199_CR10","doi-asserted-by":"crossref","unstructured":"Chevalier, Y., Rusinowitch, M.: Combining intruder theories. In: Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C., Yung, M. (eds.) ICALP. Lecture Notes in Computer Science, vol. 3580, pp. 639\u2013651. Springer (2005)","DOI":"10.1007\/11523468_52"},{"issue":"3","key":"9199_CR11","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1016\/j.ipl.2009.11.004","volume":"110","author":"Y Chevalier","year":"2010","unstructured":"Chevalier, Y., Rusinowitch, M.: Compiling and securing cryptographic protocols. Inf. Process. Lett. 110(3), 116\u2013122 (2010)","journal-title":"Inf. Process. Lett."},{"key":"9199_CR12","doi-asserted-by":"crossref","unstructured":"Comon-Lundh, H., Cortier, V.: Computational soundness of observational equivalence. In: ACM Conference on Computer and Communications Security, pp. 109\u2013118 (2008)","DOI":"10.1145\/1455770.1455786"},{"key":"9199_CR13","doi-asserted-by":"crossref","unstructured":"Cortier, V., Delaune, S.: A method for proving observational equivalence. In: Proceedings of the 22nd IEEE Computer Security Foundations Symposium (CSF\u201909), pp. 266\u2013276. IEEE Computer Society Press (2009)","DOI":"10.1109\/CSF.2009.9"},{"key":"9199_CR14","doi-asserted-by":"crossref","unstructured":"Delaune, S., Kremer, S., Ryan, M.D.: Verifying privacy-type properties of electronic voting protocols: a\u00a0taster. In: Chaum, D., Jakobsson, M., Rivest, R.L., Ryan, P.Y.A., Benaloh, J., Kuty\u0142owski, M., Adida, B. (eds.) Towards Trustworthy Elections \u2013 New Directions in Electronic Voting. Lecture Notes in Computer Science, vol. 6000, pp. 289\u2013309. Springer (2010)","DOI":"10.1007\/978-3-642-12980-3_18"},{"issue":"4","key":"9199_CR15","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1145\/219282.219298","volume":"29","author":"Y Ding","year":"1995","unstructured":"Ding, Y., Horster, P.: Undetectable on-line password guessing attacks. Oper. Syst. Rev. 29(4), 77\u201386 (1995)","journal-title":"Oper. Syst. Rev."},{"key":"9199_CR16","doi-asserted-by":"crossref","unstructured":"Hullot, J.-M.: Canonical forms and unification. In: Bibel, W., Kowalski, R.A. (eds.) CADE. Lecture Notes in Computer Science, vol. 87, pp. 318\u2013334. Springer (1980)","DOI":"10.1007\/3-540-10009-1_25"},{"key":"9199_CR17","doi-asserted-by":"crossref","unstructured":"H\u00fcttel, H.: Deciding framed bisimilarity. Presented at the INFINITY\u201902 workshop (2002)","DOI":"10.7146\/brics.v9i25.21741"},{"issue":"3","key":"9199_CR18","first-page":"93","volume":"17","author":"G Lowe","year":"1996","unstructured":"Lowe, G.: Breaking and fixing the needham-schroeder public-key protocol using fdr. Softw. Concepts Tools 17(3), 93\u2013102 (1996)","journal-title":"Softw. Concepts Tools"},{"key":"9199_CR19","doi-asserted-by":"crossref","unstructured":"Rusinowitch, M., Turuani, M.: Protocol insecurity with finite number of sessions is NP-complete. In: CSFW, pp. 174\u2013190. IEEE Computer Society (2001)","DOI":"10.1109\/CSFW.2001.930145"},{"key":"9199_CR20","unstructured":"Schneier, B.: Applied Cryptography. Addison-Wesley (1996)"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-010-9199-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10817-010-9199-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-010-9199-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,24]],"date-time":"2025-02-24T20:49:48Z","timestamp":1740430188000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10817-010-9199-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,8,21]]},"references-count":20,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2012,2]]}},"alternative-id":["9199"],"URL":"https:\/\/doi.org\/10.1007\/s10817-010-9199-5","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"type":"print","value":"0168-7433"},{"type":"electronic","value":"1573-0670"}],"subject":[],"published":{"date-parts":[[2010,8,21]]}}}