Nesting analysis of mobile ambients

DOI10.1016/J.CL.2004.02.004MaRDI QIDQ1886451zbMATH OpenOpenAlexWikidataFDO

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

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

ToolsComplexityStatic analysisAmbient calculus

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1953024
• Shape analysis for mobile ambients
• Shape analysis for mobile ambients
• scientific article; zbMATH DE number 1629945
• scientific article; zbMATH DE number 1487853

Cites work

• scientific article; zbMATH DE number 1692944 (Why is no real title available?)
• scientific article; zbMATH DE number 1696438 (Why is no real title available?)
• scientific article; zbMATH DE number 1701350 (Why is no real title available?)
• scientific article; zbMATH DE number 1324833 (Why is no real title available?)
• scientific article; zbMATH DE number 1956599 (Why is no real title available?)
• scientific article; zbMATH DE number 1487853 (Why is no real title available?)
• scientific article; zbMATH DE number 2087550 (Why is no real title available?)
• scientific article; zbMATH DE number 1841829 (Why is no real title available?)
• scientific article; zbMATH DE number 1860626 (Why is no real title available?)
• Abstract interpretation of mobile ambients.
• Controlling interference in ambients
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Mobile ambients
• On the complexity analysis of static analyses
• On the complexity of flow-sensitive dataflow analyses
• Security boundaries in mobile ambients

Cited in

(3)

• Information flow security in boundary ambients
• scientific article; zbMATH DE number 1953024 (Why is no real title available?)
• A monotone framework for CCS

Describes a project that uses

Uses Software

• BANANA

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1886451)