Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadata

Cited literature [28 references]  Display  Hide  Download
Contributor : Hal Ifip <>
Submitted on : Thursday, November 9, 2017 - 4:14:05 PM
Last modification on : Thursday, June 14, 2018 - 10:54:03 AM
Long-term archiving on: : Saturday, February 10, 2018 - 1:35:34 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



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⟩



Record views


Files downloads