Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Security analysis of a biometric authentication system using UMLsec and JML

 
: Lloyd, J.; Jürjens, J.

:

Schürr, A.:
Model driven engineering languages and systems. 12th international conference, MODELS 2009 : Denver, CO, USA, October 4-9, 2009; Proceedings
Berlin: Springer, 2009 (Lecture Notes in Computer Science 5795)
ISBN: 3-642-04424-7
ISBN: 978-3-642-04424-3
ISSN: 0302-9743
pp.77-91
International Conference on Model Driven Engineering Languages and Systems (MODELS) <12, 2009, Dever/Colo.>
English
Conference Paper
Fraunhofer ISST ()
model-based security

: http://publica.fraunhofer.de/documents/N-123167.html