Multilevel Transitive and Intransitive Non-interference, Causally - Archive ouverte HAL Access content directly
Conference Papers Year : 2016

Multilevel Transitive and Intransitive Non-interference, Causally

(1) , (2)
1
2

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.
Fichier principal
Vignette du fichier
416253_1_En_1_Chapter.pdf (350.11 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01631722 , version 1 (09-11-2017)

Licence

Attribution - CC BY 4.0

Identifiers

Cite

Paolo Baldan, Alessandro Beggiato. Multilevel Transitive and Intransitive Non-interference, Causally. 18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.1-17, ⟨10.1007/978-3-319-39519-7_1⟩. ⟨hal-01631722⟩
80 View
104 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More