[논문 리뷰] Security Analysis of two Distance-Bounding Protocols

Mohammad Reza Sohizadeh Abyaneh|arXiv (Cornell University)|2011. 07. 15.

Advanced Authentication Protocols Security인용 수 4

한 줄 요약

이 논문은 두 가지 거리 기반 프로토콜인 Hitomi 및 NUS의 보안을 분석하여, 둘 다 주장된 것보다 덜 안전하다는 것을 입증한다. Hitomi에 대한 완전한 비밀 키 泄露 공격을 폭 드러내며, NUS에 대한 거리 위조 공격의 성공 확률이 (3/4)^n에 도달할 수 있음을 보여준다. 만약 공격자가 계산 능력을 갖추고 있다면 약간의 성능 향상이 가능하다.

ABSTRACT

In this paper, we analyze the security of two recently proposed distance bounding protocols called the Hitomi and the NUS protocols. Our results show that the claimed security of both protocols has been overestimated. Namely, we show that the Hitomi protocol is susceptible to a full secret key disclosure attack which not only results in violating the privacy of the protocol but also can be exploited for further attacks such as impersonation, ma?a fraud and terrorist fraud attacks. Our results also demonstrates that the probability of success in a distance fraud attack against the NUS protocol can be increased up to (3/4)^n and even slightly more, if the adversary is furnished with some computational capabilities.

연구 동기 및 목표

• Hitomi 및 NUS 거리 기반 프로토콜의 실제 보안 보장을 평가하기 위해.
• 그들이 주장하는 보안 성질을 약화시키는 잠재적 취약점을 규명하고 악용하기 위해.
• 현실적인 공격자 모델 하에서 키 泄露 및 거리 위조 공격의 실현 가능성 평가하기 위해.
• 특히 계산 능력 향상이 있을 경우 NUS 프로토콜에 대한 공격의 성공 확률을 정량화하기 위해.

제안 방법

• Hitomi 프로토콜의 키 교환 메커니즘에 대한 결함을 규명하기 위한 공식적 암호 분석.
• Hitomi의 시간 지연 및 메시지 구조를 악용한 완전한 비밀 키 泄露 공격의 구축.
• NUS 프로토콜의 챌린지-응답 메커니즘을 분석하여 거리 위조에 대한 저항성 평가.
• 공격자의 거리 위조 성공 확률을 (3/4)^n으로 모델링하고, 계산 능력의 이점을 고려한 확장.
• 시간 지연 및 사이드 채널 정보를 활용하여 두 프로토콜에 대한 실질적 공격 수행.
• 계산 능력이 NUS 공격의 성공률에 미치는 영향 평가.

실험 결과

연구 질문

• RQ1 Hitomi 프로토콜은 완전한 비밀 키 泄露 공격을 통해 해킹될 수 있는가?
• RQ2 NUS 프로토콜은 거리 위조 공격에 얼마나 안전한가?
• RQ3 계산 능력의 존재가 NUS 공격의 성공 확률에 어떤 영향을 미치는가?
• RQ4 현실적인 위협 모델 하에서 두 프로토콜의 보안 주장은 타당한가?

주요 결과

• Hitomi 프로토콜은 완전한 비밀 키 泄露 공격에 취약하여 기밀성과 무결성이 모두 위협받는다.
• NUS 프로토콜에 대한 거리 위조 공격의 성공 확률은 (3/4)^n에 도달하며, 이는 이전에 주장된 것보다 훨씬 높다.
• 제한된 계산 능력을 갖춘 공격자라도 NUS 공격의 성공률을 약간 증가시킬 수 있다.
• 두 프로토콜의 취약성은 그들이 주장하는 신원 위조, 마피아 위조, 테러리스트 위조에 대한 저항력을 약화시킨다.
• 결과적으로 두 프로토콜의 보안 주장은 문헌상에서 과대평가된 것으로 나타났다.
• 이러한 결함의 실질적 악용은 키 泄露 및 위조 인증과 같은 실제 세계 공격을 가능하게 한다.