Developing secure embedded systems: Pitfalls and how to avoid them

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2007, Pages 182-183

  Jürjens, Jan ^a  

^a OPEN UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 34548773908     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSECOMPANION.2007.30     Document Type: Conference Paper

References (6)

1. B. Best, J. Jürjens, and B. Nuseibeh. Model-based security engineering of distributed information systems using UMLsec. In ICSE. ACM, 2007.
2. J. Jürjens. Secure Systems Development with UML. Springer, 2004.
3. J. Jürjens. Code security analysis of a biometric authentication system using automated theorem provers. In ACSAC'05. IEEE, 2005.
4. J. Jürjens. Sound methods and effective tools for model-based security engineering with UML. In ICSE. IEEE, 2005.
5. J. Jürjens. Security analysis of crypto-based Java programs using automated theorem provers. In ASE. IEEE, 2006.
6. UMLsec group. Security analysis tool, 2004. http://www.umlsec.org.