Developing secure embedded systems: Pitfalls and how to avoid them

Jurjens, Jan (2007). Developing secure embedded systems: Pitfalls and how to avoid them. In: 29th International Conference on Software Engineering (ICSE 2007), 20-26 May 2007, Minneapolis, MN.

DOI (Digital Object Identifier) Link:	http://dx.doi.org/doi:10.1109/ICSECOMPANION.2007.30
Google Scholar:	Look up in Google Scholar

Abstract

We give an overview over the challenges in developing secure embedded systems and show how to use the approach of Model-based Security Engineering (MBSE) to address them. In MBSE [Jür04, Jür05a, Jür05b, Jür06, BJN07], recurring security requirements (such as secrecy, integrity, authenticity and others) and security assumptions on the system environment, can be specified either within a UML specification, or within the source code (Java or C) as annotations. The associated tools [UML04] (Fig. 1b) generate logical formulas formalizing the execution semantics and the annotated security requirements.

Item Type:	Conference Item
ISBN:	0-7695-2892-9, 978-0-7695-2892-2
Academic Unit/Department:	Mathematics, Computing and Technology > Computing
Item ID:	15623
Depositing User:	Colin Smith
Date Deposited:	27 Apr 2009 14:40
Last Modified:	02 Dec 2010 20:26
URI:	http://oro.open.ac.uk/id/eprint/15623

Actions (login may be required)

	View Item
RDF+XMLBibTeXRDF+N-TriplesJSONDublin CoreAtomOAI-ORE Resource Map (Atom Format)Simple MetadataReferMETSOAI-ORE Resource Map (RDF Format)HTML CitationASCII CitationMultiline CSVRefMan RIS Format (UTF-8)OpenURL ContextObjectEndNoteMODSOpenURL ContextObject in SpanMPEG-21 DIDLEP3 XMLRefMan RIS FormatRDF+N3Eprints Application Profile	Public: Report issue / request change