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
978-3-319-39518-0
978-3-319-39519-7
978-3-319-39518-0
978-3-319-39519-7
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
social impact