Secret inference and attacktability analysis of discrete event systems

DOI10.1016/J.INS.2022.07.028MaRDI QIDQ6122243

Amal Zaghdoud, Mohamed Salah Khalgui, Salwa Habbachi, Zhiwu Li, NaiQi Wu

Publication date: 27 March 2024

Published in: Information Sciences (Search for Journal in Brave)

zbMATH Keywords

discrete event systemopacityactive intruderattacktabiity

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65)

Cites Work

• Synthesis of insertion functions for enforcement of opacity security properties
• Opacity of discrete event systems and its applications
• \(k\)-memory-embedded insertion mechanism for opacity enforcement
• Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations
• Supervisory control of discrete-event systems under attacks
• Concurrent secrets
• Embedded Insertion Functions for Opacity Enforcement
• Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
• Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem
• Supervisory control of discrete-event systems under external attacks

This page was built for publication: Secret inference and attacktability analysis of discrete event systems