{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:50:33Z","timestamp":1725558633840},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540202165"},{"type":"electronic","value":"9783540452089"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45208-9_29","type":"book-chapter","created":{"date-parts":[[2010,6,28]],"date-time":"2010-06-28T04:49:20Z","timestamp":1277700560000},"page":"369-382","source":"Crossref","is-referenced-by-count":1,"title":["Information Flow Security and Recursive Systems"],"prefix":"10.1007","author":[{"given":"Annalisa","family":"Bossi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Damiano","family":"Macedonio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carla","family":"Piazza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sabina","family":"Rossi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"29_CR1","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1145\/203095.201069","volume":"17","author":"M. Abadi","year":"1995","unstructured":"Abadi, M., Lamport, L.: Conjoining Specifications. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a017(3), 507\u2013535 (1995)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"issue":"1","key":"29_CR2","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1006\/inco.2000.3020","volume":"168","author":"C. Bodei","year":"2001","unstructured":"Bodei, C., Degano, P., Nielson, F., Nielson, H.: Static Analysis for the \u03c0-calculus with Applications to Security. Information and Computation\u00a0168(1), 68\u201392 (2001)","journal-title":"Information and Computation"},{"key":"29_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/3-540-45719-4_19","volume-title":"Algebraic Methodology and Software Technology","author":"A. Bossi","year":"2002","unstructured":"Bossi, A., Focardi, R., Piazza, C., Rossi, S.: Transforming Processes to Ensure and Check Information Flow Security. In: Kirchner, H., Ringeissen, C. (eds.) AMAST 2002. LNCS, vol.\u00a02422, pp. 271\u2013286. Springer, Heidelberg (2002)"},{"key":"29_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45013-0_16","volume-title":"Logic Based Program Synthesis and Transformation","author":"A. Bossi","year":"2003","unstructured":"Bossi, A., Focardi, R., Piazza, C., Rossi, S.: A Proof System for Information Flow Security. In: Leuschel, M. (ed.) LOPSTR 2002. LNCS, vol.\u00a02664, Springer, Heidelberg (2003) (to appear)"},{"key":"29_CR5","unstructured":"Bossi, A., Macedonio, D., Piazza, C., Rossi, S.: P BNDC and Replication. Technical Report CS-2003-6, Dipartimento di Informatica, Universit\u00e0 Ca\u2019 Foscari di Venezia, Italy (2003), \n                    \n                      http:\/\/www.dsi.unive.it\/ricerca\/TR\/index.htm"},{"key":"29_CR6","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/978-0-387-35496-5_14","volume-title":"Proc. Int. Conference on Formal Methods for Open Object-Based Distributed Systems (IFIPM 2002)","author":"C. Braghin","year":"2002","unstructured":"Braghin, C., Cortesi, A., Focardi, R.: Control Flow Analysis of Mobile Ambients with Security Boundaries. In: Proc. Int. Conference on Formal Methods for Open Object-Based Distributed Systems (IFIPM 2002), pp. 197\u2013212. Kluwer, Dordrecht (2002)"},{"key":"29_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45061-0_12","volume-title":"Automata, Languages and Programming","author":"N. Busi","year":"2003","unstructured":"Busi, N., Gabbrielli, M., Zavattaro, G.: Replication vs. Recursive Definitions in Channel Based Calculi. In: Baeten, J.C.M., Lenstra, J.K., Parrow, J., Woeginger, G.J. (eds.) ICALP 2003. LNCS, vol.\u00a02719, Springer, Heidelberg (2003) (to appear)"},{"issue":"6","key":"29_CR8","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1109\/32.55085","volume":"16","author":"D. McCullough","year":"1990","unstructured":"McCullough, D.: A Hookup Theorem for Multilevel Security. IEEE Transactions on Software Engineering\u00a016(6), 563\u2013568 (1990)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"29_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/3-540-45608-2_6","volume-title":"Foundations of Security Analysis and Design","author":"R. Focardi","year":"2001","unstructured":"Focardi, R., Gorrieri, R.: Classification of Security Properties (Part I: Information Flow). In: Focardi, R., Gorrieri, R. (eds.) FOSAD 2000. LNCS, vol.\u00a02171, p. 331. Springer, Heidelberg (2001)"},{"key":"29_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"744","DOI":"10.1007\/3-540-45022-X_62","volume-title":"Automata, Languages and Programming","author":"R. Focardi","year":"2000","unstructured":"Focardi, R., Gorrieri, R., Martinelli, F.: Non Interference for the Analysis of Cryptographic Protocols. In: Welzl, E., Montanari, U., Rolim, J.D.P. (eds.) ICALP 2000. LNCS, vol.\u00a01853, pp. 744\u2013755. Springer, Heidelberg (2000)"},{"key":"29_CR11","first-page":"307","volume-title":"Proc. of the IEEE Computer Security Foundations Workshop (CSFW 2002)","author":"R. Focardi","year":"2002","unstructured":"Focardi, R., Rossi, S.: Information Flow Security in Dynamic Contexts. In: Proc. of the IEEE Computer Security Foundations Workshop (CSFW 2002), pp. 307\u2013319. IEEE Comp. Soc. Press, Los Alamitos (2002)"},{"key":"29_CR12","first-page":"116","volume-title":"Proc. of the IEEE Symposium on Security and Privacy","author":"S.N. Foley","year":"1987","unstructured":"Foley, S.N.: A Universal Theory of Information Flow. In: Proc. of the IEEE Symposium on Security and Privacy, pp. 116\u2013122. IEEE Comp. Soc. Press, Los Alamitos (1987)"},{"key":"29_CR13","first-page":"11","volume-title":"Proc. of the IEEE Symposium on Security and Privacy","author":"J.A. Goguen","year":"1982","unstructured":"Goguen, J.A., Meseguer, J.: Security Policies and Security Models. In: Proc. of the IEEE Symposium on Security and Privacy, pp. 11\u201320. IEEE Comp. Soc. Press, Los Alamitos (1982)"},{"issue":"5","key":"29_CR14","doi-asserted-by":"publisher","first-page":"566","DOI":"10.1145\/570886.570890","volume":"24","author":"M. Hennessy","year":"2002","unstructured":"Hennessy, M., Riely, J.: Information Flow vs. Resource Access in the Asynchronous Pi-calculus. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a024(5), 566\u2013591 (2002)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"29_CR15","first-page":"88","volume-title":"Proc. of the IEEE Symposium on Security and Privacy","author":"H. Mantel","year":"2002","unstructured":"Mantel, H.: On the Composition of Secure Systems. In: Proc. of the IEEE Symposium on Security and Privacy, pp. 88\u2013101. IEEE Comp. Soc. Press, Los Alamitos (2002)"},{"key":"29_CR16","first-page":"44","volume-title":"Proc. of the IEEE Computer Security Foundations Workshop (CSFW 1998)","author":"F. Martinelli","year":"1998","unstructured":"Martinelli, F.: Partial Model Checking and Theorem Proving for Ensuring Security Properties. In: Proc. of the IEEE Computer Security Foundations Workshop (CSFW 1998), pp. 44\u201352. IEEE Comp. Soc. Press, Los Alamitos (1998)"},{"key":"29_CR17","first-page":"180","volume-title":"Proc. of the IEEE Symposium on Security and Privacy","author":"J. McLean","year":"1990","unstructured":"McLean, J.: Security Models and Information Flow. In: Proc. of the IEEE Symposium on Security and Privacy, pp. 180\u2013187. IEEE Comp. Soc. Press, Los Alamitos (1990)"},{"issue":"1","key":"29_CR18","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1109\/32.481534","volume":"22","author":"J. McLean","year":"1996","unstructured":"McLean, J.: A General Theory of Composition for a Class of \u201cPossibilistic\u201d Security Properties. IEEE Transactions on Software Engineering\u00a022(1), 53\u201367 (1996)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"29_CR19","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"29_CR20","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/978-3-642-58041-3_6","volume-title":"Logic and Algebra of Specification","author":"R. Milner","year":"1993","unstructured":"Milner, R.: The Polyadic Pi-calculus: a tutorial. In: Bauer, F.L., Brauer, W., Schwichtenberg, H. (eds.) Logic and Algebra of Specification, pp. 203\u2013246. Springer, Heidelberg (1993)"},{"issue":"1\/2","key":"29_CR21","doi-asserted-by":"crossref","first-page":"75","DOI":"10.3233\/JCS-2001-91-204","volume":"9","author":"P. Ryan","year":"2001","unstructured":"Ryan, P., Schneider, S.: Process Algebra and Non-Interference. Journal of Computer Security\u00a09(1\/2), 75\u2013103 (2001)","journal-title":"Journal of Computer Security"},{"issue":"1","key":"29_CR22","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1109\/JSAC.2002.806121","volume":"21","author":"A. Sabelfeld","year":"2003","unstructured":"Sabelfeld, A., Myers, A.C.: Language-Based Information-Flow Security. IEEE Journal on Selected Areas in Communication\u00a021(1), 5\u201319 (2003)","journal-title":"IEEE Journal on Selected Areas in Communication"},{"key":"29_CR23","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1109\/CSFW.2000.856937","volume-title":"Proc. of the IEEE Computer Security Foundations Workshop (CSFW 2000)","author":"A. Sabelfeld","year":"2000","unstructured":"Sabelfeld, A., Sands, D.: Probabilistic Noninterference for Multi-threaded Programs. In: Proc. of the IEEE Computer Security Foundations Workshop (CSFW 2000), pp. 200\u2013215. IEEE Comp. Soc. Press, Los Alamitos (2000)"},{"key":"29_CR24","volume-title":"The \u03c0-calculus","author":"D. Sangiorgi","year":"2001","unstructured":"Sangiorgi, D., Walker, D.: The \u03c0-calculus. Cambridge University Press, Cambridge (2001)"},{"issue":"3","key":"29_CR25","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/129393.129396","volume":"14","author":"J. Widom","year":"1992","unstructured":"Widom, J., Gries, D., Schneider, F.B.: Trace-based Network Proof Systems: Expressiveness and Completeness. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a014(3), 396\u2013416 (1992)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"29_CR26","first-page":"74","volume-title":"Proc. of the IEEE Symposium on Security and Privacy","author":"A. Zakinthinos","year":"1997","unstructured":"Zakinthinos, A., Lee, E.S.: A General Theory of Security Properties. In: Proc. of the IEEE Symposium on Security and Privacy, pp. 74\u2013102. IEEE Comp. Soc. Press, Los Alamitos (1997)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45208-9_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,25]],"date-time":"2019-01-25T18:29:04Z","timestamp":1548440944000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45208-9_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540202165","9783540452089"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45208-9_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}