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 nondeterministic 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.;
2018-01-01
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 nondeterministic non-interference (SNNI) and bisimulation SNNI (BSNNI). The proposed results are based on the solution of integer linear programming problems (ILPs).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.
