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

bisimilarity-based non-deducibility on composition (BNDC)non-interferencePetri netstrue concurrencyunfoldingverification

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)

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

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)