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


Bicakci K. , BAYKAL N.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol.2869, pp.794-801, 2003 (Journal Indexed in SCI Expanded) identifier

  • Publication Type: Article / Article
  • Volume: 2869
  • Publication Date: 2003
  • Doi Number: 10.1007/978-3-540-39737-3_99
  • Title of Journal : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
  • Page Numbers: pp.794-801

Abstract

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. © Springer-Verlag Berlin Heidelberg 2003.