COMPUTER AND INFORMATION SCIENCES - ISCIS 2003, vol.2869, pp.794-801, 2003 (Peer-Reviewed Journal)
Article / Article
COMPUTER AND INFORMATION SCIENCES - ISCIS 2003
Science Citation Index Expanded, Scopus, Compendex, EMBASE, MathSciNet, Philosopher's Index, zbMATH
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.