Verification and synthesis for secrecy in discrete-event systems

Proceedings of the American Control Conference

Volumn , Issue , 2009, Pages 4741-4746

  Takai, Shigemasa ^a   Kumar, Ratnesh ^b  

^a KYOTO INSTITUTE OF TECHNOLOGY   (Japan)

^b Iowa State University of Science and Technology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROLLED SYSTEM; DISCRETE EVENT SYSTEMS; PARTIAL OBSERVATION; SECRECY PROPERTIES; SUPERVISORY CONTROL; SYSTEM BEHAVIORS;

EID: 70449631444     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACC.2009.5160162     Document Type: Conference Paper

References (14)

1. R. Alur, P. ? Cerný, and S. Zdancewic, "Preserving secrecy under refinement," in Proc. 33rd International Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science, vol. 4052, Venice, Italy, pp. 107-118, 2006.
2. E. Badouel, M. Bednarczyk, A. Borzyszkowski, B. Caillaud, and P. Darondeau, "Concurrent secrets," Discrete Event Dynamic Syst.: Theory and Appl. , vol. 17, no. 4, pp. 425-446, 2007.
3. N. Ben Hadj-Alouane, S. Lafrance, F. Lin, J. Mullins, and M. Yeddes, "On the verification of intransitive noninterference in multilevel security," IEEE Trans. Syst., Man, Cybern., Part B: Cybern. , vol. 35, no. 5, pp. 948-958, 2005.
4. J. W. Bryans, M. Koutny, L. Mazaré, and P. Y. A. Ryan, "Opacity generalized to transition systems," in Proc. 3rd International Workshop on Formal Aspects in Security and Trust, Lecture Notes in ComputerScience, 3866, Newcastle upon Tyne, UK, pp. 81-95 (2005)
5. J. Dubreil, P. Darondeau, and H. Marchand, "Opacity enforcing control synthesis," in Proc. 9th Int. Workshop Discrete Event Syst. , Göteborg, Sweden, pp. 28-35, 2008.
6. F. Lin and W. M. Wonham, "On observability of discrete-event systems," Inf. Sci. , vol. 44, no. 3, pp. 173-198, 1988.
7. P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Control Optim. , vol. 25, no. 1, pp. 206-230, 1987.
8. J. Rushby, Noninterference, transitivity and channel-control security policies, SRI International, Tech. Rep. CSL-92-02, 1992.
9. A. Sabelfeld and A. Myers, "Language-based information-flow security," IEEE Journal on Selected Areas in Communications, vol. 21, no. 1, pp. 1-15, 2003.
10. A. Saboori and C. Hadjicostis, "Notions of security and opacity in discrete event systems," in Proc. 46th IEEE Conf. Decision and Contr. , New Orleans, LA, pp. 5056-5061, 2007.
11. A. Saboori and C. Hadjicostis, "Verification of initial-state opacity in security applications of DES," in Proc. 9th Int. Workshop Discrete Event Syst. , Göteborg, Sweden, pp. 328-333, 2008.
12. S. Takai and Y. Oka, "A formula for the supremal controllable and opaque sublanguage arising in supervisory control," SICE Journal of Control, Measurement, and System Integration, vol. 1, no. 4, pp. 307-311, 2008.
13. W. M. Wonham and P. J. Ramadge, "On the supremal controllable sublanguage of a given language," SIAM J. Control Optim. , vol. 25, no. 3, pp. 637-659, 1987.
14. A. Zakinthinos and E. S. Lee, "A general theory of security properties," in Proc. 1997 IEEE Symposium on Security and Privacy, Oakland, CA, pp. 94-102, 1997.