This course provides tools for intrusion detection design for discrete-event systems. For such systems, the course introduces some basic techniques for implementing controllers and observers, on which cyber protection systems rely.
teacher profile teaching materials
The security of information and cyber-physical systems requires that confidential information or the state of a device should not be discovered by intruders. In this course, this characteristic, known as opacity, will be examined by considering the modeling of discrete event systems (DESs).
To this end, the formalism of deterministic finite-state automata, the concept of observer for such systems, and the state- and language-based opacity property will be introduced in this course. The course will also propose opacity verification problems in the context of computer security.
Programme
The spread of the Internet of Things (IoT) and big data in the industrial sector has created new ways of communication between different devices. This has led to an increasing focus on security issues related to the growing activity of network services.The security of information and cyber-physical systems requires that confidential information or the state of a device should not be discovered by intruders. In this course, this characteristic, known as opacity, will be examined by considering the modeling of discrete event systems (DESs).
To this end, the formalism of deterministic finite-state automata, the concept of observer for such systems, and the state- and language-based opacity property will be introduced in this course. The course will also propose opacity verification problems in the context of computer security.
Core Documentation
Course notesReference Bibliography
João Carlos Basilio, Christoforos N. Hadjicostis and Rong Su (2021), "Analysis and Control for Resilience of Discrete Event Systems: Fault Diagnosis, Opacity and Cyber Security", Foundations and Trends® in Systems and Control: Vol. 8: No. 4, pp 285-443. http://dx.doi.org/10.1561/2600000024Attendance
Not applicableType of evaluation
Development of a project. Evaluation tends to ascertain the learning of basic concepts related to discrete event systems and the opacity property. teacher profile teaching materials
The security of information and cyber-physical systems requires that confidential information or the state of a device should not be discovered by intruders. In this course, this characteristic, known as opacity, will be examined by considering the modeling of discrete event systems (DESs).
To this end, the formalism of deterministic finite-state automata, the concept of observer for such systems, and the state- and language-based opacity property will be introduced in this course. The course will also propose opacity verification problems in the context of computer security.
Programme
The spread of the Internet of Things (IoT) and big data in the industrial sector has created new ways of communication between different devices. This has led to an increasing focus on security issues related to the growing activity of network services.The security of information and cyber-physical systems requires that confidential information or the state of a device should not be discovered by intruders. In this course, this characteristic, known as opacity, will be examined by considering the modeling of discrete event systems (DESs).
To this end, the formalism of deterministic finite-state automata, the concept of observer for such systems, and the state- and language-based opacity property will be introduced in this course. The course will also propose opacity verification problems in the context of computer security.
Core Documentation
Notes by the teacherReference Bibliography
Basilio, J. C., Hadjicostis, C. N., & Su, R. (2021). Analysis and control for resilience of discrete event systems: Fault diagnosis, opacity and cyber security. Foundations and Trends in Systems and Control, 8(4), 285-443.Attendance
Not applicableType of evaluation
Elaboration of a project. The evaluation aims to ascertain the learning of the basic concepts related to discrete event systems and the opacity property