Behavioural typing for safe ambients

DOI10.1016/S0096-0551(02)00008-5zbMath1028.68005MaRDI QIDQ1869978

Giuseppe Castagna, Michele Bugliesi

Publication date: 4 May 2003

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

zbMATH Keywords

TypesMobilitySecuritySecure Safe AmbientsType-and-effects systems

Mathematics Subject Classification ID

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

Related Items (5)

Unnamed Item ⋮ Information flow security in boundary ambients ⋮ A typed encoding of boxed into safe ambients ⋮ A coordination approach to mobile components ⋮ Security boundaries in mobile ambients

Cites Work

• Shape analysis for mobile 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: Behavioural typing for safe ambients