HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Secured Information Flow for Asynchronous Sequential Processes

Isabelle Attali 1 Denis Caromel 1 Ludovic Henrio 2 Felipe Luna 1
1 OASIS - Active objects, semantics, Internet and security
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : We present in this article a precise security model for data confidentiality in the framework of ASP (Asynchronous Sequential Processes). ASP is based on active objects, asynchronous communications, and data-flow synchronizations. We extend it with security levels attached to activities (active objects) and transmitted data. We design a security model that guarantees data confidentiality within an application; this security model takes advantages of both mandatory and discretionary access models. We extend the semantics of ASP with predicate conditions that provide a formal security framework, dynamically checking for unauthorized information flows. As a final result, all authorized communication paths are secure: no disclosure of information can happen. This theoretically-founded contribution may have a strong impact on distributed object-based applications, that are more and more present and confidentiality-demanding on the Internet, it also arises a new issue in data confidentiality: authorization of secured information flow transiting (by the mean of futures) through an unsecured Component.
Complete list of metadata

Cited literature [23 references]  Display  Hide  Download

Contributor : Ludovic Henrio Connect in order to contact the contributor
Submitted on : Friday, January 5, 2007 - 5:58:47 PM
Last modification on : Friday, February 4, 2022 - 3:14:47 AM
Long-term archiving on: : Tuesday, April 6, 2010 - 8:20:24 PM


Files produced by the author(s)


  • HAL Id : inria-00122937, version 1



Isabelle Attali, Denis Caromel, Ludovic Henrio, Felipe Luna. Secured Information Flow for Asynchronous Sequential Processes. 3rd International Workshop on Security Issues in Concurrency (SecCo'05), Aug 2005, San Francisco, USA. ⟨inria-00122937⟩



Record views


Files downloads