Opacity of Discrete Event Systems: models, validation and quantification - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Opacity of Discrete Event Systems: models, validation and quantification

Résumé

Over the last decade, opacity of discrete event systems (DES) has become a very fertile field of research. Driven by safety and privacy concerns in network communications and online services, much theoretical work has been conducted in order to design opaque systems. A system is opaque if an external observer in unable to infer a " secret " about the system behavior. This paper aims to review the most commonly used techniques of opacity validation for deterministic models and opacity quantification for probabilistic ones. Available complexity results are also provided. Finally, we review existing tools for opacity validation and current applications.
Fichier principal
Vignette du fichier
Opacity_DES_Jacob_Lesage_Faure.pdf (342.71 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01139890 , version 1 (07-04-2015)
hal-01139890 , version 2 (23-09-2015)

Licence

Paternité

Identifiants

  • HAL Id : hal-01139890 , version 1

Citer

Romain Jacob, Jean-Jacques Lesage, Jean-Marc Faure. Opacity of Discrete Event Systems: models, validation and quantification. DCDS15, May 2015, Cancun, Mexico. pp.174-181. ⟨hal-01139890v1⟩
291 Consultations
748 Téléchargements

Partager

Gmail Facebook X LinkedIn More