A causal view on non-interference

DOI10.3233/FI-2015-1243MaRDI QIDQ2803575zbMATH OpenOpenAlexFDO

Authors 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

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)

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

Cited in

(10)

• Interleaving vs True Concurrency: Some Instructive Security Examples
• Lectures on Concurrency and Petri Nets
• `Non-interference' implies equality
• Multilevel transitive and intransitive non-interference, causally
• Non-interference assessment in colored net systems via integer linear programming
• Characterising spectra of equivalences for event structures, logically
• Applications and Theory of Petri Nets 2004
• Non-interference notions based on reveals and excludes relations for Petri nets
• Non-interference by unfolding
• 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)