Paper Info
Title
Developing Secure Embedded Systems: Pitfalls and How to Avoid Them
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, 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.
Year
DOI
Venue
2007
10.1109/ICSECOMPANION.2007.30
ICSE Companion
Keywords
Field
DocType
secure embedded system development,secure embedded system,c language,annotated security requirement,model-based security engineering,logical formula,uml specification,security requirement,security assumption,unified modeling language,associated tool,execution semantics,embedded systems,source code,java,formal specification,security of data,context modeling,embedded system,data security,software engineering,system testing,information security,security engineering
Data security,Software engineering,Unified Modeling Language,Security engineering,Computer science,System testing,Source code,Secrecy,Information security,Formal specification,Embedded system
Conference
ISSN
ISBN
Citations 
0270-5257
0-7695-2892-9
3
PageRank 
References 
Authors
0.40
4
1
Name
Order
Citations
PageRank
Jan Jurjens116916.07