Noninterference Enforcement via Supervisory Control in Bounded Petri Nets
Francesco Basile, G. De Tommasi, Claudio Sterle
Abstract
Security of distributed control systems is affected by the presence of information leaks, which permit to external intruders to infer the state of the system itself. Noninterference deals with the absence of such leak paths in a dynamic system modeled as discrete-event system. For a system that presents information leaks, a supervisory control strategy to enforce noninterference is proposed in this article. The approach is based on the solution of optimization problems on a Petri net model of the system under investigation. The effectiveness of the proposed enforcement strategy is shown by means of illustrative examples.
Topics & Concepts
Petri netSupervisory controlEnforcementComputer scienceBounded functionControl (management)Event (particle physics)Distributed computingControl systemState (computer science)Information securityComputer securityEngineeringProgramming languageMathematicsArtificial intelligenceQuantum mechanicsElectrical engineeringPolitical scienceLawMathematical analysisPhysicsPetri Nets in System ModelingSecurity and Verification in ComputingDistributed systems and fault tolerance