Modeling and Analysis of Attacks and Counter Defense Mechanisms for Cyber Physical Systems

IEEE Transactions on Reliability

Volumn 65, Issue 1, 2016, Pages 350-358

  Mitchell, Robert ^a   Chen, Ing Ray ^a  

^a VIRGINIA POLYTECHNIC INSTITUTE AND STATE UNIVERSITY   (United States)

Author keywords

Cyber physical systems; intrusion detection; mean time to failure; modeling and analysis; redundancy engineering

Indexed keywords

INTRUSION DETECTION; PETRI NETS; REDUNDANCY; STOCHASTIC MODELS; STOCHASTIC SYSTEMS;

CYBER PHYSICAL SYSTEMS (CPSS); DEFENSE MECHANISM; DESIGN TRADEOFF; ELECTRICAL GRIDS; MEAN TIME TO FAILURE; MODEL AND ANALYSIS; STOCHASTIC PETRI NETS; SYSTEM RELIABILITY;

EMBEDDED SYSTEMS;

EID: 84924597741     PISSN: 00189529     EISSN: None     Source Type: Journal    
DOI: 10.1109/TR.2015.2406860     Document Type: Article

References (22)

1. R. Mitchell and I. R. Chen, "A survey of intrusion detection techniques in cyber physical systems, " ACM Comput. Surveys, vol. 46, no. 4, 2014.
2. R. Mitchell and I. R. Chen, "A survey of intrusion detection in wireless network applications, " Comput. Commun., vol. 42, pp. 1-23, 2014.
3. A. Banerjee, S. K. S. Gupta, G. Fainekos, G. Varsamopoulos, "Towards modeling and analysis of cyber-physical medical systems, " in Proc. 4th Int. Symp. Applied Sciences in Biomedical and Communication Technologies, 2011.
4. P. Derler, E. A. Lee, A. S. Vincentelli, "Modeling cyber physical systems, " Proc. IEEE, vol. 100, no. 1, pp. 13-18, Jan. 2012.
5. I. Lee, O. Sokolsky, S. Chen, J. Hatcliff, "Challenges and research directions in medical cyber physical systems, " Proc. IEEE, vol. 100, no. 1, pp. 75-90, Jan. 2012.
6. A. B. Sharma, F. Ivancic, A. Niculescu-Mizil, H. Chen, G. Jiang, "Modeling and analytics for cyber-physical systems in the age of big data, " ACM Sigmetrics, 2013.
7. R. Mitchell and I. R. Chen, "Behavior rule specification-based intrusion detection for safety critical medical cyber physical systems, " IEEE Trans. Depend. Secure Comput., vol. 12, no. 1, pp. 16-30, Jan.-Feb. 2015.
8. R. Mitchell and I. R. Chen, "Adaptive intrusion detection of malicious unmanned air vehicles using behavior rule specifications, " IEEE Trans. Syst., Man, Cybern., vol. 44, no. 5, pp. 593-604, 2014.
9. R. Mitchell and I. R. Chen, "Behavior rule based intrusion detection systems for safety critical smart grid applications, " IEEE Trans. Smart Grid, vol. 4, no. 3, pp. 1254-1263, 2013.
10. R. Mitchell and I. R. Chen, "Effect of intrusion detection and response on reliability of cyber physical systems, " IEEE Trans. Rel., vol. 62, no. 1, pp. 199-210, Mar. 2013.
11. R. Mitchell and I. R. Chen, "On survivability of mobile cyber physical systems with intrusion detection, " Wireless Personal Commun., vol. 68, pp. 1377-1391, 2013.
12. I. R. Chen and D. C. Wang, "Analyzing dynamic voting using Petri nets, " in Proc. 15th IEEE Symp. Reliable Distributed Systems, Niagara Falls, ON, Canada, Oct. 1996, pp. 44-53.
13. I. R. Chen and D. C. Wang, "Analysis of replicated data with repair dependency, " Comput. J., vol. 39, no. 9, pp. 767-779, 1996.
14. J. H. Cho, A. Swami, I. R. Chen, "Modeling and analysis of trust management with trust chain optimization in mobile ad hoc networks, " J. Netw. Comput. Applicat., vol. 35, no. 3, pp. 1001-1012, 2012.
15. U. S. DoE, Smart Grid, 2012 [online]. Available: http://energy. gov/oe/services/technology-development/smart-grid
16. J. H. Cho, I. R. Chen, P. G. Feng, "Effect of intrusion detection on reliability of mission-oriented mobile group systems in mobile ad hoc networks, " IEEE Trans. Rel., vol. 59, no. 1, pp. 231-241, Mar. 2010.
17. F. Bao, I. R. Chen, M. J. Chang, J. H. Cho, "Trust-based intrusion detection in wireless sensor networks, " in Proc. IEEE Int. Conf. Communications, Kyoto, Japan, Jun. 2011, pp. 1-6.
18. L. Lamport, R. Shostak, M. Pease, "The byzantine generals problem, " ACM Trans. Program. Lang. Syst., vol. 4, no. 3, pp. 382-401, 1982.
19. G. Ciardo, J. Muppala, K. Trivedi, "SPNP: Stochastic Petri net package, " in Proc. 3rd Int. Workshop Petri Nets and Performance Models, Washington, DC, USA, Dec. 1989, pp. 142-151.
20. I. R. Chen and F. B. Bastani, "Effect of artificial-intelligence planningprocedures on system reliability, " IEEE Trans. Rel., vol. 40, no. 3, pp. 364-369, 1991.
21. I. R. Chen, F. B. Bastani, T. W. Tsao, "On the reliability of AI planning software in real-time applications, " IEEE Trans. Knowl. Data Eng., vol. 7, no. 1, pp. 4-13, 1995.
22. D. Korzhyk, V. Conitzer, R. Parr, "Solving stackelberg games with uncertain observability, " in Proc. 10th Int. Conf. Autonomous Agents and Multiagent Systems, Taipei, Taiwan, May 2010.