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).
|Titolo:||Non-interference assessment in bounded Petri nets via Integer Linear Programming|
|Data di pubblicazione:||2018|
|Appare nelle tipologie:||4.1.1 Proceedings con DOI|