Abstract
We discuss ways to formulate, analyze, verify, and enforce different notions of opacity in discrete event systems. Opacity captures a class of information flow properties that are important for security/privacy analysis and focus on the type of inferences that a passive intruder can make regarding a subset of the behavior of the system, called the secret behavior. The secret behavior represents critical aspects of the given system that need to be kept hidden from the passive intruder, which is modeled as an external observer with (partial) knowledge of the system model and access to certain observed system behavior.
Similar content being viewed by others
Bibliography
Badouel E, Bednarczyk M, Borzyszkowski A, Caillaud B, Darondeau P (2007) Concurrent secrets. Discrete Event Dyn Syst 17(4):425–446
Bryans J, Koutny M, Ryan P (2005) Modelling opacity using Petri nets. Electron Notes Theor Comput Sci 121:101–115
Bryans J, Koutny M, Mazare L, Ryan P (2008) Opacity generalised to transition systems. Int J Inf Secur 7(6):421–435
Cassandras CG, Lafortune S (2009) Introduction to discrete event systems. Springer Science & Business Media, New York, USA
Cassez F (2009) The dark side of timed opacity. In: International Conference on Information Security and Assurance, pp 21–30
Cassez F, Dubreil J, Marchand H (2012) Synthesis of opaque systems with static and dynamic masks. Form Methods Syst Des 40(1):88–115
Dubreil J, Darondeau P, Marchand H (2010) Supervisory control for opacity. IEEE Trans Autom Control 55(5):1089–1100
Falcone Y, Marchand H (2015) Enforcement and validation (at runtime) of various notions of opacity. Discret Event Dyn Syst 25(4):531–570
Jacob R, Lesage JJ, Faure JM (2016) Overview of discrete event systems opacity: models, validation, and quantification. Ann Rev Control 41:135–146
Ji Y, Wu YC, Lafortune S (2018) Enforcement of opacity by public and private insertion functions. Automatica 93:369–378
Lafortune S, Lin F, Hadjicostis CN (2018) On the history of diagnosability and opacity in discrete event systems. Ann Rev Control 45:257–266
Lefebvre D, Hadjicostis CN (2019) Exposure time as a measure of opacity in timed discrete event systems. In: Proceedings of European Control Conference (ECC)
Saboori A, Hadjicostis CN (2007) Notions of security and opacity in discrete event systems. In: Proceedings of IEEE Conference on Decision and Control (CDC), pp 5056–5061
Saboori A, Hadjicostis CN (2008) Verification of initial–state opacity in security applications of DES. In: Proceedings of 9th International Workshop on Discrete Event Systems, pp 328–333
Saboori A, Hadjicostis CN (2011) Verification of K-step opacity and analysis of its complexity. IEEE Trans Autom Sci Eng 8(3):549–559
Saboori A, Hadjicostis CN (2012) Opacity-enforcing supervisory strategies via state estimator constructions. IEEE Trans Autom Control 57(5):1155–1165
Saboori A, Hadjicostis CN (2013) Verification of initial-state opacity in security applications of discrete event systems. Inf Sci 246:115–132
Saboori A, Hadjicostis CN (2014) Current-state opacity formulations in probabilistic finite automata. IEEE Trans Autom Control 59(1):120–133
Shu S, Lin F, Ying H (2007) Detectability of discrete event systems. IEEE Trans Autom Control 52(12):2356–2359
Tong Y, Li Z, Seatzu C, Giua A (2017a) Decidability of opacity verification problems in labeled Petri net systems. Automatica 80:48–53
Tong Y, Li Z, Seatzu C, Giua A (2017b) Verification of state-based opacity using Petri nets. IEEE Trans Autom Control 62(6):2823–2837
Tong Y, Li Z, Seatzu C, Giua A (2018) Current-state opacity enforcement in discrete event systems under incomparable observations. Discret Event Dyn Syst 28(2):161–182
Wu YC, Lafortune S (2013) Comparative analysis of related notions of opacity in centralized and coordinated architectures. Discret Event Dyn Syst 23(3): 307–339
Wu YC, Lafortune S (2014) Synthesis of insertion functions for enforcement of opacity security properties. Automatica 50(5):1336–1348
Wu YC, Lafortune S (2015) Synthesis of optimal insertion functions for opacity enforcement. IEEE Trans Autom Control 61(3):571–584
Wu YC, Sankararaman KA, Lafortune S (2014) Ensuring privacy in location-based services: an approach based on opacity enforcement. IFAC Proc Vol 47(2):33–38
Yin X, Zamani M (2019) Towards approximate opacity of cyber-physical system. In: Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), pp 310–311
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Section Editor information
Rights and permissions
Copyright information
© 2020 Springer-Verlag London Ltd., part of Springer Nature
About this entry
Cite this entry
Hadjicostis, C.N. (2020). Opacity of Discrete Event Systems. In: Baillieul, J., Samad, T. (eds) Encyclopedia of Systems and Control. Springer, London. https://doi.org/10.1007/978-1-4471-5102-9_100093-1
Download citation
DOI: https://doi.org/10.1007/978-1-4471-5102-9_100093-1
Published:
Publisher Name: Springer, London
Print ISBN: 978-1-4471-5102-9
Online ISBN: 978-1-4471-5102-9
eBook Packages: Springer Reference EngineeringReference Module Computer Science and Engineering