Analysis of the RFID security protocol for secure smart home network

Hyun Seok Kim; Jung Hyun Oh; Jin Young Choi

doi:10.1109/ICHIT.2006.253634

Analysis of the RFID security protocol for secure smart home network

Hyun Seok Kim, Jung Hyun Oh, Jin Young Choi

School of Cybersecurity

Research output: Contribution to conference › Paper › peer-review

8 Citations (Scopus)

Abstract

RFID(Radio Frequency Identification) has the potential to be efficiently used for object identification and most likely a majority of items in the supply chain will carry RFID labels in the future. However, widespread deployment of RFID tags may create new threats to user privacy due to the powerful tracking capability of the tags and drawbacks in authentication systems between reader and tag. Security mechanisms for RFID systems will be therefore of utmost important. In this paper, we analyze the vulnerabilities of the hash based RFID security protocol with Casper, CSP and FDR model checking tool and reconfirm the several known attacks. Finally, we propose the modified hash based RFID security protocol that guarantees data privacy and authentication between a tag and a reader.

Original language	English
Pages	356-363
Number of pages	8
DOIs	https://doi.org/10.1109/ICHIT.2006.253634
Publication status	Published - 2006
Event	2006 International Conference on Hybrid Information Technology, ICHIT 2006 - Cheju Island, Korea, Republic of Duration: 2006 Nov 9 → 2006 Nov 11

Other

Other	2006 International Conference on Hybrid Information Technology, ICHIT 2006
Country/Territory	Korea, Republic of
City	Cheju Island
Period	06/11/9 → 06/11/11

Keywords

CSP
Casper
FDR
Model checking
RFID security

ASJC Scopus subject areas

Media Technology

Access to Document

10.1109/ICHIT.2006.253634

Cite this

@conference{af159149f50d431a9c02833973000ea6,

title = "Analysis of the RFID security protocol for secure smart home network",

abstract = "RFID(Radio Frequency Identification) has the potential to be efficiently used for object identification and most likely a majority of items in the supply chain will carry RFID labels in the future. However, widespread deployment of RFID tags may create new threats to user privacy due to the powerful tracking capability of the tags and drawbacks in authentication systems between reader and tag. Security mechanisms for RFID systems will be therefore of utmost important. In this paper, we analyze the vulnerabilities of the hash based RFID security protocol with Casper, CSP and FDR model checking tool and reconfirm the several known attacks. Finally, we propose the modified hash based RFID security protocol that guarantees data privacy and authentication between a tag and a reader.",

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

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

year = "2006",

doi = "10.1109/ICHIT.2006.253634",

language = "English",

pages = "356--363",

note = "2006 International Conference on Hybrid Information Technology, ICHIT 2006 ; Conference date: 09-11-2006 Through 11-11-2006",

}

TY - CONF

T1 - Analysis of the RFID security protocol for secure smart home network

AU - Kim, Hyun Seok

AU - Oh, Jung Hyun

AU - Choi, Jin Young

PY - 2006

Y1 - 2006

N2 - RFID(Radio Frequency Identification) has the potential to be efficiently used for object identification and most likely a majority of items in the supply chain will carry RFID labels in the future. However, widespread deployment of RFID tags may create new threats to user privacy due to the powerful tracking capability of the tags and drawbacks in authentication systems between reader and tag. Security mechanisms for RFID systems will be therefore of utmost important. In this paper, we analyze the vulnerabilities of the hash based RFID security protocol with Casper, CSP and FDR model checking tool and reconfirm the several known attacks. Finally, we propose the modified hash based RFID security protocol that guarantees data privacy and authentication between a tag and a reader.

AB - RFID(Radio Frequency Identification) has the potential to be efficiently used for object identification and most likely a majority of items in the supply chain will carry RFID labels in the future. However, widespread deployment of RFID tags may create new threats to user privacy due to the powerful tracking capability of the tags and drawbacks in authentication systems between reader and tag. Security mechanisms for RFID systems will be therefore of utmost important. In this paper, we analyze the vulnerabilities of the hash based RFID security protocol with Casper, CSP and FDR model checking tool and reconfirm the several known attacks. Finally, we propose the modified hash based RFID security protocol that guarantees data privacy and authentication between a tag and a reader.

KW - CSP

KW - Casper

KW - FDR

KW - Model checking

KW - RFID security

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

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

U2 - 10.1109/ICHIT.2006.253634

DO - 10.1109/ICHIT.2006.253634

M3 - Paper

AN - SCOPUS:34247264950

SP - 356

EP - 363

T2 - 2006 International Conference on Hybrid Information Technology, ICHIT 2006

Y2 - 9 November 2006 through 11 November 2006

ER -

Analysis of the RFID security protocol for secure smart home network

Abstract

Other

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this