Opacity-enforcing supervisory strategies for secure discrete event systems

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2008, Pages 889-894

  Saboori, Anooshiravan ^a   Hadjicostis, Christoforos N ^a,b,c  

^a University of Illinois at Urbana Champaign   (United States)

^b UNIVERSITY OF CYPRUS   (Cyprus)

^c NONE   (Cyprus)

Author keywords

[No Author keywords available]

Indexed keywords

DISCRETE EVENT SIMULATION;

CRYPTOGRAPHIC PROTOCOLS; INITIAL STATE; KEY STREAM GENERATOR; SECURITY APPLICATION; STATE BASED;

OPACITY;

EID: 62949219238     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2008.4738646     Document Type: Conference Paper

References (11)

1. A. Saboori and C. N. Hadjicostis, "Notions of security and opacity in discrete event systems," in Proc. of the 46th IEEE Conference on Decision and Control, December 2007, pp. 5056-5061.
2. J. Bryans, M. Koutny, L. Mazare, and P. Ryan, "Opacity generalised to transition systems," in Proc. of the 3rd International Workshop on Formal Aspects in Security and Trust, July 2005, pp. 81-95.
3. A. Saboori and C. N. Hadjicostis, "Initial-state estimation and its application to security problems," in Proc. of the 9th International Workshop on Discrete Event Systems, May 2008, pp. 328-333.
4. E. Badouel, M. Bednarczyk, A. Borzyszkowski, B. Caillaud, and Ph. Darondeau, "Concurrent secrets," in Proc. of the 8th International Workshop on Discrete Event Systems, July 2006, pp. 51-57.
5. J. Dubreil, Ph. Darondeau, and H. Marchand, "Opacity enforcing control synthesis," in Proc. of the 9th International Workshop on Discrete Event Systems, May 2008, pp. 28-35.
6. D. Thorsley and D. Teneketzis, "Intrusion detection in controlled discrete event systems," in Proc. of the 45th IEEE Conference on Decision and Control, December 2006, pp. 6047-6054.
7. G. Gardey, J. Mullins, and O. H. Roux, "Non-interference control synthesis for security timed automata," Electronic Notes in Theoretical Computer Science, vol. 180, pp. 35-53, June 2007.
8. W. Wonham, Supervisory Control of Discrete-Event Systems, Systems and Control Group, Department of Electrical and Computer Engineering, University of Toronto. Available at www.utoronto.ca/DES, 2005.
9. P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event processes," SIAM Journal on Control and Optimization, vol. 25, pp. 206-230, January 1987.
10. F. Lin and W. Wonham, "On observability of discrete event systems," Information Sciences, vol. 44, no. 3, pp. 173-198, April 1988.
11. R. D. Brandt, V. Garg, R. Kumar, F. Lin, S. I. Marcus, and W. M. Wonham, "Formulas for calculating supremal controllable and normal sublanguages," System and Control Letters, vol. 15, no. 2, pp. 111-117, 1990.