Paper Info
Title
Code Security Analysis of a Biometric Authentication System Using Automated Theorem Provers
Abstract
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authenticity of data are notoriously hard to establish, especially in the context of cryptographic interactions. A lot of research has been devoted to developing formal techniques to analyze abstract specifications of cryptographic protocols. Less attention has been paid to the analysis of cryptoprotocol implementations, for which a formal link to specifications is often not available. In this paper, we apply an approach to determine security goals provided by a C implementation to a industrially-strength biometric authentication system. Our approach is based on control flow graphs and automated theorem provers for first-order logic.
Year
DOI
Venue
2005
10.1109/CSAC.2005.15
ACSAC
Keywords
DocType
ISBN
control flow graph,first order logic,authorisation,data integrity,formal logic,cryptography,formal specification,access control,logic,theorem proving,cryptographic protocol
Conference
0-7695-2461-3
Citations 
PageRank 
References 
4
0.54
7
Authors
1
Name
Order
Citations
PageRank
Jan Jurjens116916.07