Secured Information Flow for Asynchronous Sequential Processes
From MaRDI portal
Publication:2864389
DOI10.1016/j.entcs.2005.05.045zbMath1277.68159MaRDI QIDQ2864389
Felipe Luna del Aguila, Denis Caromel, Isabelle Attali, Ludovic Henrio
Publication date: 6 December 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2005.05.045
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Uses Software
Cites Work
- The security picalculus and non-interference (extended abstract)
- A calculus of mobile processes. II
- Information flow security in boundary ambients
- An overview of Boxed Ambients
- Asynchronous and deterministic objects
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item