A provably-anonymous authentication scheme for roaming services
Date
2016
Authors
Nam, J.
Choo, K.K.R.
Paik, J.
Editors
Advisors
Journal Title
Journal ISSN
Volume Title
Type:
Journal article
Citation
International Journal of Security and Its Applications, 2016; 10(3):193-204
Statement of Responsibility
Conference Name
Abstract
In this work, we extend the widely accepted security model of Bellare, Pointcheval and Rogaway (2000) in order to prove the security of smart-card-based roaming authentication (SRA) schemes. More specifically, in this extended model, we provide formal definitions of authenticated key exchange and user anonymity for SRA schemes, in order to capture side-channel, offline dictionary, and other common attacks. We then present a new SRA scheme and prove its security in our extended model. To the best of our knowledge, our proposed scheme is the first provably-secure SRA scheme that achieves user anonymity. We conclude by demonstrating that our scheme is also computationally efficient relative to other similar published schemes without a security proof.
School/Discipline
Dissertation Note
Provenance
Description
Access Status
Rights
Copyright 2016 SERSC