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 metadatas

Cited literature [28 references]  Display  Hide  Download

https://hal.inria.fr/hal-01631722
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

File

416253_1_En_1_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

86

Files downloads

101