Security boundaries in mobile ambients

DOI10.1016/S0096-0551(02)00009-7zbMath1028.68004DBLPjournals/cl/BraghinCF02OpenAlexW2020763085WikidataQ62045736 ScholiaQ62045736MaRDI QIDQ1869979

Riccardo Focardi, Agostino Cortesi, Chiara Braghin

Publication date: 4 May 2003

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

Full work available at URL: https://doi.org/10.1016/s0096-0551(02)00009-7

zbMATH Keywords

Static analysisSecurityMobile ambients

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Data encryption (aspects in computer science) (68P25)

Related Items (3)

Nesting analysis of mobile ambients ⋮ Information flow security in boundary ambients ⋮ From flow logic to static type systems for coordination languages

Cites Work

• Abstract interpretation of mobile ambients.
• Behavioural typing for safe ambients
• Information flow security in boundary ambients
• Controlling interference in ambients
• Secure safe ambients
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Security boundaries in mobile ambients