Non-interference assessment in bounded Petri nets via Integer Linear Programming
Francesco Basile, G. De Tommasi · 2018
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).