Security analysis of RFID authentication for pervasive systems using model checking

Hyun Seok Kim; Jeong Hyun Oh; Jin Young Choi

doi:10.1109/COMPSAC.2006.158

Security analysis of RFID authentication for pervasive systems using model checking

Hyun Seok Kim, Jeong Hyun Oh, Jin Young Choi

Graduate School of Information Study

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

2 Citations (Scopus)

Abstract

Radio frequency identification (RFID) systems will soon become an important part of everyday life. However, widespread deployment of RFID tags may create new threats to user privacy, due to the powerful tracking capability of the tags. Security mechanisms for RFID systems will be therefore of utmost important. In this paper, we describe problems of previous works on RFID security protocol and specify several known attacks with Casper, CSP and then verify their security properties such as secrecy and authentication using FDR model checking tool. Finally, we propose an RFID security protocol based on strong authenticaion that guarantees data privacy and authentication between a tag and a reader.

Original language	English
Title of host publication	Proceedings - 30th Annual International Computer Software and Applications Conference, COMPSAC 2006 - Short Papers/Workshops/Fast Abstracts/Doctoral Symposium
Pages	195-202
Number of pages	8
DOIs	https://doi.org/10.1109/COMPSAC.2006.158
Publication status	Published - 2006 Dec 1
Event	30th Annual International Computer Software and Applications Conference, COMPSAC 2006 - Chicago, IL, United States Duration: 2006 Sep 17 → 2006 Sep 21

Publication series

Name	Proceedings - International Computer Software and Applications Conference
Volume	2
ISSN (Print)	0730-3157

Other

Other	30th Annual International Computer Software and Applications Conference, COMPSAC 2006
Country	United States
City	Chicago, IL
Period	06/9/17 → 06/9/21

Fingerprint

Keywords

CSP
Casper
FOR
Model Checking
RFID Security

ASJC Scopus subject areas

Software
Computer Science Applications

Cite this

Kim, H. S., Oh, J. H., & Choi, J. Y. (2006). Security analysis of RFID authentication for pervasive systems using model checking. In Proceedings - 30th Annual International Computer Software and Applications Conference, COMPSAC 2006 - Short Papers/Workshops/Fast Abstracts/Doctoral Symposium (pp. 195-202). [4020167] (Proceedings - International Computer Software and Applications Conference; Vol. 2). https://doi.org/10.1109/COMPSAC.2006.158

Security analysis of RFID authentication for pervasive systems using model checking. / Kim, Hyun Seok; Oh, Jeong Hyun; Choi, Jin Young.

Proceedings - 30th Annual International Computer Software and Applications Conference, COMPSAC 2006 - Short Papers/Workshops/Fast Abstracts/Doctoral Symposium. 2006. p. 195-202 4020167 (Proceedings - International Computer Software and Applications Conference; Vol. 2).

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

Kim, HS, Oh, JH & Choi, JY 2006, Security analysis of RFID authentication for pervasive systems using model checking. in Proceedings - 30th Annual International Computer Software and Applications Conference, COMPSAC 2006 - Short Papers/Workshops/Fast Abstracts/Doctoral Symposium., 4020167, Proceedings - International Computer Software and Applications Conference, vol. 2, pp. 195-202, 30th Annual International Computer Software and Applications Conference, COMPSAC 2006, Chicago, IL, United States, 06/9/17. https://doi.org/10.1109/COMPSAC.2006.158

Kim HS, Oh JH, Choi JY. Security analysis of RFID authentication for pervasive systems using model checking. In Proceedings - 30th Annual International Computer Software and Applications Conference, COMPSAC 2006 - Short Papers/Workshops/Fast Abstracts/Doctoral Symposium. 2006. p. 195-202. 4020167. (Proceedings - International Computer Software and Applications Conference). https://doi.org/10.1109/COMPSAC.2006.158

Kim, Hyun Seok ; Oh, Jeong Hyun ; Choi, Jin Young. / Security analysis of RFID authentication for pervasive systems using model checking. Proceedings - 30th Annual International Computer Software and Applications Conference, COMPSAC 2006 - Short Papers/Workshops/Fast Abstracts/Doctoral Symposium. 2006. pp. 195-202 (Proceedings - International Computer Software and Applications Conference).

@inproceedings{6b853131224b4da6bc5c1ca835159a17,

title = "Security analysis of RFID authentication for pervasive systems using model checking",

abstract = "Radio frequency identification (RFID) systems will soon become an important part of everyday life. However, widespread deployment of RFID tags may create new threats to user privacy, due to the powerful tracking capability of the tags. Security mechanisms for RFID systems will be therefore of utmost important. In this paper, we describe problems of previous works on RFID security protocol and specify several known attacks with Casper, CSP and then verify their security properties such as secrecy and authentication using FDR model checking tool. Finally, we propose an RFID security protocol based on strong authenticaion that guarantees data privacy and authentication between a tag and a reader.",

keywords = "CSP, Casper, FOR, Model Checking, RFID Security",

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

year = "2006",

month = dec

day = "1",

doi = "10.1109/COMPSAC.2006.158",

language = "English",

isbn = "0769526551",

series = "Proceedings - International Computer Software and Applications Conference",

pages = "195--202",

booktitle = "Proceedings - 30th Annual International Computer Software and Applications Conference, COMPSAC 2006 - Short Papers/Workshops/Fast Abstracts/Doctoral Symposium",

note = "30th Annual International Computer Software and Applications Conference, COMPSAC 2006 ; Conference date: 17-09-2006 Through 21-09-2006",

}

TY - GEN

T1 - Security analysis of RFID authentication for pervasive systems using model checking

AU - Kim, Hyun Seok

AU - Oh, Jeong Hyun

AU - Choi, Jin Young

PY - 2006/12/1

Y1 - 2006/12/1

N2 - Radio frequency identification (RFID) systems will soon become an important part of everyday life. However, widespread deployment of RFID tags may create new threats to user privacy, due to the powerful tracking capability of the tags. Security mechanisms for RFID systems will be therefore of utmost important. In this paper, we describe problems of previous works on RFID security protocol and specify several known attacks with Casper, CSP and then verify their security properties such as secrecy and authentication using FDR model checking tool. Finally, we propose an RFID security protocol based on strong authenticaion that guarantees data privacy and authentication between a tag and a reader.

AB - Radio frequency identification (RFID) systems will soon become an important part of everyday life. However, widespread deployment of RFID tags may create new threats to user privacy, due to the powerful tracking capability of the tags. Security mechanisms for RFID systems will be therefore of utmost important. In this paper, we describe problems of previous works on RFID security protocol and specify several known attacks with Casper, CSP and then verify their security properties such as secrecy and authentication using FDR model checking tool. Finally, we propose an RFID security protocol based on strong authenticaion that guarantees data privacy and authentication between a tag and a reader.

KW - CSP

KW - Casper

KW - FOR

KW - Model Checking

KW - RFID Security

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

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

U2 - 10.1109/COMPSAC.2006.158

DO - 10.1109/COMPSAC.2006.158

M3 - Conference contribution

AN - SCOPUS:34247499953

SN - 0769526551

SN - 9780769526553

T3 - Proceedings - International Computer Software and Applications Conference

SP - 195

EP - 202

BT - Proceedings - 30th Annual International Computer Software and Applications Conference, COMPSAC 2006 - Short Papers/Workshops/Fast Abstracts/Doctoral Symposium

T2 - 30th Annual International Computer Software and Applications Conference, COMPSAC 2006

Y2 - 17 September 2006 through 21 September 2006

ER -

Access to Document

10.1109/COMPSAC.2006.158