Overview of Discrete Event Systems Opacity: models, validation, and quantification - Archive ouverte HAL Access content directly
Journal Articles Annual Reviews in Control Year : 2016

Overview of Discrete Event Systems Opacity: models, validation, and quantification

Abstract

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.pdf (979.65 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01274956 , version 1 (16-02-2016)

Licence

Identifiers

Cite

Romain Jacob, Jean-Jacques Lesage, Jean-Marc Faure. Overview of Discrete Event Systems Opacity: models, validation, and quantification. Annual Reviews in Control, 2016, ⟨10.1016/j.arcontrol.2016.04.015⟩. ⟨hal-01274956⟩
372 View
1038 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More