Hide/Show Apps

One-time passwords: Security analysis using BAN logic and integrating with smartcard authentication

Bicakci, K
Baykal, Nazife
In this paper we make a formal analysis of one-time password protocols using BAN logic and provide some guidelines to integrate securely one-time passwords with smartcard based authentication. We also propose some extensions to the BAN logic to facilitate analyzing hash chain based authentication protocols.