[논문 리뷰] KIMAP: Key-Insulated Mutual Authentication Protocol for RFID

Atsuko Miyaji, Mohammad Shahriar Rahman|arXiv (Cornell University)|2012. 09. 23.

RFID technology advancements참고 문헌 33인용 수 3

한 줄 요약

KIMAP는 공유 키 환경에서 전방 보안성과 '제한된' 후행 보안성을 제공하는 RFID 시스템을 위한 키 절연형 상호 인증 프로토콜이다. 절연 키를 사용함으로써 기밀 키 유출 시 손상 범위를 제한하여, 태그의 키가 인증 중에 유출되어도 과거 및 미래 세션 키가 여전히 안전하게 유지됨을 보장한다.

ABSTRACT

RFID tags are heavily constrained in computational and storage capabilities, and raise numerous privacy concerns in everyday life due to their vulnerability to different attacks. Both forward security and backward security are required to maintain the privacy of a tag i.e., exposure of a tag's secret key should not reveal the past or future secret keys of the tag. We envisage the need for a formal model for backward security for RFID protocol designs in shared key settings, since the RFID tags are too resource-constrained to support public key settings. However, there has not been much research on backward security for shared key environment since Serge Vaudenay in his Asiacrypt 2007 paper showed that perfect backward security is impossible to achieve without public key settings. We propose a Key-Insulated Mutual Authentication Protocol for shared key environment, KIMAP, which minimizes the damage caused by secret key exposure using insulated keys. Even if a tag's secret key is exposed during an authentication session, forward security and `restricted' backward security of the tag are preserved under our assumptions. The notion of `restricted' backward security is that the adversary misses the protocol transcripts which are needed to update the compromised secret key. Although our definition does not capture perfect backward security, it is still suitable for effective implementation as the tags are highly mobile in practice. We also provide a formal security model of KIMAP. Our scheme is more efficient than previous proposals from the viewpoint of computational requirements.

연구 동기 및 목표

• 강력한 프라이버시 보장을 요구하는 바에도 불구하고 공유 키 RFID 프로토콜에서 후행 보안 메커니즘이 부족한 문제를 해결한다.
• 공개 키 인프라 없이 공유 키 환경에서 완벽한 후행 보안성이 이론적으로 불가능한 점을 극복한다.
• 계산 및 저장 용량이 제한된 RFID 태그에 적합한 실용적이고 효율적인 상호 인증 프로토콜을 설계한다.
• 공유 키 가정 하에 RFID 시스템에서 키 절연형 상호 인증을 위한 형식적 보안 모델을 제공한다.
• 기밀 키 유출의 영향을 절연 키 관리로 최소화하여 과거 및 미래 세션의 보안을 유지한다.

제안 방법

• 각 태그가 마스터 키에서 파생된 절연 키 세트를 유지하는 키 절연 아키텍처를 도입한다.
• 시간 기반 또는 세션 기반 키 유도 메커니즘을 사용하여 각 인증 세션마다 신규 키를 생성한다.
• 태그의 현재 기밀 키가 유출되어도 절연 성질 덕분에 과거 및 미래 키가 여전히 안전하다는 것을 보장한다.
• 완전한 프로토콜 트랜스크립트에 접근하지 못하는 한 악성 공격자가 키 업데이트 과정을 재구성할 수 없도록 프로토콜을 설계한다.
• RFID 상호 인증에 특화된 표준 게임 기반 정의를 사용하여 보안 모델을 형식화한다.
• 공개 키 criptограф리를 피하고 대신 대칭 원리에 의존함으로써 계산 오버헤드를 최소화하여 제약이 있는 장치에서의 효율성을 확보한다.

실험 결과

연구 질문

• RQ1 자원 제약이 있는 태그의 한계를 감안할 때, 공유 키 환경에서 RFID 시스템에서 후행 보안성이 효과적으로 달성될 수 있는가?
• RQ2 태그의 기밀 키가 인증 세션 중에 유출되었을 때 발생할 수 있는 최대 손상 범위는 무엇인가?
• RQ3 어떻게 하면 RFID 프로토콜에서 전방 및 후행 보안성을 유지하면서도 키 절연을 형식적으로 모델링하고 구현할 수 있는가?
• RQ4 공개 키 지원이 없는 것이 RFID 상호 인증 체계의 설계 및 보안 보장을 어느 정도 영향을 미치는가?
• RQ5 제안된 KIMAP 프로토콜은 이전의 키 절연형 또는 상호 인증 프로토콜과 비교해 효율성과 보안성 면에서 어떻게 다른가?

주요 결과

• KIMAP는 전방 보안성과 '제한된' 후행 보안성을 달성하여, 태그의 현재 기밀 키가 유출되어도 과거 또는 미래 세션 키가 손상되지 않음을 보장한다.
• 프로토콜은 RFID 상호 인증에 특화된 정의된 보안 모델 하에서 형식적으로 보증된 안전성과 함께 제공된다.
• 공개 키 암호화를 피하고 대신 대칭 키 연산에 의존함으로써 이전의 제안들보다 더 높은 계산 효율성을 확보한다.
• 기존의 '완벽한' 후행 보안성의 이론적 한계를 고려해 '제한된' 후행 보안성의 개념을 도입함으로써 실용적인 타협을 이룬다. 이는 공격자가 키 업데이트를 역공학적으로 복원하기 위해 핵심 프로토콜 트랜스크립트를 누락한 경우를 전제로 한다.
• 태그가 자주 노출되고 계산 자원이 극히 제한된 모바일 RFID 환경에서의 실질적 구현에 적합하다.
• 경량 설계와 형식적 보안 보장을 통해 프로토콜는 공개 키 인프라 없이도 실용적 타당성을 입증한다.