The Community for Technology Leaders
International Conference on Software Engineering Companion (2007)
Minneapolis, Minnesota
May 20, 2007 to May 26, 2007
ISBN: 0-7695-2892-9
pp: 182-183
Jan Jurjens , The Open University
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.
INDEX TERMS
C language, embedded systems, formal specification, Java, security of data, Unified Modeling Language
CITATION

J. Jurjens, "Developing Secure Embedded Systems: Pitfalls and How to Avoid Them," 29th International Conference on Software Engineering (ICSE'07 Companion)(ICSECOMPANION), Minneapolis, MN, 2009, pp. 182-183.
doi:10.1109/ICSECOMPANION.2007.30
95 ms
(Ver 3.3 (11022016))