Supervisory Control for Opacity

  title={Supervisory Control for Opacity},
  author={J{\'e}r{\'e}my Dubreil and Philippe Darondeau and Herv{\'e} Marchand},
  journal={IEEE Transactions on Automatic Control},
In the field of computer security, a problem that received little attention so far is the enforcement of confidentiality properties by supervisory control. Given a critical system <i>G</i> that may leak confidential information, the problem consists in designing a controller <i>C</i>, possibly disabling occurrences of a fixed subset of events of <i>G</i>, so that the closed-loop system <i>G</i>/<i>C</i> does not leak confidential information. We consider this problem in the case where <i>G</i… CONTINUE READING
Highly Cited
This paper has 75 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 50 extracted citations

Supervisory enforcement of current-state opacity with uncomparable observations

2016 13th International Workshop on Discrete Event Systems (WODES) • 2016
View 9 Excerpts
Highly Influenced

An On-the-Fly Approach for the Verification of Opacity in Critical Systems

2014 IEEE 23rd International WETICE Conference • 2014
View 4 Excerpts
Highly Influenced

Decentralized Opacity Enforcement in Discrete Event Systems Using Supervisory Control

2018 57th Annual Conference of the Society of Instrument and Control Engineers of Japan (SICE) • 2018
View 1 Excerpt

75 Citations

Citations per Year
Semantic Scholar estimates that this publication has 75 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 22 references

A formula for the supremal controllable and opaque sublanguage arising in supervisory control

S Takai, Y Oka
SICE Journal of Control, Measurement, and System Integration, • 2008
View 3 Excerpts

Monitoring information flow by diagnosis techniques

J. Dubreil, T. Jéron, H. Marchand
Technical Report 1901, • 2008
View 1 Excerpt

Opacity enforcing control synthesis

2008 9th International Workshop on Discrete Event Systems • 2008
View 5 Excerpts

Verification of initial-state opacity in security applications of DES

2008 9th International Workshop on Discrete Event Systems • 2008
View 1 Excerpt

Notions of security and opacity in discrete event systems

2007 46th IEEE Conference on Decision and Control • 2007
View 1 Excerpt

A question of access: decentralized control and communication strategies for security policies

2006 8th International Workshop on Discrete Event Systems • 2006
View 1 Excerpt

Concurrent Secrets

2006 8th International Workshop on Discrete Event Systems • 2006
View 2 Excerpts

Similar Papers

Loading similar papers…