Related references
Note: Only part of the references are listed.Verification of initial-state opacity in security applications of discrete event systems
Anooshiravan Saboori et al.
INFORMATION SCIENCES (2013)
Opacity-Enforcing Supervisory Strategies via State Estimator Constructions
Anooshiravan Saboori et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2012)
Runtime enforcement monitors: composition, synthesis, and enforcement abilities
Ylies Falcone et al.
FORMAL METHODS IN SYSTEM DESIGN (2011)
Verification of K-Step Opacity and Analysis of Its Complexity
Anooshiravan Saboori et al.
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING (2011)
What can you verify and enforce at runtime?
Yliès Falcone et al.
International Journal on Software Tools for Technology Transfer (2011)
Supervisory Control for Opacity
Jeremy Dubreil et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2010)
Run-Time Enforcement of Nonsafety Policies
Jay Ligatti et al.
ACM Transactions on Information and System Security (2009)
A brief account of runtime verification
Martin Leucker et al.
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING (2009)
Opacity generalised to transition systems
Jeremy W. Bryans et al.
INTERNATIONAL JOURNAL OF INFORMATION SECURITY (2008)
Concurrent secrets
E. Badouel et al.
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS (2007)