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

Bicakci, Kemal; BAYKAL, NAZİFE

doi:10.1007/978-3-540-39737-3_99

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

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), cilt.2869, ss.794-801, 2003 (SCI-Expanded)

Yayın Türü: Makale / Tam Makale
Cilt numarası: 2869
Basım Tarihi: 2003
Doi Numarası: 10.1007/978-3-540-39737-3_99
Dergi Adı: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus, Compendex, EMBASE, MathSciNet, Philosopher's Index, zbMATH
Sayfa Sayıları: ss.794-801
İstanbul Teknik Üniversitesi Adresli: Hayır

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