{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:16:25Z","timestamp":1725574585333},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540236108"},{"type":"electronic","value":"9783540304760"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30476-0_15","type":"book-chapter","created":{"date-parts":[[2011,1,12]],"date-time":"2011-01-12T12:51:35Z","timestamp":1294836695000},"page":"135-149","source":"Crossref","is-referenced-by-count":3,"title":["Exploiting Symmetries for Testing Equivalence in the Spi Calculus"],"prefix":"10.1007","author":[{"given":"Ivan","family":"Cibrario B.","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Durante","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Riccardo","family":"Sisto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adriano","family":"Valenzano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"15_CR1","first-page":"267","volume":"5","author":"M. Abadi","year":"1998","unstructured":"Abadi, M., Gordon, A.D.: A bisimulation method for cryptographic protocols. Nordic J. Comput.\u00a05(4), 267\u2013303 (1998)","journal-title":"Nordic J. Comput."},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Abadi, M., Gordon, A.D.: A calculus for cryptographic protocols the spi calculus. SRC - Research Report 149, Digital System Research Center (1998)","DOI":"10.1145\/266420.266432"},{"key":"15_CR3","unstructured":"Bellare, M., Garay, J., Hauser, R., Herberg, A., Krawczyk, H., Steiner, M., Tsudik, G., Waidner, M.: iKP - A family of secure electronic payment protocols. In: Proceedings of the 1st USENIX Workshop on Electronic Commerce, Berkeley, CA, pp. 157\u2013166. USENIX Assoc. (1995)"},{"issue":"3","key":"15_CR4","doi-asserted-by":"publisher","first-page":"947","DOI":"10.1137\/S0097539700377864","volume":"31","author":"M. Boreale","year":"2002","unstructured":"Boreale, M., De Nicola, R., Pugliese, R.: Proof techniques for cryptographic processes. SIAM J. Comput.\u00a031(3), 947\u2013986 (2002)","journal-title":"SIAM J. Comput."},{"key":"15_CR5","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1098\/rspa.1989.0125","volume":"426","author":"M. Burrows","year":"1871","unstructured":"Burrows, M., Abadi, M., Needham, R.: A logic of authentication. Proceedings of the Royal Society, Series A\u00a0426, 233\u2013271 (1871)","journal-title":"Proceedings of the Royal Society, Series A"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1007\/3-540-36577-X_21","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"I. Cibrario Bertolotti","year":"2003","unstructured":"Cibrario Bertolotti, I., Durante, L., Sisto, R., Valenzano, A.: A new knowledge representation strategy for cryptographic protocol analysis. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol.\u00a02619, pp. 284\u2013298. Springer, Heidelberg (2003)"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Cibrario Bertolotti, I., Durante, L., Sisto, R., Valenzano, A.: Symmetry-based reduction for testing equivalence in the spi calculus. Technical Report DAI\/ARC 1-04, Politecnico di Torino (2004)","DOI":"10.1007\/978-3-540-30476-0_15"},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1007\/3-540-46419-0_34","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Jha, S., Marrero, W.: Partial order reductions for security protocol verification. In: Schwartzbach, M.I., Graf, S. (eds.) TACAS 2000. LNCS, vol.\u00a01785, p. 503. Springer, Heidelberg (2000)"},{"issue":"4","key":"15_CR9","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1145\/363516.363528","volume":"9","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Jha, S., Marrero, W.: Verifying security protocols with Brutus. ACM Trans. Softw. Eng. Meth.\u00a09(4), 443\u2013487 (2000)","journal-title":"ACM Trans. Softw. Eng. Meth."},{"issue":"2","key":"15_CR10","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1145\/941566.941570","volume":"12","author":"L. Durante","year":"2003","unstructured":"Durante, L., Sisto, R., Valenzano, A.: Automatic testing equivalence verification of spi calculus specifications. ACM Trans. Softw. Eng. Meth.\u00a012(2), 222\u2013284 (2003)","journal-title":"ACM Trans. Softw. Eng. Meth."},{"key":"15_CR11","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1109\/CSFW.2001.930144","volume-title":"Proceedings of the 14th IEEE Computer Security Foundations Workshop (CSFW 2001)","author":"M. Fiore","year":"2001","unstructured":"Fiore, M., Abadi, M.: Computing symbolic models for verifying cryptographic protocols. In: Proceedings of the 14th IEEE Computer Security Foundations Workshop (CSFW 2001), Washington, pp. 160\u2013173. IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"15_CR12","unstructured":"Gnesi, S., Latella, D., Lenzini, G.: A BRUTUS logic for the Spi-Calculus. In: Proceedings of WITS 2002 (2002)"},{"key":"15_CR13","volume-title":"Coloured Petri nets: basic concepts, analysis methods and practical use","author":"K. Jensen","year":"1995","unstructured":"Jensen, K.: Coloured Petri nets: basic concepts, analysis methods and practical use. Springer, Berlin (1995)"},{"key":"15_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/3-540-61042-1_43","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G. Lowe","year":"1996","unstructured":"Lowe, G.: Breaking and fixing the Needham-Schroeder public-key protocol using FDR. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol.\u00a01055, pp. 147\u2013166. Springer, Heidelberg (1996)"},{"key":"15_CR15","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1109\/CSFW.1996.503701","volume-title":"Proceedings of the 9th IEEE Computer Security Foundations Workshop (CSFW 1996)","author":"G. Lowe","year":"1996","unstructured":"Lowe, G.: Some new attacks upon security protocols. In: Proceedings of the 9th IEEE Computer Security Foundations Workshop (CSFW 1996), Washington, pp. 162\u2013169. IEEE Computer Society Press, Los Alamitos (1996)"},{"key":"15_CR16","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1109\/CSFW.1997.596779","volume-title":"Proceedings of the 10th IEEE Computer Security Foundations Workshop (CSFW 1997)","author":"G. Lowe","year":"1997","unstructured":"Lowe, G.: Casper: a compiler for the analysis of security protocols. In: Proceedings of the 10th IEEE Computer Security Foundations Workshop (CSFW 1997), Washington, pp. 18\u201330. IEEE Computer Society Press, Los Alamitos (1997)"},{"issue":"2","key":"15_CR17","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1109\/TSE.1987.233151","volume":"13","author":"J.K. Millen","year":"1987","unstructured":"Millen, J.K., Clark, S.C., Freedman, S.B.: The Interrogator: Protocol security analysis. IEEE Trans. Softw. Eng.\u00a013(2), 274\u2013288 (1987)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"15_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, parts I and II. Inf. Comput.\u00a0100(1), 1\u201377 (1992)","journal-title":"Inf. Comput."},{"issue":"12","key":"15_CR19","doi-asserted-by":"publisher","first-page":"993","DOI":"10.1145\/359657.359659","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(12), 993\u2013999 (1978)","journal-title":"Communications of the ACM"},{"key":"15_CR20","doi-asserted-by":"crossref","first-page":"85","DOI":"10.3233\/JCS-1998-61-205","volume":"6","author":"L.C. Paulson","year":"1998","unstructured":"Paulson, L.C.: The inductive approach to verifying cryptographic protocols. J. Comput. Sec.\u00a06, 85\u2013128 (1998)","journal-title":"J. Comput. Sec."},{"issue":"9","key":"15_CR21","doi-asserted-by":"publisher","first-page":"741","DOI":"10.1109\/32.713329","volume":"24","author":"S. Schneider","year":"1998","unstructured":"Schneider, S.: Verifying authentication protocols in CSP. IEEE Trans. Softw. Eng.\u00a024(9), 741\u2013758 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"15_CR22","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1145\/350887.350891","volume":"9","author":"A.P. Sistla","year":"2000","unstructured":"Sistla, A.P., Gyuris, V., Emerson, E.A.: Smc: A symmetry-based model checker for verification of safety and liveness properties. ACM Trans. Softw. Eng. Meth.\u00a09(2), 133\u2013166 (2000)","journal-title":"ACM Trans. Softw. Eng. Meth."}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30476-0_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:53:40Z","timestamp":1605743620000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30476-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540236108","9783540304760"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30476-0_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}