Code Security Analysis of a Biometric Authentication System Using Automated Theorem Provers
Dan Thomsen; Christoph Schuba; Charles Payne (Hrsg). Proceedings of the 21st Annual Computer Security Applications Conference ACSAC 2005: 5-9 December 2005; Tucson, Arizona. Los Alamitos, CA: IEEE Computer Society 2005 S. 138 - 149
Erscheinungsjahr: 2005
ISBN/ISSN: 0-7695-2461-3
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1109/CSAC.2005.15
| Geprüft | Bibliothek |
