Multilevel Transitive and Intransitive Non-interference, Causally

Abstract : We develop a theory of non-interference for multilevel security domains based on causality, with Petri nets as a reference model. We first focus on transitive non-interference, where the relation representing the admitted flow is transitive. Then we extend the approach to intransitive non-interference, where the transitivity assumption is dismissed, leading to a framework which is suited to model a controlled disclosure of information. Efficient verification algorithms based on the unfolding semantics of Petri nets stem out of the theory.
Type de document :
Communication dans un congrès
Alberto Lluch Lafuente; José Proença. 18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. Springer International Publishing, Lecture Notes in Computer Science, LNCS-9686, pp.1-17, 2016, Coordination Models and Languages. 〈10.1007/978-3-319-39519-7_1〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01631722
Contributeur : Hal Ifip <>
Soumis le : jeudi 9 novembre 2017 - 16:14:05
Dernière modification le : lundi 12 février 2018 - 14:24:05
Document(s) archivé(s) le : samedi 10 février 2018 - 13:35:34

Fichier

 Accès restreint
Fichier visible le : 2019-01-01

Connectez-vous pour demander l'accès au fichier

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Paolo Baldan, Alessandro Beggiato. Multilevel Transitive and Intransitive Non-interference, Causally. Alberto Lluch Lafuente; José Proença. 18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. Springer International Publishing, Lecture Notes in Computer Science, LNCS-9686, pp.1-17, 2016, Coordination Models and Languages. 〈10.1007/978-3-319-39519-7_1〉. 〈hal-01631722〉

Partager

Métriques

Consultations de la notice

38