Secured Information Flow for Asynchronous Sequential Processes

DOI10.1016/j.entcs.2005.05.045zbMath1277.68159OpenAlexW2021161445MaRDI 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

zbMATH Keywords

distributionfuturesaccess controlobjects

Mathematics Subject Classification ID

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

Related Items (1)

An evaluation of interaction paradigms for active objects

Uses Software

• JFlow

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

This page was built for publication: Secured Information Flow for Asynchronous Sequential Processes