Name
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. |
Year | DOI | Venue |
|---|---|---|
2018 | 10.1109/CDC.2018.8618931 | 2018 IEEE CONFERENCE ON DECISION AND CONTROL (CDC) |
Keywords | Field | DocType |
Non-interference, system security, Petri nets, DES, ILP problems | Mathematical optimization,Petri net,Computer science,Modeling and simulation,Subnet,Integer programming,Interference (wave propagation),Enforcement,Optimization problem,Bounded function | Conference |
ISSN | Citations | PageRank |
0743-1546 | 0 | 0.34 |
References | Authors | |
0 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Francesco Basile | 1 | 60 | 12.50 |
| Gianmaria De Tommasi | 2 | 78 | 11.50 |
| Claudio Sterle | 3 | 59 | 10.42 |