A Causal View on Non-Interference*

DOI10.3233/FI-2015-1243zbMath1335.68162OpenAlexW1474311139MaRDI QIDQ2803575

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 netstrue concurrencyunfoldingnon-interferencebisimilarity-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)

Related Items (4)

Multilevel transitive and intransitive non-interference, causally ⋮ Characterising spectra of equivalences for event structures, logically ⋮ Interleaving vs True Concurrency: Some Instructive Security Examples ⋮ Non-interference assessment in colored net systems via integer linear programming

This page was built for publication: A Causal View on Non-Interference*