On Intransitive Non-interference in Some Models of Concurrency

DOI10.1007/978-3-642-23082-0_5zbMath1344.68073OpenAlexW1934456451MaRDI QIDQ3092180

Roberto Gorrieri, Matteo Vernali

Publication date: 16 September 2011

Published in: Foundations of Security Analysis and Design VI (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-23082-0_5

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Multilevel transitive and intransitive non-interference, causally ⋮ Interleaving vs True Concurrency: Some Instructive Security Examples ⋮ Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bisimulation-based Non-deterministic Admissible Interference and its Application to the Analysis of Cryptographic Protocols
• Structural non-interference in elementary and trace nets
• Characterizing intransitive noninterference for 3-domain security policies with observability
• Lectures on Concurrency and Petri Nets
• Applications and Theory of Petri Nets 2004

This page was built for publication: On Intransitive Non-interference in Some Models of Concurrency