%0 Conference Proceedings
%T Multilevel Transitive and Intransitive Non-interference, Causally
%+ Università degli Studi di Padova = University of Padua (Unipd)
%+ School for Advanced Studies Lucca (IMT)
%A Baldan, Paolo
%A Beggiato, Alessandro
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 18th International Conference on Coordination Languages and Models (COORDINATION)
%C Heraklion, Greece
%Y Alberto Lluch Lafuente
%Y José Proença
%I Springer International Publishing
%3 Coordination Models and Languages
%V LNCS-9686
%P 1-17
%8 2016-06-06
%D 2016
%R 10.1007/978-3-319-39519-7_1
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01631722/document
%2 https://inria.hal.science/hal-01631722/file/416253_1_En_1_Chapter.pdf
%L hal-01631722
%U https://inria.hal.science/hal-01631722
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-COORDINATION
%~ IFIP-LNCS-9686