Skip to Main content Skip to Navigation
New interface
Journal articles

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.
Document type :
Journal articles
Complete list of metadata

Cited literature [71 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01274956
Contributor : Romain Jacob Connect in order to contact the contributor
Submitted on : Tuesday, February 16, 2016 - 2:54:31 PM
Last modification on : Wednesday, July 6, 2022 - 10:00:22 AM
Long-term archiving on: : Tuesday, May 17, 2016 - 10:13:20 AM

File

opacity.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

165

Files downloads

406