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 , 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.
Type de document :
Communication dans un congrès
3rd International Workshop on Security Issues in Concurrency (SecCo'05), Aug 2005, San Francisco, USA, Elsevier, 2005
Liste complète des métadonnées

Littérature citée [23 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00122937
Contributeur : Ludovic Henrio <>
Soumis le : vendredi 5 janvier 2007 - 17:58:47
Dernière modification le : jeudi 11 janvier 2018 - 16:13:50
Document(s) archivé(s) le : mardi 6 avril 2010 - 20:20:24

Fichier

secco.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00122937, version 1

Collections

Citation

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, Elsevier, 2005. 〈inria-00122937〉

Partager

Métriques

Consultations de la notice

209

Téléchargements de fichiers

104