지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
초록· 키워드
오류제보하기
RFID는 IC 칩과 무선통신을 통해 다양한 개체의 정보를 관리할 수 있는 인식기술이다. 생산에서 판매에까지의 과정을 초소형 IC 칩에 내장하여 이를 무선으로 추적하는 기술로써 전자태그, 스마트태그 또는 전자라벨 등으로 불러지고 있다. 현재 의료, 국방, 물류, 보안 등에 응용하여 사용하기위해 적용 및 개발이 진행되고 있으나 구조상 태그의 정보를 읽어 들이는 리더와 정보를 제공하는 태그, 데이터를 관리하는 데이터베이스로 구성되는데 리더와 태그구간이 무선구간으로 보안에 취약한 문제가있다. 따라서 취약한 부분을 해결하고자 보안프로토콜의 연구가 활발히 진행되고 있으나 구현부분이 어려워 정리증명 단계의 제안이 대부분이다. 이는 추후 다른 연구자에 의해 취약성이 발견되는 부분이 많아 실제시스템에 적용시 많은 어려움이 존재한다. 본 논문에서는 제안한 보안프로토콜을 CasperFDR 정형검증 도구를 사용하여 제안한 프로토콜의 보안성을 실험 검증하였으며 각종공격에 안전한 방식임이 확인되었다. 향후 실제 태그에 적용할시 보안성에 대한 안전보장 및 새로운 공격에 대한 안전성을 충족하였다.
목차
등록된 정보가 없습니다.
참고문헌 (11)
참고문헌 신청
Formal Systems(Europe) Ltd / 2010 / Oxford University Computing Laboratory, "Failures-Divergence Renement," FDR2 User Manual
G. Lowe / 2009 / Casper: A compiler for the analysis of security protocols. User Manual and Tutorial. Version 1.12 2009
I. Syamsuddin / 2008 / A survey of RFID authentication protocols Based on Hash-Chain method / ICCIT : 559 ~ 564
Jihwan Lim / 2008 / A new hash-based RFID mutual authentication protocol providing enhanced user privacy protection / ISPEC 2008, LNCS 4991 : 278 ~ 289
Kenji Imamoto / 2005 / Design and Analysis of Diffie-Hellman Based Key Exchange Using ID by SVO Logic / Proc. Electronic Notes in Theoretical Computer Science : 79 ~ 94
G. Lowe / 2009 / Casper: A compiler for the analysis of security protocols. User Manual and Tutorial. Version 1.12 2009
I. Syamsuddin / 2008 / A survey of RFID authentication protocols Based on Hash-Chain method / ICCIT : 559 ~ 564
Jihwan Lim / 2008 / A new hash-based RFID mutual authentication protocol providing enhanced user privacy protection / ISPEC 2008, LNCS 4991 : 278 ~ 289
Kenji Imamoto / 2005 / Design and Analysis of Diffie-Hellman Based Key Exchange Using ID by SVO Logic / Proc. Electronic Notes in Theoretical Computer Science : 79 ~ 94
이 논문의 저자 정보
최근 본 자료
댓글(0)
0