|
|
|
Applications
- Mobile communication architectures at O2(Germany):
results.
Published as: J. Jürjens, J. Schreck, P. Bartmann:
Model-based Security Analysis for Mobile Communications:
An Industrial Application of UMLsec.
ICSE 2008.
(download here)
- Distributed information systems at BMW:
UML models, FOL formulas etc..
Published as:
B. Best, J. Jürjens, and B. Nuseibeh:
Model-based Security Engineering of Distributed Information Systems using UMLsec
29th International Conference on Software Engineering (ICSE 2007), ACM, 2007, pp. 581-590.
(download here)
- Biometric authentication system:
UML models, FOL formulas etc..
Published as:
J. Jürjens.
Code Security Analysis of a Biometric Authentication System
Using Automated Theorem Provers.
In 21st Annual Computer Security Applications
Conference (ACSAC 2005) IEEE, 2005, pp. 138-149.
(download here)
- Common Electronic Purse Specifications: Spec, UML models, code etc..
- Service-based Single-Sign On architecture: UML models, FOL formulas etc..
- Smart-card based payment system: UML models, FOL formulas etc..
- Electronic signature architecture: UML models, FOL formulas etc..
- German electronic health card: UML models, FOL formulas etc..
- End-to-end security architectures: UML models, documentation (German).
- SSL implementation in the Sun Java Secure Sockets Extension (JSSE) resp. Jessie UML models, FOL formulas etc..
|
|
|