Non-interference by Unfolding

  title={Non-interference by Unfolding},
  author={Paolo Baldan and A. Carraro},
  booktitle={Petri Nets},
The concept of non-interference has been introduced to characterise the absence of undesired information flows in a computing system. Although it is often explained referring to an informal notion of causality - the activity involving the part of the system with higher level of confidentiality should not cause any observable effect at lower levels - it is almost invariably formalised in terms of interleaving semantics. Here we focus on Petri nets and on the BNDC property (Bisimilarity-based Non… Expand
9 Citations
A Causal View on Non-Interference
Intransitive Non-Interference by Unfolding
Assessment of Bisimulation Non-Interference in Discrete Event Systems Modelled With Bounded Petri Nets
Non-interference in Partial Order Models
Non-interference in Partial Order Models
Non-Interference Notions Based on Reveals and Excludes Relations for Petri Nets
Non-interference assessment in bounded Petri nets via Integer Linear Programming
A coalgebraic semantics for causality in Petri nets
Non-Interference Enforcement in Bounded Petri Nets


Structural non-interference in elementary and trace nets
  • N. Busi, R. Gorrieri
  • Mathematics, Computer Science
  • Mathematical Structures in Computer Science
  • 2009
Types of Asynchronous Diagnosability and the Reveals-Relation in Occurrence Nets
  • S. Haar
  • Computer Science
  • IEEE Transactions on Automatic Control
  • 2010
On the Decidability of Non Interference over Unbounded Petri Nets
Refinement of actions and equivalence notions for concurrent systems
Canonical prefixes of Petri net unfoldings
Process algebra and non-interference
  • P. Ryan, S. Schneider
  • Computer Science
  • Proceedings of the 12th IEEE Computer Security Foundations Workshop
  • 1999
Unfoldings - A Partial-Order Approach to Model Checking
A technique of state space search based on unfolding
  • K. McMillan
  • Computer Science
  • Formal Methods Syst. Des.
  • 1995
A compositional Petri net translation of general π-calculus terms