Verification of Secure Biometric Authentication Protocols


30 Νοε 2011 (πριν από 4 χρόνια και 11 μήνες)

1.336 εμφανίσεις

The thesis presents verification of biometric authentication protocols. ProVerif is used as the verification tool for verifying and analysing the protocols. The protocol are analysed in ProVerif model. Various attacks to the protocols are generated in order to verify whether the protocols hold their intended properties.

Η ανάκτηση του κειμένου δεν ήταν εφικτή