Noninterference Enforcement via Supervisory Control in Bounded Petri Nets

Security of distributed control systems is affected by the presence of information leaks, which permit to external intruders to infer the state of the system itself. Noninterference deals with the absence of such leak paths in a dynamic system modeled as discrete-event system. For a system that pres...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE transactions on automatic control Jg. 66; H. 8; S. 3653 - 3666
Hauptverfasser: Basile, Francesco, De Tommasi, Gianmaria, Sterle, Claudio
Format: Journal Article
Sprache:Englisch
Veröffentlicht: New York IEEE 01.08.2021
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Schlagworte:
Decentralized control
Discrete event systems
Distributed control systems
Integer linear programming (ILP) problems
Interference
Leaks
noninterference
Optimization
Petri nets
Petri nets (PNs)
Security
Supervisory control
system security
ISSN:0018-9286, 1558-2523
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Security of distributed control systems is affected by the presence of information leaks, which permit to external intruders to infer the state of the system itself. Noninterference deals with the absence of such leak paths in a dynamic system modeled as discrete-event system. For a system that presents information leaks, a supervisory control strategy to enforce noninterference is proposed in this article. The approach is based on the solution of optimization problems on a Petri net model of the system under investigation. The effectiveness of the proposed enforcement strategy is shown by means of illustrative examples.
Bibliographie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:0018-9286
1558-2523
DOI:10.1109/TAC.2020.3024274