상세 보기
초록
Radio Frequency Identification(RFID: 무선주파수식별) 기술은 유비쿼터스 구조 기술의 중요한 한 부분을 이루고 있다. 태그를 이용한 모든 제품들이 이러한 서비스의 대상이 되고 있지만 불행히도 다방면에 이용되는 이면에는 사용자의 사생활과 사용자 및 판매자 간의 인증문제를 이용한 서비스 공격의 대상이 되고 있다. 현재 이러한 RFID 시스템의 보안 메커니즘들은 이슈화되고 있으며 본 논문에서는 여러가지 메커니즘들 중 사생활 및 인증문제 해결을 위해 정형검증을 통한 보안프로토콜 분석 및 취약성을 수정한 프로토콜을 제안하고자 한다. 또한 제안된 프로토콜의 실현가능성을 위한 구현가능성을 언급하고자 한다.
키워드
Radio Frequency Identification(RFID: 무선주파수식별); 보안 프로토콜; 프라이버시; 정형검증; Radio Frequency Identification (RFID); Security Protocol; Privacy; Formal Verification
- 제목
- 정형검증을 통한 RFID 보안프로토콜 분석 및 구현
- 제목 (타언어)
- Analysis and Implementation of RFID Security Protocol using Formal Verification
- 저자
- 김현석; 김주배; 한근희; 최진영
- 발행일
- 2008
- 권
- 35
- 호
- 7
- 페이지
- 332 ~ 339