Modeling cyber-attack for SCADA systems using CoPNet approach

Proceedings of 2012 International Conference on Complex Systems, ICCS 2012

Volumn , Issue , 2012, Pages

  Bouchti, Abdelali El ^a,b   Haqiq, Abdelkrim ^a,b  

^a E NGN Research Group   (Morocco)

^b HASSAN 1ST UNIVERSITY   (Morocco)

Author keywords

AT; Attack Modeling; CoPNet; Cyber Security; SCADA; Vulnerability

Indexed keywords

AT; ATTACK MODELING; COPNET; CYBER SECURITY; SCADA; VULNERABILITY;

COMPUTER CRIME; FORESTRY; RESEARCH; SCADA SYSTEMS;

SECURITY OF DATA;

ALGORITHMS; COMMUNICATION; DATA; FORESTS; SAFETY;

EID: 84874467860     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICoCS.2012.6458588     Document Type: Conference Paper

References (22)

1. Jensen K. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use [C]. Springer-Verlag, Berlin, Germany/Heidelberg, Germany/ London, UK/ ect., 1992, 1
2. Schneier B. Attack Trees [J]. Dr. Dobb's Journal of Software Tools 1999, 24(12):21-29
3. Cunningham W. The WikiWikiWeb [DB/OL]. http://c2.com/cgibin/wiki, 2002
4. Ruiu D. Cautionary tales: stealth coordinated attack how to [DB/OL]. http://www.nswc.navy.mil/ISSEC/CID/Stealth-coordinated-Attack.html, July 1999
5. Bugtraq Vulnerability Database [DB/OL]. http://www.securityfocus.com, 2003
6. Helmer G, Wong J., Slagell M, et al. A Software Fault Tree Approach to Requirements Analysis of an Intrusion Detection System [C]. In Proceeding of symposium on requirements engineering for information security. Center for education and research in information assurance and security, Perdue University, March 2001
7. Phillips C, Swiler L P. A Graph-based System for Network-Vulnerability Analysis [C]. In proceeding of new security paradigms workshop, Charlottesville, VA, USA, 1998, 71-79
8. Helmer G, Wong J., Slagell M, et al. "Software Fault Tree and Colored Petri Net based specification and implementation of agent- based intrusion detection systems" Int. J. Information and Computer Security, Vol. 1, No. 1/2, 2007.
9. K. Jensen," A brief introduction to Colored Petri Nets", Workshop on the Applicability of Formal Models, 2 June 1998, Aarhus, Denmark, pages 55-58.
10. K. Jensen. " An introduction to the Theoretical Aspects of Colored Petri Nets", Workshop on the Applicability of Formal Models, Aarhus, Denmark, 1998.
11. "The center for SCADA security," The Center for SCADA Security, Sandia National laboratory. [online]. Available http://www.sandia.gov/scada/ home.htm.
12. "Supervisory Control and Data Acquisition (SCADA) Systems," Technical Information Bulletin 04-1, National Communication System, Oct. 2004. [online]. Available: http://www.ncs.gov/library/tech-bulletins/2004/tib-04-1.pdf
13. "Understanding SCADA system security vulnerabilities," Symantec White Paper, 2005.
14. T. Brown, "Security in SCADA systems: How to handle the growing menace to process automation," IEE Comp. and Control Eng., vol. 16, no. 3, Jun./Jul. 2005, pp.42-47. (Pubitemid 40860336)
15. R. Rehman. Intrusion Detection Systems with Snort. Prentice-Hall, 2003.
16. R. Lippmann and K.Ingols. An annotated review of past papers on attack graphs. Technical report, MIT Lincoln Laboratory, March 2005.
17. S. Mauw and M. Oostdijk, "Foundations of attack trees," in Proc. 8th Annu. Int. Conf. Inf. Security Cryptol. (ICISC), Seoul, Korea, Dec. 2005, pp. 186-198. (Pubitemid 44029534)
18. P. Khand, "System level security modeling using attack trees," in Proc. 2nd Int. Conf. Comput., Control, Commun. (ICA), Karachi, Pakistan, Feb. 2009, pp. 1-6.
19. K. Schneider, C.-C. Liu, and J.-P. Paul, "Assessment of interactions between power and telecommunications infrastructures," IEEE Trans. Power Sys., vol. 21, pp. 1123-1130, Aug. 2006. (Pubitemid 44263503)
20. C.-W. Ten, C.-C. Liu, and M. Govindarasu, "Vulnerability assessment of cybersecurity for scada systems using attack trees," in IEEE Power Eng. Soc. Gen. Meet., Tampa, FL, Jun. 2007, pp. 1-6.
21. S. McLaughlin, D. Podkuiko, and P. McDaniel, "Energy theft in the advanced metering infrastructure," in Proc. 4th Int. Workshop Crit. Inf. Infrastruct. Security (CRITIS 2009), Bonn, Germany, Sep. 2009, pp. 176-187.
22. Abdelali El Bouchti and Abdelkrim Haqiq,"Performance Modeling of Attack Countermeasure Using Colored Petri Nets", International Symposium on Security and Safety of Complex Systems, Agadir, Morocco, May 25 - 26, 2012.