Opacity enforcing control synthesis

Proceedings - 9th International Workshop on Discrete Event Systems, WODES' 08

Volumn , Issue , 2008, Pages 28-35

  Dubreil, Jérémy ^a   Darondeau, Philippe ^a   Marchand, Hervé ^a  

^a INRIA   (France)

Author keywords

Control; Discrete event systems; Opacity; Partial observation; Security

Indexed keywords

KETONES; OPACITY; OPTICAL PROPERTIES; TECHNICAL PRESENTATIONS;

CONTROL; DISCRETE EVENT SYSTEMS; PARTIAL OBSERVATION; SECURITY;

CONTROL SYSTEM SYNTHESIS;

EID: 53149144288     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WODES.2008.4605918     Document Type: Conference Paper

References (10)

1. L. Mazaré, "Using unification for opacity properties," in Proceedings of the 4th IFIP WG1.7 Workshop on Issues in the Theory of Security (WITS'04), Barcelona (Spain), 2004, pp. 165-176.
2. J. Bryans, M. Koutny, L. Mazaré, and P. Y. A. Ryan, "Opacity generalised to transition systems," in Revised Selected Papers of the 3rd International Workshop on Formal Aspects in Security and Trust (FAST'05), ser. Lecture Notes in Computer Science, T. Dimitrakos, F. Martinelli, P. Y. A. Ryan, and S. A. Schneider, Eds., vol. 3866. Newcastle upon Tyne, UK: Springer, 2006, pp. 81-95.
3. R. Alur, P. Cerný, and S. Zdancewic, "Preserving secrecy under refinement," in ICALP '06: Proceedings (Part II) of the 33rd International Colloquium on Automata, Languages and Programming, Springer, 2006, pp. 107-118.
4. J. Dubreil, T. Jéron, and H. Marchand, "Construction de moniteurs pour la surveillance de propriétés de sécurité," in 6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Lyon, France, October 2007.
5. E. Badouel, M. Bednarczyk, A. Borzyszkowski, B. Caillaud, and P. Darondeau, "Concurrent secrets," Discrete Event Dynamic Systems, vol. 17, pp. 425-446, 2007, extended version of a Wodes'06 paper.
6. F. B. Schneider, "Enforceable security policies," ACM Trans. Inf. Syst. Secur., vol. 3, no. 1, pp. 30-50, 2000.
7. J. Ligatti, L. Bauer, and D. Walker, "Edit automata: enforcement mechanisms for run-time security policies," Int. J. Inf. Sec., vol. 4, no. 1-2, pp. 2-16, 2005.
8. C. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Kluwer Academic Publishers, 1999.
9. R. D. Brandt, V. Garg, R. Kumar, F. Lin, S. I. Marcus, and W. M. Wonham, "Formulas for calculating supremal controllable and normal sublanguages," Systems & Control Letters, vol. 15, no. 2, pp. 111-117, 1990.
10. A. Tarski, "A lattice-theoretical fixpoint theorem and its applications," Pacific Journal of Mathematics, vol. 5, pp. 285-309, 1955.