{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:56Z","timestamp":1761611216222},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540677154"},{"type":"electronic","value":"9783540450221"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45022-x_35","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T18:57:25Z","timestamp":1194980245000},"page":"415-427","source":"Crossref","is-referenced-by-count":27,"title":["Information Flow vs. Resource Access in the Asynchronous Pi-Calculus (Extended Abstract)"],"prefix":"10.1007","author":[{"given":"Matthew","family":"Hennessy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Riely","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,2,18]]},"reference":[{"key":"35_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"611","DOI":"10.1007\/BFb0014571","volume-title":"Proceedings of TAGS\u201997","author":"M. Abadi","year":"1997","unstructured":"Mart\u00edn Abadi. Secrecy by typing in security protocols. In Proceedings of TAGS\u201997, volume 1281 of Lecture Notes in Computer Science, pages 611\u2013637. Springer Verlag, 1997."},{"key":"35_CR2","doi-asserted-by":"crossref","unstructured":"D. E. Bell and L. J. LaPadula. Secure computer system: Unified exposition and multics interpretation. Technical report MTR-2997, MITRE Corporation, 1975.","DOI":"10.21236\/ADA023588"},{"key":"35_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1007\/BFb0055617","volume-title":"Proc. GONGUR\u201998","author":"C. Bodei","year":"1998","unstructured":"C. Bodei, P. Degano, F. Nielson, and H. R. Nielson. Control flow analysis for the 7r-calculus. In Proc. GONGUR\u201998, number 1466 in Lecture Notes in Computer Science, pages 84\u201398. Springer-Verlag, 1998."},{"key":"35_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1007\/3-540-49019-1_9","volume-title":"Proc. FOSSAGS\u201999","author":"C. Bodei","year":"1999","unstructured":"C. Bodei, P. Degano, F. Nielson, and H. R. Nielson. Static analysis of processes for no read-up and no write-down. In Proc. FOSSAGS\u201999, number 1578 in Lecture Notes in Computer Science, pages 120\u2013134. Springer-Verlag, 1999."},{"key":"35_CR5","unstructured":"G. Boudol. Asynchrony and the \u03c0-calculus. Technical Report 1702, INRIA-Sophia Antipolis, 1992."},{"key":"35_CR6","series-title":"Lect Notes Comput Sci","volume-title":"18th Conference on Foundations of Software Technology and Theoretical Computer Science (Chennai, India, December 17\u201319, 1998)","author":"I. Castellani","year":"1998","unstructured":"Ilaria Castellani and Matthew Hennessy. Testing theories for asynchronous languages. In V Arvind and R Ramanujam, editors, 18th Conference on Foundations of Software Technology and Theoretical Computer Science (Chennai, India, December 17\u201319, 1998), LNCS 1530. Springer-Verlag, December 1998."},{"key":"35_CR7","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1145\/359636.359712","volume":"20","author":"D. Denning","year":"1977","unstructured":"D. Denning. Certification of programs for secure information flow. Communications of the ACM, 20:504\u2013513, 1977.","journal-title":"Communications of the ACM"},{"key":"35_CR8","unstructured":"Riccardo Focardi, Anna Ghelli, and Roberto Gorrieri. Using non interference for the analysis of security protocols. In Proceedings of DIM ACS Workshop on Design and Formal Verification of Security Protocols, 1997."},{"key":"35_CR9","doi-asserted-by":"crossref","unstructured":"Riccardo Focardi and Roberto Gorrieri. A classification of security properties for process algebras. Journal of Computer Security, 3(1), 1995.","DOI":"10.3233\/JCS-1994\/1995-3103"},{"key":"35_CR10","doi-asserted-by":"crossref","unstructured":"Riccardo Focardi and Roberto Gorrieri. The compositional security checker: A tool for the verification of information flow security properties. IEEE Transactions on Software Engineering, 23, 1997.","DOI":"10.1109\/32.629493"},{"key":"35_CR11","unstructured":"Riccardo Focardi and Roberto Gorrieri. Non interference: Past, present and future. In Proceedings of DARPA Workshop on Foundations for Secure Mobile Code, 1997."},{"key":"35_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1007\/3-540-61604-7_67","volume-title":"CONCUR: Proceedings of the International Conference on Concurrency Theory","author":"C. Fournet","year":"1996","unstructured":"C. Fournet, G. Gonthier, J.J. Levy, L. Marganget, and D. Remy. A calculus of mobile agents. In U. Montanari and V. Sassone, editors, CONCUR: Proceedings of the International Conference on Concurrency Theory, volume 1119 of Lecture Notes in Computer Science, pages 406\u2013421, Pisa, August 1996. Springer-Verlag."},{"issue":"1","key":"35_CR13","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1145\/357084.357088","volume":"2","author":"R. Reitmas","year":"1980","unstructured":"R. Reitmas G. Andrews. An axiomatic approach to information flow in programs. ACM Transactions on Programming Languages and Systems, 2(1):56\u201376, 1980.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"35_CR14","unstructured":"J. A. Goguen and J. Meseguer. Security policies and security models. In IEEE Symposium on Security and privacy, 1992."},{"key":"35_CR15","doi-asserted-by":"crossref","unstructured":"Nevin Heintz and Jon G. Riecke. The SLam calculus: Programming with secrecy and integrity. In Conference Record of the ACM Symposium on Principles of Programming Languages, San Diego, January 1998.","DOI":"10.1145\/268946.268976"},{"key":"35_CR16","doi-asserted-by":"crossref","unstructured":"Matthew Hennessy and James Riely. Information flow vs. resource access in the asynchronous pi-calculus. Technical report 2000: 03, University of Sussex, 2000. Available from http:\/\/www.cogs.susx.ac.uk\/ .","DOI":"10.1007\/3-540-45022-X_35"},{"key":"35_CR17","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the ECOOP\u2019 91 Workshop on Object-Based Concurrent Computing","author":"K. Honda","year":"1992","unstructured":"Kohei Honda and Mario Tokoro. On asynchronous communication semantics. In P. Wegner M. Tokoro, O. Nierstrasz, editor, Proceedings of the ECOOP\u2019 91 Workshop on Object-Based Concurrent Computing, volume 612 of LNCS 612. Springer-Verlag, 1992."},{"key":"35_CR18","doi-asserted-by":"crossref","unstructured":"Kohei Honda, Vasco Vasconcelos, and Nobuko Yoshida Honda. Secure information flow as typed process behaviour. In Proceedings of European Symposium on Programming (ESOP) 2000. Springer-Verlag, 2000.","DOI":"10.1007\/3-540-46425-5_12"},{"key":"35_CR19","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, 1989."},{"key":"35_CR20","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0304-3975(93)90156-N","volume":"114","author":"R. Milner","year":"1993","unstructured":"R. Milner, J. Parrow, and D. Walker. Mobile logics for mobile processes. Theoretical Computer Science, 114:149\u2013171, 1993.","journal-title":"Theoretical Computer Science"},{"key":"35_CR21","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"24","author":"R. Nicola De","year":"1984","unstructured":"R. De Nicola and M. Hennessy. Testing equivalences for processes. Theoretical Computer Science, 24:83\u2013113, 1984.","journal-title":"Theoretical Computer Science"},{"issue":"5","key":"35_CR22","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1017\/S096012950007002X","volume":"6","author":"B. Pierce","year":"1996","unstructured":"Benjamin Pierce and Davide Sangiorgi. Typing and subtyping for mobile processes. Mathematical Structures in Computer Science, 6(5):409\u2013454, 1996. Extended abstract in LICS\u2019 93.","journal-title":"Mathematical Structures in Computer Science"},{"key":"35_CR23","unstructured":"Benjamin C. Pierce and David N. Turner. Pict: A programming language based on the pi-calculus. Technical Report CSCI 476, Computer Science Department, Indiana University, 1997. To appear in Proof, Language and Interaction: Essays in Honour of Robin Milner, Gordon Plotkin, Colin Stirling, and Mads Tofte, editors, MIT Press."},{"key":"35_CR24","unstructured":"James Riely and Matthew Hennessy. Resource access control in systems of mobile agents (extended abstract). In Proceedings of 3rd International Workshop on High-Level Concurrent Languages, Nice, France, September 1998. Full version available as Computer Science Technical Report 2\/98, University of Sussex, 1997. Available from http:\/\/www.cogs.susx.ac.uk\/ ."},{"key":"35_CR25","series-title":"Lect Notes Comput Sci","volume-title":"European Symposium on Research in Computer Security","author":"A.W. Roscoe","year":"1994","unstructured":"A.W. Roscoe, J.C.P. Woodcock, and L. Wulf. Non-interference through determinism. In European Symposium on Research in Computer Security, volume 875 of LNCS, 1994."},{"key":"35_CR26","unstructured":"P.Y.A. Ryan and S.A. Schneider. Process algebra and non-interference. In CSFW 12. IEEE, 1997."},{"key":"35_CR27","doi-asserted-by":"crossref","unstructured":"Geoffrey Smith and Dennis Volpano. Secure information flow in a multi-threaded imperative language. In Conference Record of the ACM Symposium on Principles of Programming Languages, San Diego, January 1998.","DOI":"10.1145\/268946.268975"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45022-X_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,27]],"date-time":"2020-04-27T23:03:20Z","timestamp":1588028600000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45022-X_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677154","9783540450221"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-45022-x_35","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}