Two-Factor Authentication Protocol with Zero-Knowledge over an Extended Field of Elliptic Curves

Abstract

The paper proposes a cryptographic protocol two-factor authentication with the zero-knowledge over the extended field GF(2m) on elliptic curves using biometric data and private key of the user. The implementation of a cryptographic protocol with zero-knowledge proof based on elliptic curves allows significantly reducing the size of protocol parameters and increasing the cryptographic strength (computational complexity of the breaking). The cryptographic protocol was modeled in the High-Level Protocol Specification Language, the model validation and protocol verification was performed using the Security Protocol Animator tool for Automated Validation of Internet Security Protocols and Applications. The software verification of the cryptographic protocol was performed using the software modules On the Fly Model Checker and Constraint Logic based Attack Searcher.