作者
Kemal Bicakci, Nazife Baykal
发表日期
2003/11/3
图书
International Symposium on Computer and Information Sciences
页码范围
794-801
出版商
Springer Berlin Heidelberg
简介
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.
学术搜索中的文章
K Bicakci, N Baykal - International Symposium on Computer and Information …, 2003