Earticle

초록

영어

As IoT expands, security demands for ECC-based RFID authentication protocols rise. This paper reconstructs the mathematical basis of Gabsi et al.'s analysis on Zheng and Naeem protocols to prove three structural vulnerabilities. Zheng's protocol was shown vulnerable to server impersonation and location tracking attacks via channel eavesdropping, while Naeem's protocol exposed secret identifier inversion vulnerabilities. The improved protocol resolves these via cross-combination of session-independent random numbers and authentication message structure improvements, achieving efficiency with symmetric computation costs for tags and servers. Simulation confirmed untraceability, and AVISPA formal verification proved safety.

한국어

IoT 환경 확산으로 ECC 기반 RFID 인증 프로토콜의 보안성 요구가 증가하고 있다. 본 논문은 Gabsi 등이 분석한 Zheng 및 Naeem 프로토콜의 수식적 근거를 재구성하여 세 가지 구조적 취약점을 증명하였다. 기존의 Zheng 프로토콜은 서버 위장 및 위치 추적 공격에 채널 도청만으로 공격 가능함을 보였으며, Naeem 프로토콜은 비밀 식별자 역산 취약점에 노출됨을 본 연구에서 확인하였다. 개선된 프로토콜은 세션별 독립 난수 교차 결합과 인증 메시지 구조 개선을 통해 취약점을 해결하며 태그·서버 대칭적 계산 비용으로 효율성을 달성한다. 모의 실험 결과 비추적성 유지를 확인하였고, 본 연구의 개선된 설계는 AVISPA 형식 검증에서 안전성을 입증하였다.

목차

요약
Abstract
1. 서론
2. 관련 연구
3. 방법
4. 프로토콜 분석
4.1 제안 프로토콜 개요
4.2 식별된 보안 취약점
5. 개선 방안
6. 실험 및 평가
7. 결론
REFERENCES

키워드

RFID 상호 인증 타원곡선 암호 서버 위장 공격 위치 추적 공격 IoT 경량 보안 프로토콜 AVISPA 검증 RFID Mutual Authentication Elliptic Curve Cryptography Server Impersonation Attack Location Tracking Attack IoT Lightweight Security Protocol AVISPA Formal Verification

저자

• 변해원 [ Haewon Byeon | 한국기술교육대학교 미래융합학부 교수 ] Corresponding Author

참고문헌

발행기관

간행물