Ambient groups and mobility types

DOI10.1007/3-540-44929-9_25MaRDI QIDQ4536435zbMATH OpenFDO

Authors Luca Cardelli, Andrew D. Gordon, G. Ghelli

Publication date 25 June 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44929-9_25

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Processes, Terms and Cycles: Steps on the Road to Infinity
• Types for ambient and process mobility
• M^3: mobility types for mobile processes in mobile ambients
• Types for the ambient calculus
• scientific article; zbMATH DE number 2163047

Cited in

(19)

• Mobility control via passports
• Flow-sensitive type systems and the ambient calculus
• Typing evolving ambients
• Orderly communication in the ambient calculus.
• Behavioural typing for safe ambients
• Security boundaries in mobile ambients
• On abstract interpretation of mobile ambients
• Information flow security in boundary ambients
• Types for the ambient calculus
• The seal calculus
• safeDpi: a language for controlling mobile code
• A type inference algorithm for secure ambients
• Types for access control in a calculus of mobile resources
• Automata on Multisets of Communicating Objects
• Secrecy and group creation
• Automata and processes on multisets of communicating objects
• Access control in mobile ambient calculi: a comparative view
• Role-based access control for boxed ambients
• From flow logic to static type systems for coordination languages

This page was built for publication: Ambient groups and mobility types

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