Noninterference Enforcement via Supervisory Control in Bounded Petri Nets

Volume: 66, Issue: 8, Pages: 3653 - 3666
Published: Aug 1, 2021
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...
Paper Details
Title
Noninterference Enforcement via Supervisory Control in Bounded Petri Nets
Published Date
Aug 1, 2021
Volume
66
Issue
8
Pages
3653 - 3666
Citation AnalysisPro
  • Scinapse’s Top 10 Citation Journals & Affiliations graph reveals the quality and authenticity of citations received by a paper.
  • Discover whether citations have been inflated due to self-citations, or if citations include institutional bias.