{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:48:45Z","timestamp":1778298525260,"version":"3.51.4"},"publisher-location":"Boston, MA","reference-count":13,"publisher":"Springer US","isbn-type":[{"value":"9781475752755","type":"print"},{"value":"9780387356082","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/978-0-387-35608-2_32","type":"book-chapter","created":{"date-parts":[[2013,12,29]],"date-time":"2013-12-29T21:57:25Z","timestamp":1388354245000},"page":"383-395","source":"Crossref","is-referenced-by-count":4,"title":["Boundary Inference for Enforcing Security Policies in Mobile Ambients"],"prefix":"10.1007","author":[{"given":"Chiara","family":"Braghin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Agostino","family":"Cortesi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Riccardo","family":"Focardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steffen","family":"Bakel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"32_CR1","unstructured":"US Department of Defense. DoD Trusted Computer System Evaluation Criteria. DOD 5200.28-STD, 1985."},{"key":"32_CR2","volume-title":"Proc. FoSSaCS99, volume 1578 of Lecture Notes in Computer Science, pages 120-134, Springer-Verlag","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. FoSSaCS\u201999, volume 1578 of Lecture Notes in Computer Science, pages 120\u2013134, Springer-Verlag, 1999."},{"key":"32_CR3","doi-asserted-by":"crossref","unstructured":"Chiara Braghin, Agostino Cortesi, and Riccardo Focardi. Control Flow Analysis of Mobile Ambients with Security Boundaries. In Bart Jacobs and Arend Rensink, editors, Proc. of Fifth IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS\u201902), pages 197\u2013212. Kluwer Academic Publisher, 2002.","DOI":"10.1007\/978-0-387-35496-5_14"},{"key":"32_CR4","volume-title":"Proc. 28th ACM Symposium on Principles of Programming Languages (POPL01), pp. 222-235, London","author":"M Bugliesi","year":"2001","unstructured":"M. Bugliesi and G. Castagna. Secure Safe Ambients. In Proc. 28th ACM Symposium on Principles of Programming Languages (POPL\u201901), pp. 222\u2013235, London. 2001."},{"key":"32_CR5","volume-title":"Proc. FoSSaCS98, volume 1378 of Lecture Notes in Computer Science, pages 140-155, Springer-Verlag","author":"L Cardelli","year":"1998","unstructured":"L. Cardelli and A. Gordon. Mobile Ambients. In Proc. FoSSaCS\u201998, volume 1378 of Lecture Notes in Computer Science, pages 140\u2013155, Springer-Verlag, 1998."},{"key":"32_CR6","volume-title":"Proc. of International Workshop on Cuncurrency and Coordination CONCOORD01, Lipari Island, July 2001, volume 54 of Electronic Notes in Theoretical Computer Science, Elsevier","author":"A Cortesi","year":"2001","unstructured":"A. Cortesi, and R. Focardi. Information Flow Security in Mobile Ambients. In Proc. of International Workshop on Cuncurrency and Coordination CONCOORD\u201901, Lipari Island, July 2001, volume 54 of Electronic Notes in Theoretical Computer Science, Elsevier, 2001."},{"key":"32_CR7","first-page":"199","volume":"1961","author":"P Degano","year":"2000","unstructured":"P. Degano, F. Levi, C. Bodei. Safe Ambients: Control Flow Analysis and Security. In Proceedings of ASIAN\u201900, LNCS 1961, 2000, pages 199\u2013214.","journal-title":"LNCS"},{"issue":"1","key":"32_CR8","doi-asserted-by":"crossref","first-page":"5","DOI":"10.3233\/JCS-1994\/1995-3103","volume":"3","author":"R Focardi","year":"1995","unstructured":"R. Focardi and R. Gorrieri. A Classification of Security Properties for Process Algebras. Journal of Computer Security, 3 (1): 5\u201333, 1995.","journal-title":"Journal of Computer Security"},{"key":"32_CR9","doi-asserted-by":"crossref","unstructured":"R. Focardi and R. Gorrieri. The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties, IEEE Transactions on Software Engineering, Vol. 23, No. 9, September 1997.","DOI":"10.1109\/32.629493"},{"key":"32_CR10","doi-asserted-by":"crossref","unstructured":"R. Focardi, R. Gorrieri, F. Martinelli. Information Flow Analysis in a Discrete Time Process Algebra, in Proc. of 13th IEEE Computer Security Foundations Workshop (CSFW13), (P.Syverson ed), IEEE CS Press, 170\u2013184, 2000.","DOI":"10.1109\/CSFW.2000.856935"},{"key":"32_CR11","volume-title":"Proc. Static Analysis Symposium SAS99, volume 1694 of Lecture Notes in Computer Science, pages 134-148, Springer-Verlag","author":"RR Hansen","year":"1999","unstructured":"R. R. Hansen, J. G. Jensen, E Nielson, and H. R. Nielson. Abstract Interpretation of Mobile Ambients. In Proc. Static Analysis Symposium SAS\u201999, volume 1694 of Lecture Notes in Computer Science, pages 134\u2013148, Springer-Verlag, 1999."},{"key":"32_CR12","doi-asserted-by":"crossref","unstructured":"M. Hennessy, J. Riely. Information Flow vs. Resource Access in the Asynchronous Pi-Calculus. ICALP 2000: 415\u2013427.","DOI":"10.1007\/3-540-45022-X_35"},{"key":"32_CR13","doi-asserted-by":"crossref","unstructured":"G. Smith, D.M. Volpano, Secure Information Flow in a Multi-Threaded Imperative Language. In Proc. of POPL 1998: 355\u2013364.","DOI":"10.1145\/268946.268975"}],"container-title":["Foundations of Information Technology in the Era of Network and Mobile Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-35608-2_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T09:50:54Z","timestamp":1746093054000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-35608-2_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9781475752755","9780387356082"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-35608-2_32","relation":{},"subject":[],"published":{"date-parts":[[2002]]}}}