정형검증을 통한 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
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.