| 한글제목(Korean Title) |
정형검증을 통한 RFID 보안프로토콜 분석 및 구현 |
| 영문제목(English Title) |
Analysis and Implementation of RFID Security Protocol using Formal Verification |
| 저자(Author) |
김현석
김주배
한근희
최진영
Hyun-Seok Kim
Ju-Bae Kim
Keun-Hee Han
Jin-Young Choi
|
| 원문수록처(Citation) |
VOL 35 NO. 07 PP. 0332 ~ 0339 (2008. 08) |
한글내용
(Korean Abstract) |
Radio Frequency Identification(RFID 무선주파수식별) 기술은 유비쿼터스 구조 기술의 중요한 한 부분을 이루고 있다. 태그를 이용한 모든 제품들이 이러한 서비스의 대상이 되고 있지만 불행히도 다방면에 이용되는 이면에는 사용자의 사생활과 사용자 및 판매자 간의 인증문제를 이용한 서비스 공격의 대상이 되고 있다. 현재 이러한 RFID 시스템의 보안 메커니즘들은 이슈화되고 있으며 본 논문에서는 여러가지 메커니즘들 중 사생활 및 인증문제 해결을 위해 정형검증을 통한 보안프로토콜 분석 및 취약성을 수정한 프로토콜을 제안하고자 한다. 또한 제안된 프로토콜의 실현가능성을 위한 구현가능성을 언급하고자 한다.
|
영문내용
(English Abstract) |
Radio Frequency Identification (RFID) technology is an important part of infrastructures in ubiquitous computing. Although all products using tags is a target of these services, these products also are a target of attacking on user privacy and services using authentication problem between user and merchant, unfortunately. Presently, it is very important about security mechanism of RFID system and in this paper, we analyze the security protocol among many kinds of mechanisms to solve privacy and authentication problem using formal verification and propose a modified novel protocol. In addition, the possibility of practical implementation for proposed protocol will be discussed.
|
| 키워드(Keyword) |
Radio Frequency Identification (RFID)
RFID: 무선주파수식별
보안 프로토콜
프라이버시
정형검증
Security Protocol
Privacy
Formal Verification
|
| 파일첨부 |
PDF 다운로드
|
