International Conference on Software Engineering Companion (2007)
May 20, 2007 to May 26, 2007
Jan Jurjens , The Open University
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.
C language, embedded systems, formal specification, Java, security of data, Unified Modeling Language
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.