Earticle

초록

영어

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.

목차

Abstract
 1. Introduction
 2. Our Extended Security Model for SRA Schemes
 3. Our Proposed Scheme
  3.1. Preliminaries
  3.2. Description of the Scheme
 4. Concluding Remarks
 Acknowledgements
 References

키워드

저자

• Junghyun Nam [ Department of Computer Engineering, Konkuk University, Korea ]
• Kim-Kwang Raymond Choo [ School of Information Technology & Mathematical Sciences, University of South Australia, Australia ]
• Juryon Paik [ Department of Digital Information & Statistics, Pyeongtaek University, Korea ] Corresponding author

참고문헌

발행기관

간행물

표지보기 관심저널 등록

• 간행물명

  International Journal of Security and Its Applications

• 간기

  격월간

• pISSN

  1738-9976

• 수록기간

  2008~2016

• 등재여부

  SCOPUS

• 십진분류

  KDC 505 DDC 605