Safe ambients: Abstract machine and distributed implementation

DOI10.1016/J.SCICO.2005.05.002MaRDI QIDQ2581541zbMATH OpenOpenAlexFDO

Authors Paola Giannini, Davide Sangiorgi, Andrea Valente

Publication date 10 January 2006

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2005.05.002

zbMATH Keywords

Abstract machineDistributed implementationProof of correctnessSafe ambients

Mathematics Subject Classification ID

Recommendations

• A distributed abstract machine for safe ambients (extended abstract)
• An efficient abstract machine for safe ambients
• Safe ambients: Control flow analysis and security
• Safety-liveness exclusion in distributed computing
• Invisible Safety of Distributed Protocols
• Local safety and local liveness for distributed systems

Cited in

(13)

• Pict correctness revisited
• Safe ambients: Control flow analysis and security
• Safety-liveness exclusion in distributed computing
• Ambient abstract state machines with applications
• The fusion machine (Extended abstract)
• A distributed abstract machine for safe ambients (extended abstract)
• An asynchronous, distributed implementation of mobile ambients
• Secure safe ambients
• Programming Languages and Systems
• Pict Correctness Revisited
• Theory of Cryptography
• A taxonomy of process calculi for distribution and mobility
• An efficient abstract machine for safe ambients

This page was built for publication: Safe ambients: Abstract machine and distributed implementation

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