A methodology for the analysis and modeling of security threats and attacks for systems of embedded components

Proceedings - 20th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2012

Volumn , Issue , 2012, Pages 261-268

  Ruiz, Jose Fran ^a   Harjani, Rajesh ^a   Maña, Antonio ^a   Desnitsky, Vasily ^b   Kotenko, Igor ^b   Chechulin, Andrey ^b  

^a UNIVERSITY OF MÁLAGA   (Spain)

^b ST PETERSBURG INSTITUTE FOR INFORMATICS AND AUTOMATION   (Russian Federation)

Author keywords

Embedded systems; Security attacks analysis; Security modeling; Security threats

Indexed keywords

ANALYSIS AND MODELING; EMBEDDED COMPONENTS; EMBEDDED DEVICE; HOSTILE ENVIRONMENTS; INTRUDER MODELS; SECURITY ATTACKS; SECURITY MODELING; SECURITY POINT; SECURITY PROPERTIES; SECURITY THREATS; THREATS AND ATTACKS;

SECURITY SYSTEMS;

EMBEDDED SYSTEMS;

EID: 84862143068     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PDP.2012.36     Document Type: Conference Paper

References (15)

1. Design of Secure and energy-efficient embedded systems for Future Internet applications (SecFutur). Seventh Framework Programme, IST-25668, http://www.secfutur.eu
2. ISA Secure Embedded Device Security Assurance Certification. http://www.isasecure.org/
3. M. Howard, "Secure systems begin with knowing your threats", 2000. http://archive.devx.com/upload/free/Features/zones/security/articles/2000/ 10oct00/mh1000[1]-1.asp
4. O. Kommerling, and M.G. Kuhn, "Design principles for tamperresistant smartcard processors," Proceedings of the USENIX Workshop on Smartcard Technology, Chicago, 10-11May, 1999, pp.9-20.
5. D.G. Abraham, G.M. Dolan, G.P. Double, and J.V. Stevens,"Transaction security system," IBM Systems Journal, 30(2): 206-228, 1991.
6. A. J. Rae, and L.P. Wildman, "A Taxonomy of Attacks on Secure Devices," Australian Information Warfare and IT Security, 20-21 November 2003, Australia, 2003, pp.251-264.
7. M. Eby, J. Werner, G. Karsai, and A. Ledeczi, "Integrating Security Modeling into Embedded System Design," Engineering of Computer-Based Systems, 2007. ECBS '07, pp. 221-228.
8. J. Pauli, and D. Xu, "Threat-Driven Architectural Design of Secure Information Systems," Proc. of the International Conference on Enterprise Information Systems (ICEIS'05), 2005.
9. S. Myagmar, A.J. Lee, and W. Yurcik, "Threat Modeling as a Basis for Security Requirements," Symposium on Requirements Engineering for Information Security (SREIS'05), 2005.
10. D.N. Serpanos, and A. Papalambrou, "Security and Privacy in Distributed Smart Cameras," Proceedings of the IEEE, vol. 96, no.10, 2008, pp.1678-1687.
11. J.K.R. Sastry, J.S. Bhanu, and K. SubbaRao, "Attacking embedded systems through fault injection," Emerging Trends and Applications in Computer Science (NCETACS), 2011, pp.1-5.
12. V. Desnitsky, I. Kotenko and A. Chechulin, "An abstract model for embedded systems and intruders", Proceedings of work in progress of the 18th Euromicro International Conference on Parallel, Distributed and Network-Based Computing (PDP 2011), 2010. SEAPublications: SEA-SR-26, 2010, pp.25-26.
13. M. Fowler, "UML distilled: a brief guide to the standard object modeling language," Addison-Wesley Proffesional, 2004.
14. C. Larman, "Applying UML and Patterns," Prentice Hall, 2011.
15. A. Maña, and J.F. Ruiz, "A Security Modelling Framework for Systems of Embedded Components," The 13th IEEE International High Assurance Systems Engineering Symposium (HASE), Boca Raton (Florida), 2011, To appear.