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
Type de document :
Communication dans un congrès
Pierpaolo Degano et Joshua D. Guttman. Principles of Security and Trust (POST), Mar 2012, Tallinn, Estonia. Springer, 7215, pp.290-308, 2012, LNCS. 〈10.1007/978-3-642-28641-4〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00745298
Contributeur : Philippe Darondeau <>
Soumis le : jeudi 25 octobre 2012 - 11:32:41
Dernière modification le : vendredi 16 novembre 2018 - 01:23:22

Identifiants

Citation

Philippe Darondeau, Eike Best. Deciding Selective Declassification of Petri Nets. Pierpaolo Degano et Joshua D. Guttman. Principles of Security and Trust (POST), Mar 2012, Tallinn, Estonia. Springer, 7215, pp.290-308, 2012, LNCS. 〈10.1007/978-3-642-28641-4〉. 〈hal-00745298〉

Partager

Métriques

Consultations de la notice

274