Nesting analysis of mobile ambients

DOI10.1016/j.cl.2004.02.004zbMath1072.68066OpenAlexW2063174604WikidataQ57832144 ScholiaQ57832144MaRDI QIDQ1886451

Chiara Braghin, Riccardo Focardi, Agostino Cortesi, Carla Piazza, Flaminia L. Luccio

Publication date: 18 November 2004

Published in: Computer Languages, Systems \& Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.cl.2004.02.004

zbMATH Keywords

ComplexityStatic analysisToolsAmbient calculus

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

A monotone framework for CCS ⋮ Information flow security in boundary ambients

Uses Software

• BANANA

Cites Work

• Abstract interpretation of mobile ambients.
• Mobile ambients
• Security boundaries in mobile ambients
• On the complexity analysis of static analyses
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• On the complexity of flow-sensitive dataflow analyses
• Controlling interference in ambients
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Nesting analysis of mobile ambients