DocumentCode
2747773
Title
Developing Secure Embedded Systems: Pitfalls and How to Avoid Them
Author
Jürjens, Jan
Author_Institution
Comput. Dept., Open Univ., Milton Keynes
fYear
2007
fDate
20-26 May 2007
Firstpage
182
Lastpage
183
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering - Companion, 2007. ICSE 2007 Companion. 29th International Conference on
Conference_Location
Minneapolis, MN
Print_ISBN
0-7695-2892-9
Type
conf
DOI
10.1109/ICSECOMPANION.2007.30
Filename
4222736
Link To Document