Secrecy in stochastic discrete event systems

Proceedings of the 11th IEEE International Conference on Networking, Sensing and Control, ICNSC 2014

Volumn , Issue , 2014, Pages 48-53

  Ibrahim, Mariam ^a,b   Chen, Jun ^a   Kumar, Ratnesh ^a  

^a Iowa State University   (United States)

^b GERMAN JORDANIAN UNIVERSITY   (Jordan)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL;

PARTIAL OBSERVATION; SECURITY-CRITICAL; STOCHASTIC DISCRETE EVENT SYSTEMS; SYSTEM BEHAVIORS; SYSTEM REQUIREMENTS;

STOCHASTIC SYSTEMS;

EID: 84902380580     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICNSC.2014.6819598     Document Type: Conference Paper

References (13)

1. G. Smith. "On the foundations of quantitative information flow." in Proc. Int. Coni Foundations of Software Science and Computation Structures (FoSSaCS 09). Miami. FL. 2009. pp. 288-302.
2. B. K. Michael Backes and A. Rybalchenko. "Automatic discovery and quantification of information leaks." in Proc. 30th IEEE Symp. Security and Privacy. Washington. DC. May 2009. pp. 141-153.
3. B. Espinoza and G. Smith. "Min-entropy as a resource." Information and Computation. vol. 226, pp. 57-75, Apr. 2013.
4. S. Takai and R. Kumar. "Verification and synthesis for secrecy in discrete-event systems," in Proc. 2009 Amer. Control Conf., St. Louis, MO, Jun. 2009, pp. 4741-4746.
5. J. Bryans, M. Koutny, and C. Mu, "Towards quantitative analysis of opacity," Technical Reports Series, Newcastle University, Nov. 2011.
6. A. Saboori and C. N. Hadjicostis, "Probabilistic current-state opacity is undecidable," in Proc. of 19th Int. Symp. Math. Theory Netw. and Syst. (MTNS '2010), Budapest, Hungary, Jul. 2010, pp. 477-483.
7. -, "Opacity verification in stochastic discrete event systems," in Proc. 49th IEEE Coni Decision Control, Atlanta, GA, 2010, pp. 6759-6764.
8. Y. K. Garg, R. Kumar, and S. I. Marcus, "A probabilistic language formalism for stochastic discrete-event systems," IEEE Trans. Autom. Control, vol. 44, no. 2, pp. 280-293, Feb. 1999.
9. A. Xie and P. A. Beerel, "Efficient state classification of finite-state Markov chains," IEEE Trans. Comput.-Aided Design Integr. Circuits Syst., vol. 17, no. 12, pp. 1334-1339, Dec. 1998.
10. P. Bremaud, Markov Chains: Gibbs Fields, Monte Carlo Simulation and Queues. New York: Springer-Verlag, 1999.
11. X. Wang and A. Ray, "A language measure for performance evaluation of discrete-event supervisory control systems," Applied Math. Modelling, vol. 28, no. 9, pp. 817-833, Sep. 2004.
12. J. Chen and R. Kumar, "Polynomial test for stochastic diagnosability of discrete event systems," IEEE Trans. Auto. Sci. and Eng., vol. 10, no. 4, pp. 969-979, Oct. 2013.
13. A. Saboori and C. N. Hadjicostis, "Verification of initial-state opacity in security applications of discrete event systems," lriformation Sciences, vol. 246, pp. 115-132, October 2013