{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:40:33Z","timestamp":1725550833236},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540008989"},{"type":"electronic","value":"9783540365778"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36577-x_32","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:12:04Z","timestamp":1269897124000},"page":"437-441","source":"Crossref","is-referenced-by-count":2,"title":["Banana - A Tool for Boundary Ambients Nesting ANAlysis"],"prefix":"10.1007","author":[{"given":"Chiara","family":"Braghin","sequence":"first","affiliation":[]},{"given":"Agostino","family":"Cortesi","sequence":"additional","affiliation":[]},{"given":"Stefano","family":"Filippone","sequence":"additional","affiliation":[]},{"given":"Riccardo","family":"Focardi","sequence":"additional","affiliation":[]},{"given":"Flaminia L.","family":"Luccio","sequence":"additional","affiliation":[]},{"given":"Carla","family":"Piazza","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,2,28]]},"reference":[{"key":"32_CR1","doi-asserted-by":"crossref","unstructured":"C. Braghin, A. Cortesi, and R. Focardi. Security Boundaries in Mobile Ambients. Computer Languages, Elsevier, to appear, vol. 18, 2002.","DOI":"10.1016\/S0096-0551(02)00009-7"},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"C. Braghin, A. Cortesi, and R. Focardi. Control Flow Analysis of Mobile Ambients with Security Boundaries. In B. Jacobs and A. Rensink, editors, Proc. of Fifth Int. Conf. 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_CR3","series-title":"Lect Notes Comput Sci","volume-title":"A New Algorithm for Control Flow Analysis of Mobile Ambients","author":"C. Braghin","year":"2003","unstructured":"C. Braghin, A. Cortesi, R. Focardi, F.L. Luccio, and C. Piazza A New Algorithm for Control Flow Analysis of Mobile Ambients. In Proc. of The 4th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI\u201903), LNCS, to appear, 2003."},{"key":"32_CR4","doi-asserted-by":"crossref","unstructured":"C. Braghin, A. Cortesi, R. Focardi, and S. van Bakel. Boundary Inference for Enforcing Security Policies in Mobile Ambients. In Proc. of The 2nd IFIP Int. Conf. on Theoretical Computer Science (TCS\u201902), pages 383\u2013395. Kluwer Academic Publisher, August 2002.","DOI":"10.1007\/978-0-387-35608-2_32"},{"issue":"1","key":"32_CR5","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0304-3975(99)00231-5","volume":"240","author":"L. Cardelli","year":"2000","unstructured":"L. Cardelli and A.D. Gordon. Mobile Ambients. Theoretical Computer Science (TCS), 240(1):177\u2013213, 2000.","journal-title":"Theoretical Computer Science (TCS)"},{"key":"32_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/3-540-48294-6_9","volume-title":"Abstract Interpretation of Mobile Ambients","author":"R. R. Hansen","year":"1999","unstructured":"R. R. Hansen, J. G. Jensen, F. Nielson, and H. Riis Nielson. Abstract Interpretation of Mobile Ambients. In Proc. of Static Analysis Symposium (SAS), volume 1694 of Lecture Notes in Computer Science, pages 134\u2013148. Springer-Verlag, September 1999."},{"key":"32_CR7","doi-asserted-by":"crossref","unstructured":"Francesca Levi and Davide Sangiorgi. Controlling Interference in Ambients. In Proc. 28th ACM Symposium on Principles of Programming Languages (POPL\u201901), pages 352\u2013364, 2000.","DOI":"10.1145\/325694.325741"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36577-X_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T18:45:35Z","timestamp":1558982735000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36577-X_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540008989","9783540365778"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-36577-x_32","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}