Security verification against covert learning attackers

DOI10.1016/J.AUTOMATICA.2025.112344MaRDI QIDQ6980014zbMATH OpenFDO

Authors Ruochen Tai, Liyong Lin, Rong Su

Publication date 23 May 2025

Published in Automatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.AUTOMATICA.2025.112344

zbMATH Keywords

covertnesslearning attackerobservationssecurity verificationunknown supervisor

Mathematics Subject Classification ID

Networked control (93B70) Discrete event control/observation systems (93C65) Control/observation systems involving computers (process control, etc.) (93C83)

Cites work

• Detection and mitigation of classes of attacks in supervisory control systems
• Discrete-event systems subject to unknown sensor attacks
• Introduction to Discrete Event Systems
• On decidability of existence of fortified supervisors against covert actuator attackers
• On decidability of existence of nonblocking supervisors resilient to smart sensor attacks
• Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations
• Supervisory control of discrete-event systems
• Supervisory control of discrete-event systems under attacks
• Synthesis of covert actuator and sensor attackers
• Synthesis of optimal covert sensor-actuator attackers for discrete-event systems
• Synthesis of Optimal Multiobjective Attack Strategies for Controlled Systems Modeled by Probabilistic Automata
• Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems
• Synthesis of Supervisors Robust Against Sensor Deception Attacks
• Synthesis of the Supremal Covert Attacker Against Unknown Supervisors by Using Observations

This page was built for publication: Security verification against covert learning attackers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6980014)