Skip to Main content Skip to Navigation
Conference papers

Deciding Selective Declassification of Petri Nets

Philippe Darondeau 1 Eike Best 2
1 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Complete list of metadata

https://hal.inria.fr/hal-00745298
Contributor : Philippe Darondeau <>
Submitted on : Thursday, October 25, 2012 - 11:32:41 AM
Last modification on : Tuesday, June 15, 2021 - 4:26:03 PM

Links full text

Identifiers

Citation

Philippe Darondeau, Eike Best. Deciding Selective Declassification of Petri Nets. Principles of Security and Trust (POST), Mar 2012, Tallinn, Estonia. pp.290-308, ⟨10.1007/978-3-642-28641-4⟩. ⟨hal-00745298⟩

Share

Metrics

Record views

346