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.

Multilevel Transitive and Intransitive Non-interference, Causally

BALDAN, PAOLO;BEGGIATO, ALESSANDRO
2016

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.
2016
Coordination 2016
18th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2016 and Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016
9783319395180
File in questo prodotto:
File Dimensione Formato  
MultilevelNI-short.pdf

accesso aperto

Descrizione: Copia PDF
Tipologia: Published (publisher's version)
Licenza: Creative commons
Dimensione 350.11 kB
Formato Adobe PDF
350.11 kB Adobe PDF Visualizza/Apri
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11577/3187392
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? 3
  • OpenAlex ND
social impact