Security Against Network Attacks in Supervisory Control Systems

Lima, Públio M.; Alves, Marcos V. S.; Carvalho, Lilian K.; Moreira, Marcos V.

doi:10.1016/j.ifacol.2017.08.2161

Cited by 53 publications

(47 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In particular, Constraints (5) and (6) are used to propogate the constraints on r x ,y , based on the synchronous product construction and the inductive definition of reachability. Based on Constraints (5) and (6), Constraints (7) are used to ensure L m (G)∩L m (S) ⊆ L m (S ); Constraints (8) are used to ensure L m (S ) ∩ (L m (G)\L m (S)) = ∅.…”

Section: B Algorithm For Supervisor Obfuscationmentioning

confidence: 99%

“…Let the conjunction of Constraints (5), (6), (7) and (8) be denoted by formula φ sep n , which enforces the separating finite state automaton constraint. We have…”

Section: B Algorithm For Supervisor Obfuscationmentioning

confidence: 99%

“…Recently, cyber-physical systems have drawn a lot of attention from the supervisory control and formal methods research communities (see, for example, [1], [2], [3], [4], [5], [6], [7]). The supervisory control theory of discrete-event systems 1 [18] has been proposed as a general approach for the synthesis of correct-by-construction supervisors that ensure both safety and progress properties on the closed-loop systems.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Supervisor Obfuscation Against Actuator Enablement Attack

Zhu

Lin

2019

2019 18th European Control Conference (ECC)

View full text Add to dashboard Cite

In this paper, we propose and address the problem of supervisor obfuscation against actuator enablement attack, in a common setting where the actuator attacker can eavesdrop the control commands issued by the supervisor. We propose a method to obfuscate an (insecure) supervisor to make it resilient against actuator enablement attack in such a way that the behavior of the original closed-loop system is preserved. An additional feature of the obfuscated supervisor, if it exists, is that it has exactly the minimum number of states among the set of all the resilient and behavior-preserving supervisors. Our approach involves a simple combination of two basic ideas: 1) a formulation of the problem of computing behavior-preserving supervisors as the problem of computing separating finite state automata under controllability and observability constraints, which can be efficiently tackled by using modern SAT solvers, and 2) the use of a recently proposed technique for the verification of attackability in our setting, with a normality assumption imposed on both the actuator attackers and supervisors.

show abstract

Section: B Algorithm For Supervisor Obfuscationmentioning

confidence: 99%

“…Let the conjunction of Constraints (5), (6), (7) and (8) be denoted by formula φ sep n , which enforces the separating finite state automaton constraint. We have…”

Section: B Algorithm For Supervisor Obfuscationmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Supervisor Obfuscation Against Actuator Enablement Attack

Zhu

Lin

2019

2019 18th European Control Conference (ECC)

View full text Add to dashboard Cite

show abstract

“…With the purpose of preventing failure of a supervisory control system under attack, two main approaches have been presented in the literature: 1) detection and prevention, 2) synthesis of a resilient supervisor. The first approach places an intrusion detection module (IDM) in the system to detect an attack and prevent it before it causes damage to the system by leading it to an unsafe state [18], [20]. The set of unsafe or critical states is assumed to be given, and they are mainly related to physical damage such as overflow or collision.…”

Section: Security Mechanismmentioning

confidence: 99%

Supervisory Control of Discrete-Event Systems under Attacks: An Overview and Outlook

Rashidinejad

Wetzels

Reniers

et al. 2019

2019 18th European Control Conference (ECC)

View full text Add to dashboard Cite

DOI to the publisher's website. • The final author version and the galley proof are versions of the publication after peer review. • The final published version features the final layout of the paper including the volume, issue and page numbers. Link to publication General rights Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights. • Users may download and print one copy of any publication from the public portal for the purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying the publication in the public portal. If the publication is distributed under the terms of Article 25fa of the Dutch Copyright Act, indicated by the "Taverne" license above, please follow below link for the End User Agreement:

show abstract

“…In[8], when the supervisor detects the presence of an attack, all controllable events are disabled and uncontrollable events can still occur (immediate halt by reset is impossible). This is not difficult to accommodate; we can add self-loops at the halt state x halt for each uncontrollable event σ ∈ Σ uc .…”

mentioning

confidence: 99%

Towards Bounded Synthesis of Resilient Supervisors

Lin

Zhu

2019

2019 IEEE 58th Conference on Decision and Control (CDC)

View full text Add to dashboard Cite

In this work, we study the safety approach of synthesizing resilient supervisors against actuator attacks, for cyber-physical systems that can be modeled as discrete-event systems. A constraint based approach for the bounded synthesis of resilient supervisors is developed. The supervisor obfuscation problem, which is proposed in a specific setting of actuator attack, can be naturally modelled and solved using the same approach.

show abstract

Security Against Network Attacks in Supervisory Control Systems

Cited by 53 publications

References 7 publications

Supervisor Obfuscation Against Actuator Enablement Attack

Supervisor Obfuscation Against Actuator Enablement Attack

Supervisory Control of Discrete-Event Systems under Attacks: An Overview and Outlook

Towards Bounded Synthesis of Resilient Supervisors

Contact Info

Product

Resources

About