A causal view on non-interference

DOI10.3233/FI-2015-1243zbMATH Open1335.68162OpenAlexW1474311139MaRDI QIDQ2803575FDOQ2803575

Paolo Baldan, Alberto Carraro

Publication date: 2 May 2016

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2015-1243

Recommendations

• Non-interference by unfolding
• Lectures on Concurrency and Petri Nets
• Structural non-interference in elementary and trace nets
• Multilevel transitive and intransitive non-interference, causally
• Applications and Theory of Petri Nets 2004

zbMATH Keywords

verificationPetri netsunfoldingnon-interferencetrue concurrencybisimilarity-based non-deducibility on composition (BNDC)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (8)

• Interleaving vs True Concurrency: Some Instructive Security Examples
• Lectures on Concurrency and Petri Nets
• `Non-interference' implies equality
• Non-interference assessment in colored net systems via integer linear programming
• Multilevel transitive and intransitive non-interference, causally
• Applications and Theory of Petri Nets 2004
• Characterising spectra of equivalences for event structures, logically
• On the Hsiao definition of non-causality

This page was built for publication: A causal view on non-interference

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2803575)