Notions of security and opacity in discrete event systems

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2007, Pages 5056-5061

  Saboori, Anooshiravan ^a   Hadjicostis, Christoforos N ^a  

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

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; OPACITY; SECURITY OF DATA;

LAST K OBSERVATIONS; NOTION OF OPACITY; STATE-BASED APPROACH;

DISCRETE EVENT SIMULATION;

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

References (11)

1. S. Schneider and A. Sidiropoulos, "CSP and anonymity," in Proc. of the 4th European Symposium on Research in Computer Security, 1996, pp. 198-218.
2. R. Focardi and R. Gorrieri, "A taxonomy of trace-based security properties for CCS," in Proc. of the Computer Security Foundations Workshop VII, CSFW 7, 1994, pp. 126-36.
3. J. W. Bryans, M. Koutny, and P. Y. A. Ryan, "Modelling opacity using Petri nets," Electronic Notes in Theoretical Computer Science, vol. 121, pp. 101-115, 2005.
4. E. Badouel, M. Bednarczyk, A. Borzyszkowski, B. Caillaud, and P. Darondeau, "Concurrent secrets," in Proc 8th International Workshop on Discrete Event Systems, July 2006, pp. 51-57.
5. D. Thorsley and D. Teneketzis, "Intrusion detection in controlled discrete event systems," in Proc. of 45th IEEE Conference on Decision and Control, 2006, pp. 6047-6054.
6. S. Gene and S. Lafortune, "Diagnosis of patterns in partially-observed discrete-event systems;," in Proc. of 45th IEEE Conference on Decision and Control, 2006, pp. 422-427.
7. N. Hadj-Alouane, S. Lafrance, L. Feng, J. Mullins, and M. Yeddes, "On the verification of intransitive noninterference in multilevel security," IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics), vol. 35, no. 5, pp. 948-58, October 2005.
8. W. Wonham, Supervisory Control of Discrete-Event Systems, Systems Control Group, Dept. of Elec. and Comp. Eng., University of Toronto, Available at www.utoronto.ca/DES, 2005.
9. C. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Kluwer Academic Publishers, 1999.
10. S. Bose, A. Patra, and S. Mukhopadhyay, "On observability with delay: antitheses and syntheses," IEEE Transactions on Automatic Control, vol. 39, no. 4, pp. 803-806, April 1994.
11. C. M. Ozveren and A. S. Willsky, "Observability of discrete event dynamic systems," IEEE Transactions on Automatic Control, vol. 35, no. 7, pp. 797-806, July 1990.