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

Date

2003-01-01

Author

Bicakci, K
Baykal, Nazife

Metadata

Show full item record

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Item Usage Stats

0
views

0
downloads

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.

URI

https://hdl.handle.net/11511/56135

Journal

COMPUTER AND INFORMATION SCIENCES - ISCIS 2003

Collections

Graduate School of Informatics, Article