[논문 리뷰] Decentralized Identifier-based Privacy-preserving Authenticated Key Exchange Protocol for Electric Vehicle Charging in Smart Grid

Rohini Poolat Parameswarath, Prosanta Gope외 1명|arXiv (Cornell University)|2022. 06. 27.

Advanced Authentication Protocols Security인용 수 4

한 줄 요약

이 논문은 스마트 그라이드 내 전기자동차(EV) 충전을 위한 탈중앙화된 식별자(DID) 기반의 프라이버시 보장 인증 키 교환 프로토콜을 제안한다. 이 프로토콜은 검증 가능 증명(VCs)과 제로지식 증명(ZKPs)을 활용하여 사용자 중심의 신원 제어와 실제 신원을 폭 드러내지 않는 상호 인증을 가능하게 한다. 프로토콜은 강력한 보안 특성, 즉 연결 불가능성, 재생 공격 및 위치 위조 공격에 대한 저항성, 그리고 안전한 키 복구 메커니즘을 확보하면서도 실세계 구현에 적합한 낮은 계산 오버헤드를 유지한다.

ABSTRACT

The popularity of Electric Vehicles (EVs) has been rising across the globe in recent years. Smart grids will be the backbone for EV charging and enable efficient consumption of electricity by the EVs. With the demand for EVs, associated cyber threats are also increasing. Users expose their personal information while charging their EVs, leading to privacy threats. This paper proposes a user-empowered, privacy-aware authenticated key exchange protocol for EV charging in smart grid. The proposed protocol is based on the concept of Decentralized Identifier (DID) and Verifiable Credentials (VCs). The use of DIDs empowers users by helping them to have complete control over their identities. The charging station and the user verify that the other party is legitimate before proceeding with the charging services using VC. Key recovery is another issue we address in this paper. A method to recover lost keys is incorporated into the proposed protocol. We present formal security proof and informal analysis to show that protocol's robustness against several attacks. We also provide a detailed performance analysis to show that the proposed protocol is efficient.

연구 동기 및 목표

• 스마트 그라이드 내 전기자동차 충전에서 증가하는 프라이버시 및 보안 위협, 특히 추적 및 신원 폭 드러남 문제를 해결하기 위해.
• 중앙 집중식 기관에 의존하지 않고도 사용자가 자신의 디지털 신원을 완전히 제어할 수 있도록 하기 위해.
• 검증 가능 증명(VCs)과 제로지식 증명(ZKPs)을 활용하여 전기자동차 충전 중 상호 인증과 프라이버시를 보장하기 위해.
• 개인 키 유실 시에도 접근을 복구할 수 있도록 안전하고 효율적인 키 복구 메커니즘을 제공하기 위해.
• 연결 불가능성, 재생 공격 및 위치 위조 공격에 대한 저항성과 같은 포괄적인 보안 특성을 확보하면서도 실용적인 성능을 유지하기 위해.

제안 방법

• 탈중앙화된 식별자(DIDs)를 사용하여 사용자가 중앙 기관의 할당 없이도 자율적으로 자신의 신원을 관리할 수 있도록 한다.
• 신뢰할 수 있는 기관이 발행한 검증 가능 증명(VCs)을 사용하여 사용자 속성을 암호적으로 바인딩하고 제3자에 의한 합법성 검증을 가능하게 한다.
• 제로지식 증명(ZKPs)을 활용하여 유효한 VC를 보유하고 있음을 증명하면서도, 기초 신원 또는 증명 정보를 폭 드러내지 않는다.
• EV와 충전 스테이션(CS)이 VCs와 ZKPs를 사용하여 상호 신원을 검증하는 3메시지 키 교환 프로토콜을 통해 상호 인증을 달성한다.
• 사용자의 개인 키가 유실된 경우에도 접근을 복구할 수 있도록 키 복구 메커니즘을 통합하여 실수로 키를 상실하는 상황에 대비한 복원력을 확보한다.
• 보안성은 ProVerif 도구를 사용하여 형식적으로 증명하였고, 성능은 표준 하드웨어에서의 계산 비용 분석을 통해 평가하였다.

Figure 3: DID and Verifiable Credential.

실험 결과

연구 질문

• RQ1 스마트 그라이드 충전 시스템에서 중앙 기관에 의존하지 않고 전기자동차 사용자가 자신의 디지털 신원을 어떻게 제어할 수 있는가?
• RQ2 DID 및 VC 기반 프로토콜이 전기자동차 충전 거래에서 사용자 익명성과 연결 불가능성을 어느 정도 확보할 수 있는가?
• RQ3 ZKP 기반 인증 메커니즘이 충전 스테이션에 민감한 사용자 정보를 폭 드러내지 않으면서도 상호 인증을 가능하게 할 수 있는가?
• RQ4 제안된 프로토콜은 재생, 위치 위조, 위조 공격과 같은 일반적인 공격에 어떻게 저항하는가?
• RQ5 제안된 프로토콜의 계산 오버헤드는 얼마이며, 효율성 및 확장성 측면에서 기존 기법들과 비교해 볼 때 어떠한가?

주요 결과

• ZKPs를 활용하여 인증 과정에서 사용자 신원을 숨김으로써 강력한 프라이버시 보장을 달성한다. 이는 연결 불가능성과 익명성을 포함한다.
• 재생 공격, 위조 공격, 개인 키 유출 후 위조 공격 등 일반적인 위협에 대해 형식적으로 보안이 입증되었다.
• 위치 데이터를 검증 가능한 증명에 바인딩함으로써 기존 많은 기법에서 발생하는 위치 위조 공격에 저항한다.
• 성능 평가 결과, 인증 당 총 계산 비용은 수용 가능한 수준 이내이며, USP의 경우 VC 생성 비용이 약간 높지만, 제공된 계산 자원을 고려하면 여전히 실현 가능하다.
• 비밀 키 유실에 대비한 비난 불가능성과 안전한 키 복구 메커니즘을 지원하여 복원력을 향상시킨다.
• 기존 기법들과 비교해 볼 때, 제안된 프로토콜은 합리적인 계산 비용으로 사용자 중심의 DIDs 기반 제어와 포괄적인 보안 및 프라이버시 기능을 유일하게 통합한다.

Figure 4: System model.