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. Non-interference 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 non-interference is proposed in this paper. 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.
Non-interference enforcement via supervisory control in bounded Petri nets
Basile F.;
2021-01-01
Abstract
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. Non-interference 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 non-interference is proposed in this paper. 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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
