{"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":1761611216193},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540422877"},{"type":"electronic","value":"9783540482246"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-48224-5_32","type":"book-chapter","created":{"date-parts":[[2007,10,28]],"date-time":"2007-10-28T06:29:04Z","timestamp":1193552944000},"page":"382-395","source":"Crossref","is-referenced-by-count":22,"title":["Noninterference for Concurrent Programs"],"prefix":"10.1007","author":[{"given":"G\u00e9rard","family":"Boudol","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ilaria","family":"Castellani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,7,4]]},"reference":[{"issue":"5","key":"32_CR1","doi-asserted-by":"publisher","first-page":"749","DOI":"10.1145\/324133.324266","volume":"46","author":"M. Abadi","year":"1999","unstructured":"M. Abadi. Secrecy by typing in security protocols. Journal of the ACM, 46(5):749\u2013786, 1999.","journal-title":"Journal of the ACM"},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"G\u00e9rard Boudol and Ilaria Castellani. Noninterference for concurrent programs. Research report, INRIA, 2001.","DOI":"10.1007\/3-540-48224-5_32"},{"key":"32_CR3","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings ICALP\u201900","author":"R. Focardi","year":"2000","unstructured":"R. Focardi, R. Gorrieri, and F. Martinelli. Non interference for the analysis of cryptographic protocols. In Proceedings ICALP\u201900, number 1853 in LNCS, 2000."},{"key":"32_CR4","doi-asserted-by":"crossref","unstructured":"J. A. Goguen and J. Meseguer. Security policies and security models. In Proceedings 1982 IEEE Symposium on Security and Privacy, pages 11\u201320, 1982.","DOI":"10.1109\/SP.1982.10014"},{"key":"32_CR5","unstructured":"M. Hennessy. The security \u03c0-calculus and noninterference. Computer Science Technical Report 2000:05, University of Sussex, 2000."},{"key":"32_CR6","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings ICALP\u201900","author":"M. Hennessy","year":"2000","unstructured":"M. Hennessy and J. Riely. Information flow vs resource access in the asynchronous pi-calculus (extended abstract). In Proceedings ICALP\u201900, number 1853 in LNCS, 2000."},{"key":"32_CR7","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings ESOP\u201900","author":"K. Honda","year":"2000","unstructured":"K. Honda, V. Vasconcelos, and N. Yoshida. Secure information flow as typed process behaviour. In Proceedings ESOP\u201900, number 1782 in LNCS, 2000."},{"key":"32_CR8","doi-asserted-by":"crossref","unstructured":"J. Millen. 20 years of covert channel modeling and analysis. In IEEE Symposium on Security and Privacy, 1999.","DOI":"10.1109\/SECPRI.1999.766906"},{"key":"32_CR9","doi-asserted-by":"crossref","unstructured":"A. Myers. Jflow: Practical mostly-static information flow control. In 26th ACM Symposium on Principles of Programming Languages (POPL), 1999.","DOI":"10.1145\/292540.292561"},{"key":"32_CR10","doi-asserted-by":"crossref","unstructured":"F. Pottier and S. Conchon. Information flow inference for free. In Proceedings ICFP\u201900, 2000.","DOI":"10.1145\/351240.351245"},{"key":"32_CR11","doi-asserted-by":"crossref","unstructured":"A. Sabelfeld and D. Sands. Probabilistic noninterference for multi-threaded programs. In IEEE Computer Security Foundations Workshop, 2000.","DOI":"10.1109\/CSFW.2000.856937"},{"key":"32_CR12","doi-asserted-by":"crossref","unstructured":"G. Smith and D. Volpano. Secure information flow in a multi-threaded imperative language. In ACM, editor, Proceedings POPL\u2019 98, pages 355\u2013364. ACM Press, 1998.","DOI":"10.1145\/268946.268975"},{"key":"32_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"607","DOI":"10.1007\/BFb0030629","volume-title":"TAP-SOFT\u201997","author":"D. Volpano","year":"1997","unstructured":"D. Volpano and G. Smith. A type-based approach to program security. In TAP-SOFT\u201997, number 1214 in LNCS, pages 607\u2013621, 1997."},{"key":"32_CR14","doi-asserted-by":"crossref","unstructured":"D. Volpano and G. Smith. Probabilistic noninterference in a concurrent language. Journal of Computer Security, 7(2-3), 1999.","DOI":"10.3233\/JCS-1999-72-305"},{"issue":"3","key":"32_CR15","doi-asserted-by":"crossref","first-page":"167","DOI":"10.3233\/JCS-1996-42-304","volume":"4","author":"D. Volpano","year":"1996","unstructured":"D. Volpano, G. Smith, and C. Irvine. A sound type system for secure flow analysis. Journal of Computer Security, 4(3):167\u2013187, 1996.","journal-title":"Journal of Computer Security"}],"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-48224-5_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T02:28:25Z","timestamp":1556936905000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48224-5_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422877","9783540482246"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-48224-5_32","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}