The concept non-interference is related to the possibility of having information leak in a system, i.e. to allow an intruder to infer a secret by a partial observation of the system dynamic. This paper tackles the problem of non-interference when the system is modeled with bounded Petri nets. Two necessary and sufficient conditions are provided to check two different non-interference properties, namely strong non-deterministic non-interference (SNNI) and bisimulation SNNI (BSNNI). The proposed results are based on the solution of integer linear programming problems (ILPs).
Non-interference assessment in bounded Petri nets via Integer Linear Programming / Basile, F.; De Tommasi, G.. - (2018), pp. 3056-3061. (Intervento presentato al convegno 2018 American Control Conference tenutosi a Milwaukee, Wisconsin nel Giugno 2018) [10.23919/ACC.2018.8431241].
Non-interference assessment in bounded Petri nets via Integer Linear Programming
De Tommasi, G.
2018
Abstract
The concept non-interference is related to the possibility of having information leak in a system, i.e. to allow an intruder to infer a secret by a partial observation of the system dynamic. This paper tackles the problem of non-interference when the system is modeled with bounded Petri nets. Two necessary and sufficient conditions are provided to check two different non-interference properties, namely strong non-deterministic non-interference (SNNI) and bisimulation SNNI (BSNNI). The proposed results are based on the solution of integer linear programming problems (ILPs).I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.