Maximum Information Release while Ensuring Opacity in Discrete Event Systems

IEEE Transactions on Automation Science and Engineering

Volumn 12, Issue 3, 2015, Pages 1067-1079

  Zhang, Bo ^a   Shu, Shaolong ^a   Lin, Feng ^b  

^a TONGJI UNIVERSITY   (China)

^b Wayne State University   (United States)

Author keywords

Computer science; discrete event system; opacity; security

Indexed keywords

COMPUTER SCIENCE; OPACITY;

CONTROL INFORMATION; GENERAL SYSTEMS; OTHER PROPERTIES; SECURITY;

DISCRETE EVENT SIMULATION;

EID: 85027927452     PISSN: 15455955     EISSN: None     Source Type: Journal    
DOI: 10.1109/TASE.2014.2379623     Document Type: Article

References (24)

1. M. Ben-Kalefa and F. Lin, "Opaque superlanguages and sublanguages in discrete event systems, " in Proc. 48th IEEE Conf. Decision and Control, 2009, pp. 199-204.
2. "Supervisory control for opacity of discrete event systems, " in Proc. 49th Annu. Allerton Conf. Commun., Control, Computing, , 2011, 1992, pp. 1113-1119.
3. A. Briiggemann-Klein and D. Wood, "Deterministic regular language, " Lecture Notes in Comput. Sci., vol. 577, pp. 173-182, 1992.
4. J. W. Bryans, M. Koutny, L. Mazare, and P. Y. A. Ryan, "Opacity generalised to transition systems, " in Proc. FAST 2005, LNCS 2860, 2006, pp. 81-95.
5. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Berlin, Germany: Springer, 2008.
6. F. Cassez, J. Dubreil, and H. Marchand, "Dynamic observers for the synthesis of opaque systems, " in Proc. ATVA 2009, LNCS 5799, 2009, pp. 352-367.
7. F. Cassez, J. Dubreil, and H. Marchand, "Synthesis of opaque system with static and dynamic masks, " Formal Methods in System Design, vol. 40, pp. 88-115, 2012.
8. D. Chaum, "The dining cryptographers problem: Unconditional sender and recipient untraceabilitym, " J. Cryptology, vol. 1, pp. 65-75, 1988.
9. J. Dubreil, P. Darondeau, and H. Marchand, "Opacity enforcing control synthesis, " in Proc. 9th Int. Workshop Discrete Event Syst., 2008, pp. 28-35.
10. J. Dubreil, P. Darondeau, and H. Marchand, "Supervisory control for opacity, " IEEE Trans. Autom. Control, vol. 55, no. 5, pp. 1089-1100, May 2010.
11. M. Heymann and F. Lin, "On-line control of partially observed discrete event systems, " Discrete Event Dynamic Syst.: Theory and Applications, vol. 4, no. 3, pp. 221-236, 1994.
12. F. Lin, "Opacity of discrete event systems and its applications, " Automatica, vol. 47, pp. 496-503, 2011.
13. F. Lin and W. M. Wonham, "On observability of discrete-event systems, " Inf. Sci., vol. 44, pp. 173-198, 1988.
14. M. K. Reiter and A. D. Rubin, "Crowds: Anonymity for Web transactions, " ACM Trans. Inf. Syst. Security, vol. 1, no. 1, pp. 66-92, 1998.
15. A. Saboori and C. Hadjicostis, "Notions of security and opacity in discrete event systems, " in Proc. 46th IEEE Conf. Decision and Control, 2007, pp. 5056-5061.
16. A. Saboori and C. Hadjicostis, "Verification of initial-state opacity in security applications of DES, " in Proc. 9th Int. Workshop on Discrete Event Syst., 2008, pp. 328-333.
17. A. Saboori and C. Hadjicostis, "Verification of infinite-step opacity and complexity considerations, " IEEE Trans. Autom. Control, vol. 57, no. 5, pp. 1265-1269, May 2012.
18. A. Saboori and C. Hadjicostis, "Opacity-enforcing supervisory strategies via state estimator constructions, " IEEE Trans. Autom. Control, vol. 57, no. 5, pp. 1155-1165, May 2012.
19. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Diagnosability of discrete event systems, " IEEE Trans. Autom. Control, vol. 40, no. 9, pp. 1555-1575, Sep. 1995.
20. S. Shu and F. Lin, "Detectability of discrete event systems with dynamic event observation, " Syst. Control Lett., vol. 59, no. 1, pp. 9-17, 2010.
21. S. Shu and F. Lin, "Online sensor activation for detectability of discrete event systems, " IEEE Trans. Autom. Sci. Eng., vol. 10, no. 2, pp. 457-461, Feb. 2013.
22. Y. Wu and S. Lafortune, "Enforcement of opacity properties using insertion functions, " in Proc. 51st IEEE Conf. Decision and Control, 2012, pp. 6722-6728.
23. R. T. Yeh, "Structural equivalence of automata, " Math. Syst. Theory, vol. 4, no. 2, pp. 405-412, 1970.
24. B. Zhang, S. Shu, and F. Lin, "Polynomial algorithm to check opacity in discrete event system, " in Proc. 24th Chinese Control Decision Conf., , 2012, 2006, pp. 763-769.