{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:49:52Z","timestamp":1725562192239},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540212980"},{"type":"electronic","value":"9783540247272"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24727-2_36","type":"book-chapter","created":{"date-parts":[[2010,8,2]],"date-time":"2010-08-02T15:06:41Z","timestamp":1280761601000},"page":"514-528","source":"Crossref","is-referenced-by-count":4,"title":["A Note on the Perfect Encryption Assumption in a Process Calculus"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Zunino","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierpaolo","family":"Degano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"46","key":"36_CR1","first-page":"18","volume":"5","author":"M. Abadi","year":"1999","unstructured":"Abadi, M.: Secrecy by typing in security protocols. Journal of the ACM\u00a05(46), 18\u201336 (1999)","journal-title":"Journal of the ACM"},{"issue":"1","key":"36_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1998.2740","volume":"148","author":"M. Abadi","year":"1999","unstructured":"Abadi, M., Gordon, A.D.: A calculus for cryptographic protocols: The Spi calculus. Journal of Information and Computation\u00a0148(1), 1\u201370 (1999)","journal-title":"Journal of Information and Computation"},{"key":"36_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/3-540-45500-0_4","volume-title":"Theoretical Aspects of Computer Software","author":"M. Abadi","year":"2001","unstructured":"Abadi, M., J\u00fcrjens, J.: Formal eavesdropping and its computational interpretation. In: Kobayashi, N., Pierce, B.C. (eds.) TACS 2001. LNCS, vol.\u00a02215, p. 82. Springer, Heidelberg (2001)"},{"key":"36_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/3-540-44929-9_1","volume-title":"Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics","author":"M. Abadi","year":"2000","unstructured":"Abadi, M., Rogaway, P.: Reconciling two views of cryptography (the computational soundness of formal encryption). In: Watanabe, O., Hagiya, M., Ito, T., van Leeuwen, J., Mosses, P.D. (eds.) TCS 2000. LNCS, vol.\u00a01872, p. 3. Springer, Heidelberg (2000)"},{"key":"36_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1007\/3-540-36494-3_59","volume-title":"STACS 2003","author":"M. Backes","year":"2003","unstructured":"Backes, M., Jacobi, C.: Cryptographically sound and machineassisted verification of security protocols. In: Alt, H., Habib, M. (eds.) STACS 2003. LNCS, vol.\u00a02607, pp. 675\u2013686. Springer, Heidelberg (2003)"},{"key":"36_CR6","doi-asserted-by":"crossref","unstructured":"Bodei, C., Degano, P., Nielson, F., Nielson, H.R.: Static analysis for the \u03c0-calculus with application to security. Information and Computation\u00a0168 (2001)","DOI":"10.1006\/inco.2000.3020"},{"key":"36_CR7","volume-title":"ENTCS","author":"D. Clark","year":"2002","unstructured":"Clark, D., Hunt, S., Malacaria, P.: Quantitative analysis of the leakage of confidential data. In: Di Pierro, A., Wiklicky, H. (eds.) ENTCS, vol.\u00a059, Elsevier, Amsterdam (2002)"},{"issue":"1","key":"36_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","volume":"94","author":"K.G. Larsen","year":"1991","unstructured":"Larsen, K.G., Skou, A.: Bisimulation through probabilistic testing. Information. Information and Computation\u00a094(1), 1\u201328 (1991)","journal-title":"Information and Computation"},{"key":"36_CR9","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1109\/SP.1984.10003","volume-title":"Proceedings of the 1984 Symposium on Security and Privacy (SSP 1984)","author":"J.K. Millen","year":"1984","unstructured":"Millen, J.K.: The interrogator: A tool for cryptographic protocol security. In: Proceedings of the 1984 Symposium on Security and Privacy (SSP 1984), Los Angeles, CA, USA, April 1990, pp. 134\u2013141. IEEE Computer Society Press, Los Alamitos (1984)"},{"key":"36_CR10","unstructured":"Milner, R.: Communicating and Mobile Systems: the \u03c0-Calculus. Cambridge University Press, Cambridge (May 1999)"},{"key":"36_CR11","first-page":"141","volume-title":"Proceedings of the 1997 Conference on Security and Privacy","author":"J.C. Mitchell","year":"1997","unstructured":"Mitchell, J.C., Mitchell, M., Stern, U.: Automated analysis of cryptographic protocols using mur\u03c6. In: Proceedings of the 1997 Conference on Security and Privacy, pp. 141\u2013153. IEEE Computer Society Press, Los Alamitos (1997)"},{"key":"36_CR12","unstructured":"Di Pierro, A., Hankin, C., Wiklicky, H.: Approximate non\u2013 interference. In: Proceedings of CSFW 2002 \u2013 15th IEEE Computer Security Foundations Workshop, Cape Breton, Nova Scotia, Canada (2002)"},{"key":"36_CR13","unstructured":"Troina, A., Aldini, A., Gorrieri, R.: A probabilistic formulation of imperfect cryptography. In: Busi, N., Gorrieri, R., Martinelli, F. (eds.) Proceedings of Int. Workshop on Issues in Security and Petri Nets (WISP 2003), June 2003, pp. 41\u201355 (2003)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24727-2_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,17]],"date-time":"2019-03-17T17:36:56Z","timestamp":1552844216000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24727-2_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540212980","9783540247272"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24727-2_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}