{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:27:19Z","timestamp":1725460039377},"publisher-location":"Boston","reference-count":17,"publisher":"Kluwer Academic Publishers","isbn-type":[{"type":"print","value":"1402081405"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/1-4020-8141-3_26","type":"book-chapter","created":{"date-parts":[[2006,2,21]],"date-time":"2006-02-21T10:15:11Z","timestamp":1140516911000},"page":"317-331","source":"Crossref","is-referenced-by-count":0,"title":["Precise Analysis of \u03c0-calculus in Cubic Time"],"prefix":"10.1007","author":[{"given":"L.","family":"Colussi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Fil\u00e8","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Griggio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"Mart\u00ecn Abadi and Bruno Blanchet. Computer assisted verification of a protocol for certified email. In Proceedings of 10th SAS, number 2694 in LNCS, pages 316\u2013335, 2003.","DOI":"10.1007\/3-540-44898-5_17"},{"issue":"4","key":"26_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1006\/inco.1998.2740","volume":"148","author":"M. Abadi","year":"1999","unstructured":"Mart\u00ecn Abadi and Andrew Gordon. A calculus for cryptographic protocols\u2014the spi calculus. Information and Computation, 148(4): 1\u201370. 1999","journal-title":"Information and Computation"},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"G. Bella and L.C. Paulson. Kerberos version iv:inductive analysis of the secrecy goals. In Proceedings of ESORlCS 98, number 1485 in LNCS, pages 361\u2013375, 1998.","DOI":"10.1007\/BFb0055875"},{"key":"26_CR4","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1006\/inco.2000.3020","volume":"165","author":"C. Bodei","year":"2001","unstructured":"Chiara Bodei, Pierpaolo Degano, Flemming Nielson, and Hanne Riis Nielson. Static analysis for the \u03c0-calculas with applications to security. Information and Computation, 165:68\u201392, 2001.","journal-title":"Information and Computation"},{"key":"26_CR5","unstructured":"C. Priami C. Bodei, P. Degano and N. Zannone. An enhanced cfa for security policies. In Proceedings of WITS\u201903, pp.pp131-145, Warszawa, 2003."},{"key":"26_CR6","unstructured":"L. Colussi, G. Fil\u00e8 and A. Griggio. Precise Analysis of \u03c0-calculas in cubic time. Preprint n. 20 Dipartimento di Matematica Pura ed Applicata, University of Padova, 2003. \u201cwww.math.unipd.it\/~colussi\/DMPA-Preprint20-2003.ps"},{"key":"26_CR7","doi-asserted-by":"crossref","unstructured":"Patrick Cousot and Radhia Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Proceedings of 4th ACM POPL, pages 238\u2013252, 1977.","DOI":"10.1145\/512950.512973"},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"J\u00e9r\u00f4me Feret. Confidentiality analysis of mobile systems. In Proceedings of 7th SAS, number 1824 in LNCS, 2000.","DOI":"10.1007\/978-3-540-45099-3_8"},{"key":"26_CR9","doi-asserted-by":"crossref","unstructured":"J\u00e9r\u00f4me Feret. Occurrence counting analysis. In Proceedings of GETCO 2000, appeared on ENTCS, number 39, 2001.","DOI":"10.1016\/S1571-0661(05)01155-2"},{"key":"26_CR10","unstructured":"Robin Milner. Communicating and mobile systems: the \u03c0-calculas. Cambridge University Press, 1999."},{"issue":"1","key":"26_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Robin Milner, Joachim Parrow, and David Walker. A calculus of mobile processes (i and ii). Information and Computation, 100(1): 1\u201377, 1992.","journal-title":"Information and Computation"},{"key":"26_CR12","unstructured":"J.C. Mitchell, V. Shmatikov, and U. Stern. Finite state analysis of ssl 3.0. In Proceedings of 7th USENIX Security Symposium, pages 201\u2013216, 1998."},{"key":"26_CR13","doi-asserted-by":"crossref","unstructured":"Flemming Nielson, Hanne Riis Nielson, and Helmut Seidl. Cryptographic analysis in cubic time. In ENTCS, number 62 in ?, 2002.","DOI":"10.1016\/S1571-0661(04)00316-0"},{"key":"26_CR14","doi-asserted-by":"crossref","unstructured":"Flemming Nielson and Helmut Seidl. Control flow analysis in cubic time. In Proceedings of ESOP\u2019 01, number 2028 in LNCS, pages 252\u2013268, 2001.","DOI":"10.1007\/3-540-45309-1_17"},{"key":"26_CR15","unstructured":"Davide Sangiorgi and David Walker. The \u03c0-calculas: a Theory of Mobile Processes. Cambridge University Press, 2001."},{"key":"26_CR16","unstructured":"R. L. Rivest T. H. Cormen, C. E. Leiserson and C. Stein. Introduction to Algorithms, The Mit Press, 1998."},{"key":"26_CR17","doi-asserted-by":"crossref","unstructured":"Arnaud Venet. Automatic determination of communication topologies in mobile systems. In Proceedings of 5th SAS, number 1503 in LNCS, pages 152\u2013167, 1998.","DOI":"10.1007\/3-540-49727-7_9"}],"container-title":["IFIP International Federation for Information Processing","Exploring New Frontiers of Theoretical Informatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/1-4020-8141-3_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T16:28:14Z","timestamp":1619540894000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/1-4020-8141-3_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["1402081405"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/1-4020-8141-3_26","relation":{},"subject":[]}}