{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:56:06Z","timestamp":1725551766991},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540297352"},{"type":"electronic","value":"9783540322474"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11575467_26","type":"book-chapter","created":{"date-parts":[[2005,11,11]],"date-time":"2005-11-11T13:58:51Z","timestamp":1131717531000},"page":"401-417","source":"Crossref","is-referenced-by-count":3,"title":["A Parametric Model for the Analysis of Mobile Ambients"],"prefix":"10.1007","author":[{"given":"Dino","family":"Distefano","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","first-page":"197","volume-title":"FMOODS 2002","author":"C. Braghin","year":"2002","unstructured":"Braghin, C., Cortesi, A., Focardi, R.: Control flow analysis of mobile ambients with security boundaries. In: Jacobs, B., Rensink, A. (eds.) FMOODS 2002, pp. 197\u2013212. Kluwer, Dordrecht (2002)"},{"key":"26_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"Foundations of Software Science and Computation Structures","author":"L. Cardelli","year":"1998","unstructured":"Cardelli, L., Gordon, A.D.: Mobile ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol.\u00a01378, pp. 140\u2013155. Springer, Heidelberg (1998)"},{"key":"26_CR3","first-page":"365","volume-title":"POLP 2000","author":"L. Cardelli","year":"2000","unstructured":"Cardelli, L., Gordon, A.D.: Anytime, anywhere: Modal logics for mobile ambients. In: POLP 2000, pp. 365\u2013377. ACM Press, New York (2000)"},{"key":"26_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-540-24727-2_7","volume-title":"Foundations of Software Science and Computation Structures","author":"L. Caires","year":"2004","unstructured":"Caires, L.: Behavioral and spatial observations in a logic for \u03c0-calculus. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol.\u00a02987, pp. 72\u201389. Springer, Heidelberg (2004)"},{"issue":"2","key":"26_CR5","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/S0890-5401(03)00137-8","volume":"186","author":"L. Caires","year":"2003","unstructured":"Caires, L., Cardelli, L.: A spatial logic for concurrency (part I). Inf. and Comp.\u00a0186(2), 194\u2013235 (2003)","journal-title":"Inf. and Comp."},{"key":"26_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/3-540-45927-8_21","volume-title":"Programming Languages and Systems","author":"W. Charatonik","year":"2002","unstructured":"Charatonik, W., Gordon, A.D., Talbot, J.-M.: Finite-control mobile ambients. In: Le M\u00e9tayer, D. (ed.) ESOP 2002. LNCS, vol.\u00a02305, pp. 295\u2013313. Springer, Heidelberg (2002)"},{"key":"26_CR7","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1145\/512950.512973","volume-title":"POPL 1977","author":"P. Cousot","year":"1977","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximation of fixed points. In: POPL 1977, pp. 238\u2013252. ACM, New York (1977)"},{"key":"26_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/3-540-44464-5_15","volume-title":"Advances in Computing Science - ASIAN 2000","author":"P. Degano","year":"2000","unstructured":"Degano, P., Levi, F., Bodei, C.: Safe ambients: Control flow analysis and security. In: He, J., Sato, M. (eds.) ASIAN 2000. LNCS, vol.\u00a01961, pp. 199\u2013214. Springer, Heidelberg (2000)"},{"key":"26_CR9","unstructured":"Distefano, D.: On model checking the dynamics of object-based software: a foundational approach. PhD thesis, University of Twente (November 2003)"},{"key":"26_CR10","unstructured":"Distefano, D.: A parametric model for the analysis of mobile ambients. Full version with proofs"},{"key":"26_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/978-3-540-30538-5_21","volume-title":"FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science","author":"D. Distefano","year":"2004","unstructured":"Distefano, D., Katoen, J.-P., Rensink, A.: Who is pointing when to whom? on the automated verification of linked list structures. In: Lodaya, K., Mahajan, M. (eds.) FSTTCS 2004. LNCS, vol.\u00a03328, pp. 250\u2013262. Springer, Heidelberg (2004)"},{"key":"26_CR12","unstructured":"Distefano, D., Rensink, A., Katoen, J.-P.: Who is pointing when to whom: on model-checking pointer structures. Tech. Report TR-CTIT-03-12, University of Twente (2003)"},{"key":"26_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/3-540-48294-6_9","volume-title":"Static Analysis","author":"R.R. Hansen","year":"1999","unstructured":"Hansen, R.R., Jensen, J.G., Nielson, F., Nielson, H.R.: Abstract interpretation of mobile ambients. In: Cortesi, A., Fil\u00e9, G. (eds.) SAS 1999. LNCS, vol.\u00a01694, pp. 134\u2013148. Springer, Heidelberg (1999)"},{"key":"26_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/3-540-47764-0_23","volume-title":"Static Analysis","author":"F. Levi","year":"2001","unstructured":"Levi, F., Maffeis, S.: An abstract interpretation framework for analysing mobile ambients. In: Cousot, P. (ed.) SAS 2001. LNCS, vol.\u00a02126, pp. 395\u2013411. Springer, Heidelberg (2001)"},{"key":"26_CR15","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1145\/325694.325741","volume-title":"POPL 2000","author":"F. Levi","year":"2000","unstructured":"Levi, F., Sangiorgi, D.: Controlling interference in ambients. In: POPL 2000, pp. 352\u2013364. ACM Press, New York (2000)"},{"key":"26_CR16","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/318593.318622","volume-title":"POPL 1985","author":"O. Lichtenstein","year":"1985","unstructured":"Lichtenstein, O., Pnueli, A.: Checking that finite state concurrent programs satisfy their linear specification. In: POPL 1985, pp. 97\u2013107. ACM, New York (1985)"},{"key":"26_CR17","series-title":"ENTCS","volume-title":"HOOTS II","author":"U. Montanari","year":"1997","unstructured":"Montanari, U., Pistore, M.: An introduction to history-dependent automata. In: Gordon, A., Pitts, A., Talcott, C. (eds.) HOOTS II. ENTCS, vol.\u00a010. Elsevier Science Publishers, Amsterdam (1997)"},{"key":"26_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1007\/3-540-48320-9_32","volume-title":"CONCUR\u201999. Concurrency Theory","author":"F. Nielson","year":"1999","unstructured":"Nielson, F., Nielson, H.R., Hansen, R.R., Jensen, J.G.: Validating farewalls in mobile ambients. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol.\u00a01664, pp. 463\u2013477. Springer, Heidelberg (1999)"},{"key":"26_CR19","first-page":"46","volume-title":"Proceedings FOCS 1977","author":"A. Pnueli","year":"1977","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proceedings FOCS 1977, pp. 46\u201357. IEEE Computer Society Press, Los Alamitos (1977)"},{"issue":"1","key":"26_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/271510.271517","volume":"20","author":"M. Sagiv","year":"1998","unstructured":"Sagiv, M., Reps, T., Wilhelm, R.: Solving shape-analysis problems in languages with destructive updating. TOPLAS\u00a020(1), 1\u201350 (1998)","journal-title":"TOPLAS"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11575467_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:42:27Z","timestamp":1619505747000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11575467_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540297352","9783540322474"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11575467_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}