Information flow security in boundary ambients

DOI10.1016/J.IC.2007.12.001MaRDI QIDQ2482455zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Chiara Braghin, Agostino Cortesi, Riccardo Focardi

Publication date 16 April 2008

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2007.12.001

zbMATH Keywords

Mobile Ambient calculus

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

Recommendations

• Information leakage detection in boundary ambients
• Security boundaries in mobile ambients
• scientific article; zbMATH DE number 1860626
• scientific article; zbMATH DE number 1696438
• An overview of boxed ambients (abstract)

Cites work

• Abstract interpretation of mobile ambients.
• An overview of boxed ambients (abstract)
• Behavioural typing for safe ambients
• BioAmbients: an abstraction for biological compartments
• Equational properties of mobile ambients
• 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 1696439 (Why is no real title available?)
• scientific article; zbMATH DE number 1251177 (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 1759481 (Why is no real title available?)
• scientific article; zbMATH DE number 2087550 (Why is no real title available?)
• scientific article; zbMATH DE number 1832232 (Why is no real title available?)
• scientific article; zbMATH DE number 1884409 (Why is no real title available?)
• scientific article; zbMATH DE number 2242580 (Why is no real title available?)
• Information leakage detection in boundary ambients
• Mobile ambients
• Nesting analysis of mobile ambients
• On abstract interpretation of mobile ambients
• Secure safe ambients
• Security boundaries in mobile ambients

Cited in

(10)

• Validating firewalls using flow logics
• Security boundaries in mobile ambients
• Information leakage detection in boundary ambients
• Secured information flow for asynchronous sequential processes
• Information leakage analysis by abstract interpretation
• Information-Flow Attacks Based on Limited Observations
• Secure Data Flow in a Calculus for Context Awareness
• scientific article; zbMATH DE number 1956599 (Why is no real title available?)
• scientific article; zbMATH DE number 1860626 (Why is no real title available?)
• Information flow analysis for mobile code in dynamic security environments

Describes a project that uses

Uses Software

• BANANA

This page was built for publication: Information flow security in boundary ambients

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