Detailed Information

Cited 0 time in webofscience Cited 0 time in scopus
Metadata Downloads

정형검증을 통한 RFID 보안프로토콜 분석 및 구현Analysis and Implementation of RFID Security Protocol using Formal Verification

Other Titles
Analysis and Implementation of RFID Security Protocol using Formal Verification
Authors
김현석김주배한근희최진영
Issue Date
2008
Publisher
한국정보과학회
Keywords
Radio Frequency Identification(RFID: 무선주파수식별); 보안 프로토콜; 프라이버시; 정형검증; Radio Frequency Identification (RFID); Security Protocol; Privacy; Formal Verification
Citation
정보과학회논문지 : 시스템 및 이론, v.35, no.7, pp.332 - 339
Indexed
KCI
Journal Title
정보과학회논문지 : 시스템 및 이론
Volume
35
Number
7
Start Page
332
End Page
339
URI
https://scholar.korea.ac.kr/handle/2021.sw.korea/125479
ISSN
1229-683X
Abstract
Radio Frequency Identification(RFID: 무선주파수식별) 기술은 유비쿼터스 구조 기술의 중요한 한 부분을 이루고 있다. 태그를 이용한 모든 제품들이 이러한 서비스의 대상이 되고 있지만 불행히도 다방면에 이용되는 이면에는 사용자의 사생활과 사용자 및 판매자 간의 인증문제를 이용한 서비스 공격의 대상이 되고 있다. 현재 이러한 RFID 시스템의 보안 메커니즘들은 이슈화되고 있으며 본 논문에서는 여러가지 메커니즘들 중 사생활 및 인증문제 해결을 위해 정형검증을 통한 보안프로토콜 분석 및 취약성을 수정한 프로토콜을 제안하고자 한다. 또한 제안된 프로토콜의 실현가능성을 위한 구현가능성을 언급하고자 한다.
Files in This Item
There are no files associated with this item.
Appears in
Collections
School of Cyber Security > Department of Information Security > 1. Journal Articles

qrcode

Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.

Related Researcher

Researcher CHOI, Jin Young photo

CHOI, Jin Young
Department of Information Security
Read more

Altmetrics

Total Views & Downloads

BROWSE