{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,16]],"date-time":"2026-05-16T06:49:55Z","timestamp":1778914195195,"version":"3.51.4"},"reference-count":36,"publisher":"Elsevier BV","issue":"6","license":[{"start":{"date-parts":[[2010,6,1]],"date-time":"2010-06-01T00:00:00Z","timestamp":1275350400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2014,6,1]],"date-time":"2014-06-01T00:00:00Z","timestamp":1401580800000},"content-version":"vor","delay-in-days":1461,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[2010,6]]},"DOI":"10.1016\/j.scico.2009.07.009","type":"journal-article","created":{"date-parts":[[2009,9,3]],"date-time":"2009-09-03T12:01:31Z","timestamp":1251979291000},"page":"376-397","source":"Crossref","is-referenced-by-count":14,"title":["From Flow Logic to static type systems for coordination languages"],"prefix":"10.1016","volume":"75","author":[{"given":"Rocco","family":"De Nicola","sequence":"first","affiliation":[]},{"given":"Daniele","family":"Gorla","sequence":"additional","affiliation":[]},{"given":"Ren\u00e9 Rydhof","family":"Hansen","sequence":"additional","affiliation":[]},{"given":"Flemming","family":"Nielson","sequence":"additional","affiliation":[]},{"given":"Hanne Riis","family":"Nielson","sequence":"additional","affiliation":[]},{"given":"Christian W.","family":"Probst","sequence":"additional","affiliation":[]},{"given":"Rosario","family":"Pugliese","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.scico.2009.07.009_b1","series-title":"Compilers: Principles, Techniques, and Tools","author":"Aho","year":"2006"},{"key":"10.1016\/j.scico.2009.07.009_b2","doi-asserted-by":"crossref","first-page":"347","DOI":"10.3233\/JCS-2005-13302","article-title":"Static validation of security protocols","volume":"13","author":"Bodei","year":"2005","journal-title":"Journal of Computer Security"},{"key":"10.1016\/j.scico.2009.07.009_b3","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1006\/inco.2000.3020","article-title":"Static analysis for the \u03c0-calculus with applications to security","volume":"168","author":"Bodei","year":"2001","journal-title":"Information and Computation"},{"issue":"1","key":"10.1016\/j.scico.2009.07.009_b4","first-page":"101","article-title":"Security Boundaries in Mobile Ambients","volume":"28","author":"Braghin","year":"2002","journal-title":"Computer Languages"},{"key":"10.1016\/j.scico.2009.07.009_b5","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/s10207-004-0036-x","article-title":"A calculus for control flow analysis of security protocols","volume":"2","author":"Buchholz","year":"2004","journal-title":"International Journal of Information Security"},{"issue":"1","key":"10.1016\/j.scico.2009.07.009_b6","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1145\/963778.963781","article-title":"Access control for mobile agents: The calculus of boxed ambients","volume":"26","author":"Bugliesi","year":"2004","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/j.scico.2009.07.009_b7","series-title":"Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000","first-page":"333","article-title":"Ambient groups and mobility types","volume":"vol. 1872","author":"Cardelli","year":"2000"},{"issue":"2","key":"10.1016\/j.scico.2009.07.009_b8","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1016\/S0890-5401(01)93121-9","article-title":"Types for the ambient calculus","volume":"177","author":"Cardelli","year":"2002","journal-title":"Information and Computation"},{"issue":"1","key":"10.1016\/j.scico.2009.07.009_b9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.ic.2004.11.005","article-title":"The seal calculus","volume":"201","author":"Castagna","year":"2005","journal-title":"Information and Computation"},{"issue":"5","key":"10.1016\/j.scico.2009.07.009_b10","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1109\/32.685256","article-title":"KLAIM: A kernel language for agents interaction and mobility","volume":"24","author":"De Nicola","year":"1998","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"10.1016\/j.scico.2009.07.009_b11","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1016\/S0304-3975(99)00232-7","article-title":"Types for access control","volume":"240","author":"De Nicola","year":"2000","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/j.scico.2009.07.009_b12","series-title":"Advances in Computing Science \u2014 ASIAN 2000, 6th Asian Computing Science Conference","first-page":"199","article-title":"Safe ambients: Control flow analysis and security","volume":"vol. 1961","author":"Degano","year":"2000"},{"issue":"1","key":"10.1016\/j.scico.2009.07.009_b13","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1145\/2363.2433","article-title":"Generative communication in Linda","volume":"7","author":"Gelernter","year":"1985","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/j.scico.2009.07.009_b14","unstructured":"D. Gorla, R. Pugliese, Dynamic management of capabilities in a network aware coordination language, Journal of Logic and Algebraic Programming (in press). An extended abstract appear with title \u201cResource Access and Mobility Control with Dynamic Privileges Acquisition\u201d in ICALP\u201903"},{"key":"10.1016\/j.scico.2009.07.009_b15","series-title":"Security in Pervasive Computing, First International Conference","first-page":"86","article-title":"Enforcing security policies via types","volume":"vol. 2802","author":"Gorla","year":"2004"},{"key":"10.1016\/j.scico.2009.07.009_b16","series-title":"Proceedings of the The First International Conference on Availability, Reliability and Security, ARES 2006, The International Dependability Conference \u2014 Bridging Theory and Practice","first-page":"174","article-title":"Sandboxing in myKlaim","author":"Hansen","year":"2006"},{"key":"10.1016\/j.scico.2009.07.009_b17","series-title":"Proceedings of the Second International Symposium on Static Analysis","first-page":"189","article-title":"Control-flow analysis and type systems","volume":"vol. 983","author":"Heintze","year":"1995"},{"key":"10.1016\/j.scico.2009.07.009_b18","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1006\/inco.2001.3089","article-title":"Resource Access Control in Systems of Mobile Agents","volume":"173","author":"Hennessy","year":"2002","journal-title":"Information and Computation"},{"issue":"3","key":"10.1016\/j.scico.2009.07.009_b19","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1016\/j.tcs.2006.08.013","article-title":"Type systems equivalent to data-flow analyses for imperative languages","volume":"364","author":"Laud","year":"2006","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"10.1016\/j.scico.2009.07.009_b20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/596980.596981","article-title":"Mobile safe ambients","volume":"25","author":"Levi","year":"2003","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/j.scico.2009.07.009_b21","series-title":"Programming Languages and Systems, 13th European Symposium on Programming, ESOP 2004","first-page":"171","article-title":"A dependently typed ambient calculus","volume":"vol. 2986","author":"Lhoussaine","year":"2004"},{"issue":"1\u20132","key":"10.1016\/j.scico.2009.07.009_b22","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/j.tcs.2006.08.036","article-title":"A framework for security analysis of mobile wireless networks","volume":"367","author":"Nanz","year":"2006","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/j.scico.2009.07.009_b23","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/S0167-6423(02)00131-4","article-title":"Abstract interpretation of Mobile Ambients","volume":"47","author":"Nielson","year":"2003","journal-title":"Science of Computer Programming"},{"key":"10.1016\/j.scico.2009.07.009_b24","series-title":"Program Analysis and Compilation, Theory and Practice, Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday","first-page":"293","article-title":"Types from control flow analysis","volume":"vol. 4444","author":"Nielson","year":"2007"},{"issue":"2","key":"10.1016\/j.scico.2009.07.009_b25","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1016\/S0304-3975(01)00140-2","article-title":"Validating firewalls using flow logics","volume":"283","author":"Nielson","year":"2002","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/j.scico.2009.07.009_b26","series-title":"Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference","first-page":"251","article-title":"The succinct solver suite","volume":"vol. 2988","author":"Nielson","year":"2004"},{"key":"10.1016\/j.scico.2009.07.009_b27","series-title":"Principles of program analysis","author":"Nielson","year":"2005"},{"issue":"4","key":"10.1016\/j.scico.2009.07.009_b28","first-page":"335","article-title":"A succinct solver for ALFP","volume":"9","author":"Nielson","year":"2002","journal-title":"Nordic Journal of Computing"},{"key":"10.1016\/j.scico.2009.07.009_b29","series-title":"The Essence of Computation: Complexity, Analysis, Transformation. Essays dedicated to Neil D. Jones","first-page":"223","article-title":"Flow logic: A multi-paradigmatic approach to static analysis","volume":"vol. 2566","author":"Nielson","year":"2002"},{"key":"10.1016\/j.scico.2009.07.009_b30","series-title":"Foundations of Security Analysis and Design II","first-page":"207","article-title":"Security for mobility","volume":"vol. 2946","author":"Nielson","year":"2004"},{"issue":"6","key":"10.1016\/j.scico.2009.07.009_b31","doi-asserted-by":"crossref","first-page":"1251","DOI":"10.1145\/295656.295662","article-title":"Equality-based flow analysis versus recursive types","volume":"20","author":"Palsberg","year":"1998","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"4","key":"10.1016\/j.scico.2009.07.009_b32","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/210184.210187","article-title":"A type system equivalent to flow analysis","volume":"17","author":"Palsberg","year":"1995","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"3","key":"10.1016\/j.scico.2009.07.009_b33","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1017\/S095679680100394X","article-title":"From polyvariant flow information to intersection and union types","volume":"11","author":"Palsberg","year":"2001","journal-title":"Journal of Functional Programming"},{"key":"10.1016\/j.scico.2009.07.009_b34","series-title":"The Essence of Computation: Complexity, Analysis, Transformation","first-page":"223","article-title":"Flow logics: A multi-paradigmatic approach to static analysis","volume":"vol. 2566","author":"Riis Nielson","year":"2002"},{"key":"10.1016\/j.scico.2009.07.009_b35","series-title":"Informatics \u2014 10 Years Back 10 Years Ahead","first-page":"86","article-title":"A language-based approach to security","volume":"vol. 2000","author":"Schneider","year":"2001"},{"issue":"2","key":"10.1016\/j.scico.2009.07.009_b36","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/j.scico.2006.06.005","article-title":"Coordination with multicapabilities","volume":"64","author":"Udzir","year":"2007","journal-title":"Science of Computer Programming"}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642309001130?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642309001130?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,12,17]],"date-time":"2018-12-17T11:51:56Z","timestamp":1545047516000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167642309001130"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6]]},"references-count":36,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2010,6]]}},"alternative-id":["S0167642309001130"],"URL":"https:\/\/doi.org\/10.1016\/j.scico.2009.07.009","relation":{},"ISSN":["0167-6423"],"issn-type":[{"value":"0167-6423","type":"print"}],"subject":[],"published":{"date-parts":[[2010,6]]}}}