Opacity verification in stochastic discrete event systems

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2010, Pages 6759-6764

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

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

^b UNIVERSITY OF CYPRUS   (Cyprus)

Author keywords

[No Author keywords available]

Indexed keywords

CRYPTOGRAPHY; DISCRETE EVENT SIMULATION; MOBILE AGENTS; NETWORK SECURITY; ROBOTS; SENSOR NETWORKS; STOCHASTIC SYSTEMS;

NONDETERMINISTIC FINITE AUTOMATON; PROBABILISTIC FINITE AUTOMATA; PSEUDORANDOM GENERATORS; QUANTIFIABLE MEASURES; SECURITY AND PRIVACY; SECURITY REQUIREMENTS; STOCHASTIC DISCRETE EVENT SYSTEMS; VERIFICATION METHOD;

OPACITY;

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

References (11)

1. J. Bryans, M. Koutny, L. Mazare, and P. Ryan, "Opacity generalised to transition systems," International Journal of Information Security, vol. 7, no. 6, pp. 421-435, November 2008.
2. 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.
3. Y. Lakhnech and L. Mazaré, "Probabilistic opacity for a passive adversary and its application to Chaum's voting scheme," Verimag, Tech. Rep. TR-2005-4, 2005. [Online]. Available: http://www-verimag.imag.fr/ index.php?page=techrep-list
4. R. Janvier, Y. Lakhnech, and L. Mazaré, "Completing the picture: soundness of formal encryption in the presence of active adversaries," in Proceedings of 14th European Symposium on Programming, ser. Lecture Notes in Computer Science, vol. 3444, April 2005, pp. 172-185.
5. D. Thorsley and D. Teneketzis, "Diagnosability of stochastic discrete event systems," IEEE Transactions on Automatic Control, vol. 50, no. 4, pp. 476-492, April 2005.
6. C. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Kluwer Academic Publishers, 2008.
7. A. Paz, Introduction to Probabilistic Automata. Academic Press, Inc., 1971.
8. V. Garg, R. Kumar, and S. I. Marcus, "Probabilistic language formalism for stochastic discrete event systems," IEEE Transactions on Automatic Control, vol. 44, no. 2, pp. 29-3, February 1997.
9. P. Brémaud, Markov Chains: Gibbs Fields, Monte Carlo Simulation and Queues. Springer-Verlag, 1999.
10. S. Hashtrudi Zad, H. Kwong, and W. Wonham, "Fault diagnosis in discrete event systems: Framework and model reduction," IEEE Transactions on Automatic Control, vol. 48, no. 7, pp. 1199-1212, July 2003.
11. R. Horn and C. R. Johnson, Matrix Analysis. Cambridge University Press, 1985.