Assessment of Bisimulation Non-Interference in Discrete Event Systems Modelled With Bounded Petri Nets
Sign Up to like & getrecommendations! Published in 2021 at "IEEE Control Systems Letters"
DOI: 10.1109/lcsys.2020.3017189
Abstract: Non-interference in discrete event systems deals with the possibility by an intruder to infer the occurrences of private and non observable events, the so called high-level ones, by interacting with the system at a user… read more here.
Keywords: bisimulation non; interference; non interference; event ... See more keywords