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

Kemal Bicakci; Nazife Baykal

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

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

Kemal Bicakci^*, Nazife Baykal

^*Corresponding author for this work

Middle East Technical University

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

16 Citations (Scopus)

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.

Original language	English
Title of host publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Editors	Adnan Yazici, Cevat Sener
Publisher	Springer Verlag
Pages	794-801
Number of pages	8
ISBN (Print)	3540204091, 9783540397373
DOIs	https://doi.org/10.1007/978-3-540-39737-3_99
Publication status	Published - 2003
Externally published	Yes

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2869
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

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

Cite this

Bicakci, K., & Baykal, N. (2003). One-time passwords: Security analysis using BAN logic and integrating with smartcard authentication. In A. Yazici, & C. Sener (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 794-801). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2869). Springer Verlag. https://doi.org/10.1007/978-3-540-39737-3_99

Bicakci, Kemal ; Baykal, Nazife. / 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). editor / Adnan Yazici ; Cevat Sener. Springer Verlag, 2003. pp. 794-801 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{45455e6cdae04793a73e4315661096a1,

title = "One-time passwords: Security analysis using BAN logic and integrating with smartcard authentication",

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.",

author = "Kemal Bicakci and Nazife Baykal",

year = "2003",

doi = "10.1007/978-3-540-39737-3_99",

language = "English",

isbn = "3540204091",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "794--801",

editor = "Adnan Yazici and Cevat Sener",

booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

address = "Germany",

}

Bicakci, K & Baykal, N 2003, One-time passwords: Security analysis using BAN logic and integrating with smartcard authentication. in A Yazici & C Sener (eds), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2869, Springer Verlag, pp. 794-801. https://doi.org/10.1007/978-3-540-39737-3_99

One-time passwords: Security analysis using BAN logic and integrating with smartcard authentication. / Bicakci, Kemal; Baykal, Nazife.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). ed. / Adnan Yazici; Cevat Sener. Springer Verlag, 2003. p. 794-801 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2869).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

TY - CHAP

T1 - One-time passwords

T2 - Security analysis using BAN logic and integrating with smartcard authentication

AU - Bicakci, Kemal

AU - Baykal, Nazife

PY - 2003

Y1 - 2003

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0142183967&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-39737-3_99

DO - 10.1007/978-3-540-39737-3_99

M3 - Chapter

AN - SCOPUS:0142183967

SN - 3540204091

SN - 9783540397373

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 794

EP - 801

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

A2 - Yazici, Adnan

A2 - Sener, Cevat

PB - Springer Verlag

ER -

Bicakci K, Baykal N. One-time passwords: Security analysis using BAN logic and integrating with smartcard authentication. In Yazici A, Sener C, editors, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2003. p. 794-801. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-39737-3_99

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

Abstract

Publication series

Access to Document

Other files and links

Fingerprint

Cite this