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...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on automatic control Vol. 66; no. 8; pp. 3653 - 3666
Main Authors: Basile, Francesco, De Tommasi, Gianmaria, Sterle, Claudio
Format: Journal Article
Language:English
Published: New York IEEE 01.08.2021
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects:
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 Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
Bibliography: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