In this paper we first extend an approach recently presented by the authors, to check non-interference in discrete event systems modeled using Petri nets. The proposed technique is based on the solution of integer linear programming optimization problems. A new version of the analysis result is given in this paper, which does not require anymore the acyclicity of the subnet induced by the low-level transitions. Then, the main contribution of this paper, an algorithm that enforces non-interference by selecting offline the smallest subset of high-level transitions to be disabled, is presented.
Non-Interference Enforcement in Bounded Petri Nets / Basile, F.; De Tommasi, G.; Sterle, C.. - (2019), pp. 4827-4832. (Intervento presentato al convegno 57th IEEE Conference on Decision and Control (CDC) tenutosi a Miami, Florida nel December 2018) [10.1109/CDC.2018.8618931].
Non-Interference Enforcement in Bounded Petri Nets
G. De Tommasi;C. Sterle
2019
Abstract
In this paper we first extend an approach recently presented by the authors, to check non-interference in discrete event systems modeled using Petri nets. The proposed technique is based on the solution of integer linear programming optimization problems. A new version of the analysis result is given in this paper, which does not require anymore the acyclicity of the subnet induced by the low-level transitions. Then, the main contribution of this paper, an algorithm that enforces non-interference by selecting offline the smallest subset of high-level transitions to be disabled, is presented.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.