The vulnerabilities analysis and design of the security protocol for RFID system

Hyun Seok Kim; Jung Hyun Oh; Jin Young Choi; Jin Woo Kim

doi:10.1109/CIT.2006.180

The vulnerabilities analysis and design of the security protocol for RFID system

Hyun Seok Kim, Jung Hyun Oh, Jin Young Choi, Jin Woo Kim

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2 Citations (Scopus)

Abstract

Radio frequency identification (RFID) is expected to become an important and ubiquitous infrastructure technology. However, this pervasive use of RFID tags opens up the possibility for various attacks violating user privacy. In this paper, we present an RFID authentication protocol that enforces user privacy and protects man-in-the-middle, replay attacks between reader and tag. In analyzing our protocol, we specify several known attacks that can be applied to RFID protocol with Casper, CSP and then verify their security propeties such as secrecy and authetication using FDR model checking tool.

Original language	English
Title of host publication	Proceedings - Sixth IEEE International Conference on Computer and Information Technology, CIT 2006
DOIs	https://doi.org/10.1109/CIT.2006.180
Publication status	Published - 2006
Event	6th IEEE International Conference on Computer and Information Technology, CIT 2006 - Seoul, Korea, Republic of Duration: 2006 Sept 20 → 2006 Sept 22

Publication series

Name	Proceedings - Sixth IEEE International Conference on Computer and Information Technology, CIT 2006

Other

Other	6th IEEE International Conference on Computer and Information Technology, CIT 2006
Country/Territory	Korea, Republic of
City	Seoul
Period	06/9/20 → 06/9/22

Keywords

CSP
Casper
FDR
Model checking
RFID security

ASJC Scopus subject areas

Computer Science Applications
Information Systems
Software
General Mathematics

Access to Document

10.1109/CIT.2006.180

Cite this

Kim, H. S., Oh, J. H., Choi, J. Y., & Kim, J. W. (2006). The vulnerabilities analysis and design of the security protocol for RFID system. In Proceedings - Sixth IEEE International Conference on Computer and Information Technology, CIT 2006 Article 4019943 (Proceedings - Sixth IEEE International Conference on Computer and Information Technology, CIT 2006). https://doi.org/10.1109/CIT.2006.180

The vulnerabilities analysis and design of the security protocol for RFID system. / Kim, Hyun Seok; Oh, Jung Hyun; Choi, Jin Young et al.
Proceedings - Sixth IEEE International Conference on Computer and Information Technology, CIT 2006. 2006. 4019943 (Proceedings - Sixth IEEE International Conference on Computer and Information Technology, CIT 2006).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Kim, HS, Oh, JH, Choi, JY & Kim, JW 2006, The vulnerabilities analysis and design of the security protocol for RFID system. in Proceedings - Sixth IEEE International Conference on Computer and Information Technology, CIT 2006., 4019943, Proceedings - Sixth IEEE International Conference on Computer and Information Technology, CIT 2006, 6th IEEE International Conference on Computer and Information Technology, CIT 2006, Seoul, Korea, Republic of, 06/9/20. https://doi.org/10.1109/CIT.2006.180

@inproceedings{37b2637e57f14601862699cb17bdd50d,

title = "The vulnerabilities analysis and design of the security protocol for RFID system",

abstract = "Radio frequency identification (RFID) is expected to become an important and ubiquitous infrastructure technology. However, this pervasive use of RFID tags opens up the possibility for various attacks violating user privacy. In this paper, we present an RFID authentication protocol that enforces user privacy and protects man-in-the-middle, replay attacks between reader and tag. In analyzing our protocol, we specify several known attacks that can be applied to RFID protocol with Casper, CSP and then verify their security propeties such as secrecy and authetication using FDR model checking tool.",

keywords = "CSP, Casper, FDR, Model checking, RFID security",

author = "Kim, {Hyun Seok} and Oh, {Jung Hyun} and Choi, {Jin Young} and Kim, {Jin Woo}",

year = "2006",

doi = "10.1109/CIT.2006.180",

language = "English",

isbn = "076952687X",

series = "Proceedings - Sixth IEEE International Conference on Computer and Information Technology, CIT 2006",

booktitle = "Proceedings - Sixth IEEE International Conference on Computer and Information Technology, CIT 2006",

note = "6th IEEE International Conference on Computer and Information Technology, CIT 2006 ; Conference date: 20-09-2006 Through 22-09-2006",

}

TY - GEN

T1 - The vulnerabilities analysis and design of the security protocol for RFID system

AU - Kim, Hyun Seok

AU - Oh, Jung Hyun

AU - Choi, Jin Young

AU - Kim, Jin Woo

PY - 2006

Y1 - 2006

N2 - Radio frequency identification (RFID) is expected to become an important and ubiquitous infrastructure technology. However, this pervasive use of RFID tags opens up the possibility for various attacks violating user privacy. In this paper, we present an RFID authentication protocol that enforces user privacy and protects man-in-the-middle, replay attacks between reader and tag. In analyzing our protocol, we specify several known attacks that can be applied to RFID protocol with Casper, CSP and then verify their security propeties such as secrecy and authetication using FDR model checking tool.

AB - Radio frequency identification (RFID) is expected to become an important and ubiquitous infrastructure technology. However, this pervasive use of RFID tags opens up the possibility for various attacks violating user privacy. In this paper, we present an RFID authentication protocol that enforces user privacy and protects man-in-the-middle, replay attacks between reader and tag. In analyzing our protocol, we specify several known attacks that can be applied to RFID protocol with Casper, CSP and then verify their security propeties such as secrecy and authetication using FDR model checking tool.

KW - CSP

KW - Casper

KW - FDR

KW - Model checking

KW - RFID security

UR - http://www.scopus.com/inward/record.url?scp=34547336633&partnerID=8YFLogxK

U2 - 10.1109/CIT.2006.180

DO - 10.1109/CIT.2006.180

M3 - Conference contribution

AN - SCOPUS:34547336633

SN - 076952687X

SN - 9780769526874

T3 - Proceedings - Sixth IEEE International Conference on Computer and Information Technology, CIT 2006

BT - Proceedings - Sixth IEEE International Conference on Computer and Information Technology, CIT 2006

T2 - 6th IEEE International Conference on Computer and Information Technology, CIT 2006

Y2 - 20 September 2006 through 22 September 2006

ER -

The vulnerabilities analysis and design of the security protocol for RFID system

Abstract

Publication series

Other

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this