Noninterference Enforcement via Supervisory Control in Bounded Petri Nets

DOI10.1109/TAC.2020.3024274zbMath1471.93171OpenAlexW3186623467MaRDI QIDQ4957611

Claudio Sterle, Francesco Basile, Gianmaria De Tommasi

Publication date: 9 September 2021

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2020.3024274

zbMATH Keywords

supervisory controlnoninterferencesystem securityPetri nets (PNs)integer linear programming (ILP) problems

Mathematics Subject Classification ID

Integer programming (90C10) Discrete event control/observation systems (93C65)

Related Items (4)

An optimization-based approach to assess non-interference in labeled and bounded Petri net systems ⋮ Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques ⋮ Symbolic state estimation in bounded timed labeled Petri nets ⋮ Optimization-based assessment of initial-state opacity in Petri nets

This page was built for publication: Noninterference Enforcement via Supervisory Control in Bounded Petri Nets