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

Bicakci K., Baykal N.

COMPUTER AND INFORMATION SCIENCES - ISCIS 2003, cilt.2869, ss.794-801, 2003 (SCI-Expanded) identifier identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 2869
  • Basım Tarihi: 2003
  • Dergi Adı: COMPUTER AND INFORMATION SCIENCES - ISCIS 2003
  • Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus, Compendex, EMBASE, MathSciNet, Philosopher's Index, zbMATH
  • Sayfa Sayıları: ss.794-801
  • Orta Doğu Teknik Üniversitesi Adresli: Evet

Özet

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.