| SciPort RLP

Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Code Security Analysis of a Biometric Authentication System Using Automated Theorem Provers.

ACSAC. 2005 S. 138 - 149

Erscheinungsjahr: 2005

Publikationstyp: Zeitschriftenaufsatz

Geprüft

Bibliothek

Autoren

Jürjens, Jan (Autor)

Verknüpfte Personen

Jan Jürjens
Mitarbeiter/in
(Institut für Softwaretechnik)

Beteiligte Einrichtungen