A method for describing industrial control system network attack using object Petri net

IEEJ Transactions on Electrical and Electronic Engineering

Volumn 11, Issue 2, 2016, Pages 216-227

  Wu, Kehe ^a   Li, Yi ^a   Chen, Fei ^a   Chen, Long ^a  

^a NORTH CHINA ELECTRIC POWER UNIVERSITY   (China)

Author keywords

Industrial control system; Information security; Network attack description; Object Petri net; Smart substation

Indexed keywords

CONTROL SYSTEMS; PETRI NETS; SECURITY OF DATA;

INDUSTRIAL CONTROL SYSTEMS; NETWORK ATTACK; PETRI NET MODELS; SMART SUBSTATIONS;

COMPUTER CRIME;

EID: 84956833000     PISSN: 19314973     EISSN: 19314981     Source Type: Journal    
DOI: 10.1002/tee.22209     Document Type: Article

References (40)

1. Schneider Electric. Cybersecurity for industrial automation & control environments: protection and prevention strategies in the face of growing threats. Frost & Sullivan: San Jose, USA; 2013.
2. Chen TM, Sanchez-Aarnoutse JC, Buford J. Petri net modeling of cyber-physical attacks on smart grid. IEEE Transactions on Smart Grid 2011; 2(4):741-749.
3. El Bouchti A, Haqiq A. Modeling cyber-Attack for SCADA systems using CoPNet approach. 2012 International Conference on Complex Systems (ICCS), Agadir, Morocco, 2012; 5-6.
4. Amoah R, Suriadi S, Camtepe S, Foo E. Security analysis of the non-aggressive challenge response of the DNP3 protocol using a CPN model. 2014 IEEE International Conference on Communications (ICC) Sydney, Australia, 2014; 10-14.
5. Wang L. Object-oriented Petri nets for modelling and analysis of automated manufacturing systems. Computer Integrated Manufacturing Systems 1996; 9(2):111-125.
6. Wu R, Li W, Huang H. An attack modeling based on hierarchical colored Petri nets. International Conference on Computer and Electrical Engineering (2008 ICCEE), Phuket, Thailand, 2008; 20-22.
7. Danyliw R, Meijer J, Demchenko Y. RFC 5070: the incident object description exchange format. Internet Engineering Task Force (IETF), 2007.
8. Danyliw R, Meijer J, Demchenko Y. The incident object description exchange format data model and xml implementation. Internet Engineering Task Force Extended Incident Handling Working Group Draft, 2006.
9. Meijer J, Danyliw R, Demchenko Y. The incident object description exchange format data model and XML implementation, 2004.
10. Kampanakis P. Security automation and threat information-sharing options. IEEE Security & Privacy 2014; 12(5):42-51.
11. Martin RA, Barnum S. Supporting Secure Software Operations. MITRE Corp: Bedford, MA; 2011.
12. Obrst L, Chase P, Markeloff R. Developing an ontology of the cyber security domain. STIDS, 2012.
13. Barnum S. Standardizing cyber threat intelligence information with the Structured Threat Information eXpression (STIX™). MITRE Corporation, 2012.
14. Barnum S. Information with the Structured Threat Information eXpression (STIX™). 2013.
15. Connolly J, Davidson M, Richard M, Skorupka C. The Trusted Automated eXchange of Indicator Information (TAXII™). 2012.
16. McGuire GT, Reid EE. The state of security automation standards-2011. 2011.
17. Petri CA. Introduction to general net theory. In Net Theory and Applications, vol. 84. Brauer W (ed). Springer: Berlin and Heidelberg; 1980; 1-19.
18. Yu L, Shuo T. Research on modeling and simulation of cruise missile interception system based on object-oriented Petri net. 2010 3rd IEEE International Conference on Computer Science and Information Technology (ICCSIT), Vol. 6. IEEE: Chengdu, China; 2010; 9-11.
19. Wang L. An integrated object-oriented Petri net paradigm for manufacturing control systems. International Journal of Computer Integrated Manufacturing 1996; 9(1):73-87.
20. Meng X. Modeling of reconfigurable manufacturing systems based on colored timed object-oriented Petri nets. Journal of Manufacturing Systems 2010; 29(2):81-90.
21. McDermott JP. Attack net penetration testing. In Proceedings of the 2000 workshop on New security paradigms. Zurko ME, Greenwald SJ (ed). ACM: Victoria, Canada; 2001; 15-18.
22. Hong J, Bae D. Software modeling and analysis using a hierarchical object-oriented Petri net. Information Sciences 2000; 130(1):133-164.
23. Chachkov S, Buchs D. From formal specifications to ready-to-use software components: the concurrent object oriented Petri Net approach. 2001 International Conference on Application of Concurrency to System Design, Newcastle Upon Tyne, UK, 2001; 99-110.
24. Žáček J, Huňka F. Reusable object-oriented model. e-Informatica 2013; 7(1):35-44.
25. Rajabi BA, Lee SP. Consistent integration between object oriented and coloured Petri nets models. The International Arab Journal of Information Technology 2014; 11(4):406-415.
26. Liu Y, Fu J, Feng H. A survey on the object-oriented Petri net modeling. Applied Mechanics and Materials 2012; 121:4350-4356.
27. Wu X, Li X, Feng R, Xu G, Hu J, Feng Z. OOPN-SRAM: a novel method for software risk assessment. 2014 19th International Conference on Engineering of Complex Computer Systems (ICECCS), Tianjin, China 2014; 4-7.
28. Stallings W. Network Security Essentials: Applications and Standards. Pearson Education: India; 2007.
29. Fan C. The data acquisition in smart substation of China. In Data Acquisition Applications. Karakehayov Z (ed). InTech Open Access Publisher: Rijeka, Croatia; 2012; 123-164.
30. Jie H, Huang X, Yang Y. Research on smart substation equipment condition monitoring system based on wireless sensor networks. In Wireless Communications and Applications. Sénac P, Ott M, Seneviratne A (ed). Springer: Berlin and Heidelberg; vol. 2012; 75-89.
31. Xiang L, Wang W, Ma J. Authentication and integrity in the smart grid: an empirical study in substation automation systems. International Journal of Distributed Sensor Networks 2012; 2012:1-13.
32. Chen J-L, Huang C, Zeng Z-X, Qu S, Luo J, Qin Q. Smart grid oriented smart substation characteristics analysis. 2012 IEEE PES Innovative Smart Grid Technologies, 2012, Tianjin; 1-4.
33. Kezunovic M, Guan Y, Guo C, Ghavami M. The 21st century substation design: vision of the future. 2010 iREP Symposium Bulk Power System Dynamics and Control (iREP)-VIII (iREP), Rio de Janeiro, 2010; 1-8.
34. Valtari J, Verho P. Requirements and proposed solutions for future smart distribution substations. Journal of Energy and Power Engineering 2011; 5(8):766-775.
35. Cárdenas J, López De Viñaspre A, Argandoña R, De Arriba C, Farooqui H. The next generation of smart substations. Challenges and possibilities. CIGRE Session 2012, Paris, 2012; 26-31.
36. Metke AR, Ekl RL. Smart grid security technology. Innovative Smart Grid Technologies (ISGT), 2010, Gaithersburg, MD, 2010; 19-21.
37. Westergaard M, Verbeek H. CPN tools, 2012. http://www.daimi.au.dk/CPNTools. Accessed April 16, 2015.
38. Jensen K, Kristensen LM, Wells L. Coloured Petri nets and CPN tools for modelling and validation of concurrent systems. International Journal on Software Tools for Technology Transfer 2007; 9:3-4.
39. Ratzer AV, Wells L, Lassen HM, Laursen M, Qvortrup JF, Stissing MS, Westergaard M, Christensen S, Jensen K. CPN tools for editing, simulating, and analyzing coloured Petri nets. Applications and Theory of Petri Nets; Van Der Aalst WMP, Best E; Springer: Berlin and Heidelberg; 2003; 450-462.
40. Jensen K, Christensen S, Kristensen LM. CPN tools state space manual. Department of Computer Science, Univerisity of Aarhus, 2006.