Deciding Selective Declassification of Petri Nets - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Deciding Selective Declassification of Petri Nets

Eike Best
  • Fonction : Auteur
  • PersonId : 888559

Dates et versions

hal-00745298 , version 1 (25-10-2012)

Identifiants

Citer

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⟩
161 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More