Verification of State-Based Opacity Using Petri Nets
Sign Up to like & getrecommendations! Published in 2017 at "IEEE Transactions on Automatic Control"
DOI: 10.1109/tac.2016.2620429
Abstract: A system is said to be opaque if a given secret behavior remains opaque (uncertain) to an intruder who can partially observe system activities. This work addresses the verification of state-based opacity in systems modeled… read more here.
Keywords: state; based opacity; state based; petri nets ... See more keywords