Title :
Developing Secure Embedded Systems: Pitfalls and How to Avoid Them
Author_Institution :
Comput. Dept., Open Univ., Milton Keynes
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.
Keywords :
C language; Java; Unified Modeling Language; embedded systems; formal specification; security of data; C language; Java; UML specification; model-based security engineering; secure embedded system development; Automatic testing; Communication system security; Context modeling; Data security; Embedded system; Information security; Java; Software engineering; System testing; Unified modeling language;
Conference_Titel :
Software Engineering - Companion, 2007. ICSE 2007 Companion. 29th International Conference on
Conference_Location :
Minneapolis, MN
Print_ISBN :
0-7695-2892-9
DOI :
10.1109/ICSECOMPANION.2007.30
