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

^*Bu çalışma için yazışmadan sorumlu yazar

Middle East Technical University

Araştırma sonucu: Kitap/Rapor/Konferans Bildirisinde Bölüm › Bölüm › bilirkişi

16 Atıf (Scopus)

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

Orijinal dil	İngilizce
Ana bilgisayar yayını başlığı	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Editörler	Adnan Yazici, Cevat Sener
Yayınlayan	Springer Verlag
Sayfalar	794-801
Sayfa sayısı	8
ISBN (Basılı)	3540204091, 9783540397373
DOI'lar	https://doi.org/10.1007/978-3-540-39737-3_99
Yayın durumu	Yayınlandı - 2003
Harici olarak yayınlandı	Evet

Yayın serisi

Adı	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Hacim	2869
ISSN (Basılı)	0302-9743
ISSN (Elektronik)	1611-3349

Belgeye Erişim

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

Diğer Dosyalar ve Linkler

Link to publication in Scopus

Alıntı Yap

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); Hac. 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). editör / 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), hac. 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); Hac. 2869).

Araştırma sonucu: Kitap/Rapor/Konferans Bildirisinde Bölüm › Bölüm › bilirkişi

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 - https://www.scopus.com/pages/publications/0142183967

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, editörler, 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

Özet

Yayın serisi

Belgeye Erişim

Diğer Dosyalar ve Linkler

Parmak izi

Alıntı Yap