We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Electrical Engineering and Systems Science > Systems and Control

Title: Generalized Current-State Opacity With Dynamically Changing Secrets

Abstract: 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 notions of opacity have been proposed, in all cases the considered secret was constant. This work focuses on current-state opacity, considering a scenario where the secret changes dynamically with the system evolution. In other words, we propose the new notion of generalized current-state opacity (GCSO), which is with respect to a dynamic-secret model rather than a constant secret. Moreover, we provide a method to verify GCSO based on the construction of the GCSO-verifier. Finally, a practical example is given to illustrate the proposed notion and the method for its verification.
Subjects: Systems and Control (eess.SY)
Cite as: arXiv:2103.00234 [eess.SY]
  (or arXiv:2103.00234v1 [eess.SY] for this version)

Submission history

From: Shouguang Wang [view email]
[v1] Sat, 27 Feb 2021 14:53:24 GMT (241kb)

Link back to: arXiv, form interface, contact.