Opacity-enforcing supervisory strategies via state estimator constructions

IEEE Transactions on Automatic Control

Volumn 57, Issue 5, 2012, Pages 1155-1165

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

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

^b MICROSOFT   (United States)

^c UNIVERSITY OF CYPRUS   (Cyprus)

Author keywords

Discrete event systems; opacity; security; supervisory control

Indexed keywords

CONTROLLABLE SYSTEMS; NONDETERMINISTIC FINITE AUTOMATON; SECURITY; SECURITY APPLICATION; STATE ESTIMATORS; STATE-BASED; SUPERVISORY CONTROL; SYSTEM BEHAVIORS;

DISCRETE EVENT SIMULATION; STATE ESTIMATION; SUPERVISORY PERSONNEL;

OPACITY;

EID: 84860457127     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2011.2170453     Document Type: Article

References (19)

1. R. Focardi and R. Gorrieri, "A taxonomy of trace-based security properties for CCS," in Proc. 7thWorkshop Comput. Security Foundat., Jun. 1994, pp. 126-136.
2. S. Schneider and A. Sidiropoulos, "CSP and anonymity," in Proc. 4th Eur. Symp. Res. Comput. Security, Sep. 1996, pp. 198-218.
3. J. Bryans, M. Koutny, L. Mazare, and P. Ryan, "Opacity generalised to transition systems," Int. J. Inf. Security, vol. 7, no. 6, pp. 421-435, Nov. 2008.
4. A. Saboori and C. N. Hadjicostis, "Verification of -step opacity and analysis of its complexity," IEEE Trans. Autom. Sci. Eng., vol. 8, no. 3, pp. 549-559, Jul. 2011.
5. A. Saboori and C. N. Hadjicostis, "Verification of initial-state opacity in security applications of DES," in Proc. 9th Int. Workshop Discrete Event Syst., May 2008, pp. 328-333.
6. A. Saboori and C. N. Hadjicostis, "Verification of infinite-step opacity and complexity considerations," IEEE Trans. Autom. Control, to be published.
7. E. Badouel, M. Bednarczyk, A. Borzyszkowski, B. Caillaud, and P. Darondeau, "Concurrent secrets," Discrete Event Dyn. Syst., vol. 17, no. 4, pp. 425-446, Dec. 2007.
8. J. Dubreil, P. Darondeau, and H. Marchand, "Opacity enforcing control synthesis," in Proc. 9th Int. Workshop Discrete Event Syst., May 2008, pp. 28-35.
9. D. Thorsley and D. Teneketzis, "Intrusion detection in controlled discrete event systems," in Proc. 45th IEEE Conf. Decision Control, Dec. 2006, pp. 6047-6054.
10. F. Cassez, J. Mullins, and O. Roux, "Synthesis of non-interferent distributed systems," Comput. Netw. Security, vol. 1, pp. 159-170, Aug. 2007.
11. J. E. Hopcroft, R. Motwani, and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation. Boston, MA: Addison Wesley, 2006.
12. C. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Norwell, MA: Kluwer, 2008.
13. W. M. Wonham, "Supervisory control of discrete event systems, systems and control group," Dept. of Elect. and Comput. Eng., Univ. of Toronto, Toronto, ON, Canada, 2009 [Online]. Available: www.utoronto.ca/DES
14. P. E. Caines, R. Greiner, and S. Wang, "Classical and logic-based dynamic observers for finite automata," IMA J. Math. Control Inf., vol. 8, no. 1, pp. 45-80, Mar. 1991.
15. P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Control Optim., vol. 25, pp. 206-230, Jan. 1987.
16. A. Saboori and C. N. Hadjicostis, "Coverage analysis of mobile agent trajectory via state-based opacity formulations," Control Eng. Practice (Special Iss. Sel. Papers 2nd Int. Workshop Depend. Control Discrete Syst.), vol. 19, pp. 967-977, 2011.
17. A. Saboori and C. N. Hadjicostis, "Supplement material for the paper opacity-enforcing supervisory strategies via state estimator constructions," [Online]. Available: http://www.eng.ucy.ac.cy/hadjicostis/ publications. html
18. R. D. Brandt, V. Garg, R. Kumar, F. Lin, S. I. Marcus, and W. M. Wonham, "Formulas for calculating supremal controllable and normal sublanguages," Syst. Control Lett., vol. 15, no. 2, pp. 111-117, 1990.
19. M. Sampath, S. Lafortune, and D. Teneketzis, "Active diagnosis of discrete event systems," IEEE Trans. Autom. Control, vol. 43, no. 7, pp. 908-929, Jul. 1998.