Deciding Selective Declassification of Petri Nets

DOI10.1007/978-3-642-28641-4_16zbMath1353.68196OpenAlexW2210067736MaRDI QIDQ2894328

Eike Best, Philippe Darondeau

Publication date: 29 June 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-28641-4_16

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Authentication, digital signatures and secret sharing (94A62)

Related Items (2)

Multilevel transitive and intransitive non-interference, causally ⋮ Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets

This page was built for publication: Deciding Selective Declassification of Petri Nets