Security engineering for embedded systems: the SecFutur vision

Security is usually not in the main focus in the development of embedded systems. However, strongly interconnected embedded systems play vital roles in many everyday processes and also in industry and critical infrastructures. Therefore, security engineering for embedded systems is a discipline that currently attracts more interest. This paper presents the vision of security engineering for embedded systems formulated by the FP7 project SecFutur [1].

[1]  Betty H. C. Cheng,et al.  Using Security Patterns to Model and Analyze Security Requirements , 2012 .

[2]  Jan Jürjens,et al.  UMLsec: Extending UML for Secure Systems Development , 2002, UML.

[3]  Jim Goldman,et al.  Metrics based security assessment (MBSA): combining the ISO 17799 standard with the systems security engineering capability maturity model (SSE-CMM) , 2004 .

[4]  Jan Jürjens,et al.  Towards Development of Secure Systems Using UMLsec , 2001, FASE.

[5]  Markus Schumacher,et al.  Security Engineering with Patterns , 2003, Lecture Notes in Computer Science.

[6]  Brian Ritchie,et al.  Model based security risk analysis for web applications: the CORAS approach , 2002 .

[7]  Frank Vahid,et al.  Embedded system design - a unified hardware / software introduction , 2001 .

[8]  Antonio Maña,et al.  Towards Formal Specification of Abstract Security Properties , 2008, 2008 Third International Conference on Availability, Reliability and Security.

[9]  Ross J. Anderson.  Security engineering - a guide to building dependable distributed systems (2. ed.) , 2001 .

[10]  Henk Corporaal,et al.  Embedded System Design , 2006 .

[11]  Ramesh Nagappan,et al.  Core Security Patterns: Best Practices and Strategies for J2EE, Web Services, and Identity Management , 2005 .

[12]  Ning Zhang,et al.  An effective model for composition of secure systems , 1998, J. Syst. Softw..

[13]  Simin Nadjm-Tehrani,et al.  Safety Interfaces for Component-Based Systems , 2005, SAFECOMP.

[14]  Heiko Mantel,et al.  On the composition of secure systems , 2002, Proceedings 2002 IEEE Symposium on Security and Privacy.

[15]  Christian Bunse,et al.  Component-Based Software Development for Embedded Systems - An Overview of Current Research Trends , 2005, Component-Based Software Development for Embedded Systems.

[16]  Madjid Merabti,et al.  Utilising Component Composition for Secure Ubiquitous Computing , 2004 .