Code Security Analysis of a Biometric Authentication System Using Automated Theorem Provers.
ACSAC. 2005 S. 138 - 149
Erscheinungsjahr: 2005
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |
ACSAC. 2005 S. 138 - 149
Erscheinungsjahr: 2005
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |