Generalized Current-State Opacity With Dynamically Changing Secrets

Dan You, Shouguang Wang, Carla Seatzu

Opacity, an information-flow property related to the privacy and security of a system, has been extensively studied in the context of discrete event systems. Although various notio…