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
Language-based Opacity Verification and Enforcement in the Framework of Labeled Petri Nets
Sign Up to like & getrecommendations! Published in 2022 at "Science Progress"
DOI: 10.1177/00368504221075466
Abstract: This work deals with the language-based opacity verification and enforcement problems in discrete event systems modeled with labeled Petri nets. Opacity is a security property that relates to privacy protection by hiding secret information of… read more here.
Keywords: language based; language; enforcement; verification ... See more keywords