On Opacity Verification for Discrete-Event Systems
@article{Balun2019OnOV,
title={On Opacity Verification for Discrete-Event Systems},
author={Jivr'i Balun and T. Masopust},
journal={ArXiv},
year={2019},
volume={abs/1912.07314}
}Opacity is an information flow property characterizing whether a system reveals its secret to an intruder. Verification of opacity for discrete-event systems modeled by automata is in general a hard problem. We discuss the question whether there are structural restrictions on the system models for which the opacity verification is tractable. We consider two kinds of automata models: (i) acyclic automata, and (ii) automata where all cycles are only in the form of self-loops. In some sense, these… CONTINUE READING
One Citation
A Framework for Current-State Opacity under Dynamic Information Release Mechanism
- Computer Science, Engineering
- ArXiv
- 2020
- PDF
References
SHOWING 1-10 OF 37 REFERENCES
Verification of $K$-Step Opacity and Analysis of Its Complexity
- Mathematics, Computer Science
- IEEE Transactions on Automation Science and Engineering
- 2011
- 67
- PDF
Comparative analysis of related notions of opacity in centralized and coordinated architectures
- Computer Science
- Discret. Event Dyn. Syst.
- 2013
- 92
- Highly Influential
- PDF
Notions of security and opacity in discrete event systems
- Mathematics, Computer Science
- 2007 46th IEEE Conference on Decision and Control
- 2007
- 132
Opacity generalised to transition systems
- Computer Science, Mathematics
- International Journal of Information Security
- 2008
- 140
- PDF
Synthesis of opaque systems with static and dynamic masks
- Computer Science
- Formal Methods Syst. Des.
- 2012
- 87
- Highly Influential
- PDF
Overview of discrete event systems opacity: Models, validation, and quantification
- Engineering, Computer Science
- Annu. Rev. Control.
- 2016
- 90
- PDF
Opacity enforcing control synthesis
- Mathematics
- 2008 9th International Workshop on Discrete Event Systems
- 2008
- 60
- PDF