{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T18:39:25Z","timestamp":1742927965954,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642014642"},{"type":"electronic","value":"9783642014659"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-01465-9_6","type":"book-chapter","created":{"date-parts":[[2009,4,4]],"date-time":"2009-04-04T04:56:06Z","timestamp":1238820966000},"page":"82-96","source":"Crossref","is-referenced-by-count":1,"title":["Causality and Accountability"],"prefix":"10.1007","author":[{"given":"Dominic","family":"Duggan","sequence":"first","affiliation":[]},{"given":"Ye","family":"Wu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"6_CR1","doi-asserted-by":"publisher","first-page":"373","DOI":"10.3233\/JCS-2007-15303","volume":"15","author":"C. Piazza","year":"2007","unstructured":"Piazza, C., Bossi, A., Rossi, S.: Compositional information flow security for concurrent programs. Journal of Computer Security\u00a015(3), 373\u2013416 (2007)","journal-title":"Journal of Computer Security"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Askarov, A., Sabelfeld, A.: Gradual release: Unifying delassification, encryption and key release policies. In: IEEE Symposium on Security and Privacy (2007)","DOI":"10.1109\/SP.2007.22"},{"issue":"5","key":"6_CR3","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/s002360050124","volume":"35","author":"M. Boreale","year":"1998","unstructured":"Boreale, M., Sangiorgi, D.: A fully abstract semantics for causality in the pi-calculus. Acta Informatica\u00a035(5), 353\u2013400 (1998)","journal-title":"Acta Informatica"},{"issue":"1-2","key":"6_CR4","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0304-3975(02)00010-5","volume":"281","author":"G. Boudol","year":"2002","unstructured":"Boudol, G., Castellani, I.: Noninterference for concurrent programs and thread systems. Theor. Comput. Sci.\u00a0281(1-2), 109\u2013130 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-27793-4_1","volume-title":"Applications and Theory of Petri Nets 2004","author":"N. Busi","year":"2004","unstructured":"Busi, N., Gorrieri, R.: Positive non-interference in elementary and trace nets. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol.\u00a03099, pp. 1\u201316. Springer, Heidelberg (2004)"},{"key":"6_CR6","volume-title":"Firewalls and Internet Security","author":"W. Cheswick","year":"2003","unstructured":"Cheswick, W., Bellovin, S., Rubin, A.: Firewalls and Internet Security. Addison-Wesley, Reading (2003)"},{"key":"6_CR7","unstructured":"Chothia, T., Duggan, D., Wu, Y.: Trusting the network. In: Foundations of Computer Security, Chicago, IL (2005)"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/11580850_2","volume-title":"Trustworthy Global Computing","author":"S. Crafa","year":"2005","unstructured":"Crafa, S., Rossi, S.: A theory of noninterference for the pi-calculus. In: De Nicola, R., Sangiorgi, D. (eds.) TGC 2005. LNCS, vol.\u00a03705, pp. 2\u201318. Springer, Heidelberg (2005)"},{"issue":"8","key":"6_CR9","doi-asserted-by":"publisher","first-page":"1235","DOI":"10.1016\/j.ic.2007.01.001","volume":"285","author":"S. Crafa","year":"2007","unstructured":"Crafa, S., Rossi, S.: Controlling information release in the pi-calculus. Information and Computation\u00a0285(8), 1235\u20131273 (2007)","journal-title":"Information and Computation"},{"key":"6_CR10","unstructured":"de Oliveira Braga, C.: Rewriting Logic as a Semantic Framework for Modular Structural Operational Semantics. PhD thesis, Pontificia Universidade Catolica do Rio de Janeiro (2001)"},{"issue":"1\u20132","key":"6_CR11","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/S0304-3975(99)80003-6","volume":"216","author":"P. Degano","year":"1999","unstructured":"Degano, P., Priami, C.: Non-interleaving semantics for mobile processes. Theoretical Computer Science\u00a0216(1\u20132), 237\u2013270 (1999)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"6_CR12","doi-asserted-by":"publisher","first-page":"5","DOI":"10.3233\/JCS-1994\/1995-3103","volume":"3","author":"R. Focardi","year":"1995","unstructured":"Focardi, R., Gorrieri, R.: A taxonomy of security properties for process algebras. Journal of Computer Security\u00a03(1), 5\u201334 (1995)","journal-title":"Journal of Computer Security"},{"key":"6_CR13","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. In: Focardi, R., Gorrieri, R. (eds.) FOSAD 2000. LNCS, vol.\u00a02171, pp. 331\u2013396. Springer, Heidelberg (2001)"},{"key":"6_CR14","first-page":"307","volume-title":"Computer Security Foundations Workshop","author":"R. Focardi","year":"2002","unstructured":"Focardi, R., Rossi, S.: Information flow security in dynamic contexts. In: Computer Security Foundations Workshop, pp. 307\u2013319. IEEE Press, Los Alamitos (2002)"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Goguen, J., Meseguer, J.: Security policies and security models. In: IEEE Symposium on Security and Privacy (1982)","DOI":"10.1109\/SP.1982.10014"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Goguen, J., Meseguer, J.: Unwinding and inference control. In: IEEE Symposium on Security and Privacy (1984)","DOI":"10.1109\/SP.1984.10019"},{"key":"6_CR17","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jlap.2004.01.003","volume":"63","author":"M. Hennessy","year":"2004","unstructured":"Hennessy, M.: The security picalculus and non-interference. Journal of Logic and Algebraic Programming\u00a063, 3\u201334 (2004)","journal-title":"Journal of Logic and Algebraic Programming"},{"issue":"5","key":"6_CR18","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\u00a024(5), 566\u2013591 (2002)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"6_CR19","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"6_CR20","first-page":"81","volume-title":"POPL 2002: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages","author":"K. Honda","year":"2002","unstructured":"Honda, K., Yoshida, N.: A uniform type structure for secure information flow. In: POPL 2002: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 81\u201392. ACM, New York (2002)"},{"key":"6_CR21","volume-title":"Causality: Models, Reasoning and Inference","author":"J. Pearl","year":"2000","unstructured":"Pearl, J.: Causality: Models, Reasoning and Inference. Cambridge University Press, Cambridge (2000)"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Kiehn, A.: Comparing locality and causality based equivalences. Acta Informatica (1994)","DOI":"10.1007\/BF01178730"},{"key":"6_CR23","unstructured":"Kobayashi, N.: Type-based information flow analysis for the pi-calculus. Acta Informatica (2003)"},{"issue":"7","key":"6_CR24","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks and the ordering of events in a distributed system. Communications of the ACM\u00a021(7), 558\u2013565 (1978)","journal-title":"Communications of the ACM"},{"key":"6_CR25","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"6_CR26","series-title":"Computer and Systems Sciences","doi-asserted-by":"publisher","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 \u03c0-calculus: A tutorial. In: Bauer, F.L., Brauer, W., Schwichtenberg, H. (eds.) Logic and Algebra of Specification. Computer and Systems Sciences, vol.\u00a094, pp. 203\u2013246. Springer, Heidelberg (1993)"},{"key":"6_CR27","series-title":"EATCS Monographs on Theoretical Computer Science","volume-title":"Petri Nets: An Introduction","author":"W. Reisig","year":"1988","unstructured":"Reisig, W.: Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science, vol.\u00a04. Springer, Heidelberg (1988)"},{"key":"6_CR28","unstructured":"Rushby, J.M.: Noninterference, transitivity and channel-control security policies. Technical report, SRI (1992)"},{"key":"6_CR29","first-page":"214","volume-title":"CSFW 1999: Proceedings of the 12th IEEE workshop on Computer Security Foundations","author":"P.Y.A. Ryan","year":"1999","unstructured":"Ryan, P.Y.A., Schneider, S.A.: Process algebra and non-interference. In: CSFW 1999: Proceedings of the 12th IEEE workshop on Computer Security Foundations, Washington, DC, USA, p. 214. IEEE Computer Society, Los Alamitos (1999)"},{"key":"6_CR30","doi-asserted-by":"crossref","unstructured":"Sabelfeld, A., Myers, A.: Language-based information-flow security. IEEE Journal on Selected Areas in Communications (2002)","DOI":"10.1109\/JSAC.2002.806121"},{"key":"6_CR31","doi-asserted-by":"crossref","unstructured":"Sangiorgi, D.: Asynchronous process calculi: The first-order and higher-order paradigms. Theoretical Computer Science\u00a0(253) (2001)","DOI":"10.1016\/S0304-3975(00)00097-9"},{"key":"6_CR32","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1109\/CSFW.2000.856943","volume-title":"CSFW 2000: Proceedings of the 13th IEEE workshop on Computer Security Foundations","author":"P. Sewell","year":"2000","unstructured":"Sewell, P., Vitek, J.: Secure composition of untrusted code: Wrappers and causality types. In: CSFW 2000: Proceedings of the 13th IEEE workshop on Computer Security Foundations, Washington, DC, USA, p. 269. IEEE Computer Society, Los Alamitos (2000)"},{"key":"6_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/978-3-540-74835-9_16","volume-title":"Computer Security \u2013 ESORICS 2007","author":"R. Meyden van der","year":"2007","unstructured":"van der Meyden, R.: What, indeed, is intransitive noninterference? In: Biskup, J., L\u00f3pez, J. (eds.) ESORICS 2007. LNCS, vol.\u00a04734, pp. 235\u2013250. Springer, Heidelberg (2007)"},{"issue":"6","key":"6_CR34","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1145\/1349026.1349043","volume":"51","author":"D. Weitzner","year":"2008","unstructured":"Weitzner, D., Abelson, H., Berners-Lee, T., Feigenbaum, J., Hendler, J., Sussman, G.J.: Information accountability. Communications of the ACM\u00a051(6), 82\u201387 (2008)","journal-title":"Communications of the ACM"},{"key":"6_CR35","unstructured":"Zeldovich, N., Boyd-Wickizer, S., Mazieres, D.: Securing distributed systems with information flow control. In: Network Systems Design and Implementation (2008)"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects in Security and Trust"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01465-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,24]],"date-time":"2023-05-24T19:05:50Z","timestamp":1684955150000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01465-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642014642","9783642014659"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01465-9_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}