Skip to main content
SpringerLink
Log in

Opacity of Discrete Event Systems

  • Living reference work entry
  • First Online:
Encyclopedia of Systems and Control

  • 231 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Bibliography

  • Badouel E, Bednarczyk M, Borzyszkowski A, Caillaud B, Darondeau P (2007) Concurrent secrets. Discrete Event Dyn Syst 17(4):425–446

    Article  MathSciNet  Google Scholar 

  • Bryans J, Koutny M, Ryan P (2005) Modelling opacity using Petri nets. Electron Notes Theor Comput Sci 121:101–115

    Article  Google Scholar 

  • Bryans J, Koutny M, Mazare L, Ryan P (2008) Opacity generalised to transition systems. Int J Inf Secur 7(6):421–435

    Article  Google Scholar 

  • Cassandras CG, Lafortune S (2009) Introduction to discrete event systems. Springer Science & Business Media, New York, USA

    MATH  Google Scholar 

  • Cassez F (2009) The dark side of timed opacity. In: International Conference on Information Security and Assurance, pp 21–30

    Google Scholar 

  • Cassez F, Dubreil J, Marchand H (2012) Synthesis of opaque systems with static and dynamic masks. Form Methods Syst Des 40(1):88–115

    Article  Google Scholar 

  • Dubreil J, Darondeau P, Marchand H (2010) Supervisory control for opacity. IEEE Trans Autom Control 55(5):1089–1100

    Article  MathSciNet  Google Scholar 

  • Falcone Y, Marchand H (2015) Enforcement and validation (at runtime) of various notions of opacity. Discret Event Dyn Syst 25(4):531–570

    Article  MathSciNet  Google Scholar 

  • Jacob R, Lesage JJ, Faure JM (2016) Overview of discrete event systems opacity: models, validation, and quantification. Ann Rev Control 41:135–146

    Article  Google Scholar 

  • Ji Y, Wu YC, Lafortune S (2018) Enforcement of opacity by public and private insertion functions. Automatica 93:369–378

    Article  MathSciNet  Google Scholar 

  • Lafortune S, Lin F, Hadjicostis CN (2018) On the history of diagnosability and opacity in discrete event systems. Ann Rev Control 45:257–266

    Article  MathSciNet  Google Scholar 

  • Lefebvre D, Hadjicostis CN (2019) Exposure time as a measure of opacity in timed discrete event systems. In: Proceedings of European Control Conference (ECC)

    Google Scholar 

  • 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

    Google Scholar 

  • 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

    Google Scholar 

  • Saboori A, Hadjicostis CN (2011) Verification of K-step opacity and analysis of its complexity. IEEE Trans Autom Sci Eng 8(3):549–559

    Article  Google Scholar 

  • Saboori A, Hadjicostis CN (2012) Opacity-enforcing supervisory strategies via state estimator constructions. IEEE Trans Autom Control 57(5):1155–1165

    Article  MathSciNet  Google Scholar 

  • Saboori A, Hadjicostis CN (2013) Verification of initial-state opacity in security applications of discrete event systems. Inf Sci 246:115–132

    Article  MathSciNet  Google Scholar 

  • Saboori A, Hadjicostis CN (2014) Current-state opacity formulations in probabilistic finite automata. IEEE Trans Autom Control 59(1):120–133

    Article  MathSciNet  Google Scholar 

  • Shu S, Lin F, Ying H (2007) Detectability of discrete event systems. IEEE Trans Autom Control 52(12):2356–2359

    Article  MathSciNet  Google Scholar 

  • Tong Y, Li Z, Seatzu C, Giua A (2017a) Decidability of opacity verification problems in labeled Petri net systems. Automatica 80:48–53

    Article  MathSciNet  Google Scholar 

  • 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

    Article  MathSciNet  Google Scholar 

  • 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

    Article  MathSciNet  Google Scholar 

  • 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

    Article  MathSciNet  Google Scholar 

  • Wu YC, Lafortune S (2014) Synthesis of insertion functions for enforcement of opacity security properties. Automatica 50(5):1336–1348

    Article  MathSciNet  Google Scholar 

  • Wu YC, Lafortune S (2015) Synthesis of optimal insertion functions for opacity enforcement. IEEE Trans Autom Control 61(3):571–584

    Article  MathSciNet  Google Scholar 

  • 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

    Article  Google Scholar 

  • 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

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Electrical and Computer Engineering, University of Cyprus, Nicosia, Cyprus

    Christoforos N. Hadjicostis

Authors
  1. Christoforos N. Hadjicostis
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Christoforos N. Hadjicostis .

Editor information

Editors and Affiliations

  1. Electrical and Computer Engineering, Boston University, Boston, MA, USA

    John Baillieul

  2. Automation and Control Solutions, Honeywell, Golden Valley, MN, USA

    Tariq Samad

Section Editor information

  1. Division of Systems Engineering, Center for Information and Systems Engineering, Boston University, Brookline, MA, USA

    Christos G. Cassandras

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer-Verlag London Ltd., part of Springer Nature

About this entry

Check for updates. Verify currency and authenticity via CrossMark

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

Publish with us

Policies and ethics

Search

Navigation