Nesting analysis of mobile ambients

DOI10.1016/J.CL.2004.02.004zbMATH Open1072.68066OpenAlexW2063174604WikidataQ57832144 ScholiaQ57832144MaRDI QIDQ1886451FDOQ1886451

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

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

zbMATH Keywords

ToolsComplexityStatic analysisAmbient calculus

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Mobile ambients
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Title not available (Why is that?)
• On the complexity analysis of static analyses
• Title not available (Why is that?)
• Controlling interference in ambients
• Title not available (Why is that?)
• Abstract interpretation of mobile ambients.
• Title not available (Why is that?)
• Security boundaries in mobile ambients
• Title not available (Why is that?)
• On the complexity of flow-sensitive dataflow analyses
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (3)

• Information flow security in boundary ambients
• Title not available (Why is that?)
• A monotone framework for CCS

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)