{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:07:22Z","timestamp":1725548842147},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540241010"},{"type":"electronic","value":"9783540317944"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31794-4_5","type":"book-chapter","created":{"date-parts":[[2010,2,28]],"date-time":"2010-02-28T19:11:12Z","timestamp":1267384272000},"page":"77-92","source":"Crossref","is-referenced-by-count":1,"title":["Towards a Formal Treatment of Secrecy Against Computational Adversaries"],"prefix":"10.1007","author":[{"given":"Angelo","family":"Troina","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Aldini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Gorrieri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"5_CR1","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. Information and Computation\u00a0148(1), 1\u201370 (1999)","journal-title":"Information and Computation"},{"key":"5_CR2","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. In: Watanabe, O., Hagiya, M., Ito, T., van Leeuwen, J., Mosses, P.D. (eds.) TCS 2000. LNCS, vol.\u00a01872, pp. 3\u201322. Springer, Heidelberg (2000)"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-24631-2_1","volume-title":"Foundations of Security Analysis and Design II","author":"A. Aldini","year":"2004","unstructured":"Aldini, A., Bravetti, M., Di Pierro, A., Gorrieri, R., Hankin, C., Wiklicky, H.: Two Formal Approaches for Approximating Noninterference Properties. In: Focardi, R., Gorrieri, R. (eds.) FOSAD 2001. LNCS, vol.\u00a02946, pp. 1\u201343. Springer, Heidelberg (2004)"},{"issue":"2","key":"5_CR4","doi-asserted-by":"publisher","first-page":"191","DOI":"10.3233\/JCS-2004-12202","volume":"12","author":"A. Aldini","year":"2004","unstructured":"Aldini, A., Bravetti, M., Gorrieri, R.: A Process-algebraic Approach for the Analysis of Probabilistic Non-interference. Journal of Computer Security\u00a012(2), 191\u2013245 (2004)","journal-title":"Journal of Computer Security"},{"key":"5_CR5","series-title":"M.\u00a0Backes, B.\u00a0Pfitzmann","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45853-0_1","volume-title":"Computer Security - ESORICS 2002","author":"M. Backes","year":"2002","unstructured":"Backes, M., Pfitzmann, B.: Computational Probabilistic Non-interference. In: Gollmann, D., Karjoth, G., Waidner, M. (eds.) ESORICS 2002. M.\u00a0Backes, B.\u00a0Pfitzmann, vol.\u00a02502, pp. 1\u201323. Springer, Heidelberg (2002)"},{"key":"5_CR6","unstructured":"Datta, A., Kusters, R., Mitchell, J.C., Ramanathan, A., Shmatikov, V.: Unifying Equivalence-Based Definitions of Protocol Security. In: Proc. of Workshop on Issues in the Theory of Security, WITS 2004 (2004)"},{"key":"5_CR7","first-page":"1","volume-title":"Proc. of 15th Computer Security Foundations Workshop","author":"A. Pierro Di","year":"2002","unstructured":"Di Pierro, A., Hankin, C., Wiklicky, H.: Approximate Non-Interference. In: Proc. of 15th Computer Security Foundations Workshop, pp. 1\u201317. IEEE CS Press, Los Alamitos (2002)"},{"key":"5_CR8","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"29","author":"D. Dolev","year":"1983","unstructured":"Dolev, D., Yao, A.: On the Security of Public-key Protocols. IEEE Transactions on Information Theory\u00a029, 198\u2013208 (1983)","journal-title":"IEEE Transactions on Information Theory"},{"issue":"4","key":"5_CR9","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1145\/363516.363532","volume":"9","author":"A. Durante","year":"2000","unstructured":"Durante, A., Focardi, R., Gorrieri, R.: A Compiler for Analysing Cryptographic Protocols Using Non-Interference. ACM Transactions on Software Engineering and Methodology (TOSEM)\u00a09(4), 489\u2013530 (2000)","journal-title":"ACM Transactions on Software Engineering and Methodology (TOSEM)"},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"255","DOI":"10.3233\/JCS-1992-13-405","volume":"1","author":"J.W. Gray III","year":"1992","unstructured":"Gray III, J.W.: Toward a Mathematical Foundation for Information Flow Security. Journal of Computer Security\u00a01, 255\u2013294 (1992)","journal-title":"Journal of Computer Security"},{"key":"5_CR11","unstructured":"Herzog, J.: A Computational Interpretation of Dolev-Yao Adversaries. In: Proc. of 3rd Int. Workshop on Issues in the Theory of Security (WITS 2003) (2003)"},{"issue":"4","key":"5_CR12","doi-asserted-by":"publisher","first-page":"448","DOI":"10.1109\/49.17707","volume":"7","author":"R.A. Kemmerer","year":"1989","unstructured":"Kemmerer, R.A.: Analyzing Encryption Protocols using Formal Verification Techniques. IEEE Journal on Selected Areas in Communications\u00a07(4), 448\u2013457 (1989)","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/3-540-45309-1_6","volume-title":"Programming Languages and Systems","author":"P. Laud","year":"2001","unstructured":"Laud, P.: Semantics and Program Analysis of Computationally Secure Information Flow. In: Sands, D. (ed.) ESOP 2001 and ETAPS 2001. LNCS, vol.\u00a02028, pp. 77\u201391. Springer, Heidelberg (2001)"},{"key":"5_CR14","first-page":"112","volume-title":"Proc. of 5th ACM Conf. on Computer and Communications Security","author":"P. Lincoln","year":"1998","unstructured":"Lincoln, P., Mitchell, J.C., Mitchell, M., Scedrov, A.: A Probabilistic Poly-Time Framework for Protocol Analysis. In: Proc. of 5th ACM Conf. on Computer and Communications Security, pp. 112\u2013121. ACM Press, New York (1998)"},{"key":"5_CR15","unstructured":"Micciancio, D., Warinschi, B.: Completeness Theorems for the Abadi-Rogaway Language of Encrypted Expressions. In: 2nd ACM SIGPLAN and IFIP WG 1. 7 Workshop on Issues in the Theory of Security (WITS 2002), Portland (OR) (2002)"},{"issue":"2","key":"5_CR16","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1109\/TSE.1987.233151","volume":"SE-13","author":"J.K. Millen","year":"1987","unstructured":"Millen, J.K., Clark, S.C., Freedman, S.B.: The Interrogator: Protocol Security Analysis. IEEE Transactions on Software Engineering\u00a0SE-13(2), 274\u2013288 (1987)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1-2","key":"5_CR17","doi-asserted-by":"publisher","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. Journal of Computer Security\u00a06(1-2), 85\u2013128 (1998)","journal-title":"Journal of Computer Security"},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"468","DOI":"10.1007\/978-3-540-24727-2_33","volume-title":"Foundations of Software Science and Computation Structures","author":"A. Ramanathan","year":"2004","unstructured":"Ramanathan, A., Mitchell, J., Scedrov, A., Teague, V.: Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol.\u00a02987, pp. 468\u2013483. Springer, Heidelberg (2004)"},{"key":"5_CR19","first-page":"174","volume-title":"IEEE Symposium on Security and Privacy","author":"S. Schneider","year":"1996","unstructured":"Schneider, S.: Security Properties and CSP. In: IEEE Symposium on Security and Privacy, pp. 174\u2013187. IEEE CS Press, Los Alamitos (1996)"},{"key":"5_CR20","unstructured":"Troina, A., Aldini, A., Gorrieri, R.: A Probabilistic Formulation of Imperfect Cryptography. In: Proc. of 1st Int. Workshop on Issues in Security and Petri Nets, WISP 2003 (2003)"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Troina, A., Aldini, A., Gorrieri, R.: Approximating Imperfect Cryptography in a Formal Model. In: Proc. of Mefisto Project Final Workshop. ENTCS. Elsevier, Amsterdam (to appear), available at: \n                  \n                    http:\/\/mefisto.web.cs.unibo.it\/pubbl.html","DOI":"10.1016\/j.entcs.2004.02.008"},{"key":"5_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1007\/978-3-540-24727-2_36","volume-title":"Foundations of Software Science and Computation Structures","author":"P. Degano","year":"2004","unstructured":"Degano, P., Zunino, R.: A Note on the Perfect Encryption Assumption in a Process Calculus. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol.\u00a02987, pp. 514\u2013528. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Global Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31794-4_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,25]],"date-time":"2019-01-25T11:50:59Z","timestamp":1548417059000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31794-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540241010","9783540317944"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31794-4_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}