[論文レビュー] Decentralized Identifier-based Privacy-preserving Authenticated Key Exchange Protocol for Electric Vehicle Charging in Smart Grid

Rohini Poolat Parameswarath, Prosanta Gope+1 more|arXiv (Cornell University)|Jun 27, 2022

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.

研究の動機と目的

• スマートグリッドにおけるEV充電におけるプライバシーおよびセキュリティの脅威（特に追跡やアイデンティティの露呈）に対処すること。
• 中央集権的機関に依存せずに、分散型識別子（DIDs）を用いてユーザーが自身のデジタルアイデンティティを完全に制御できるようにすること。
• 検証可能証明書（VCs）およびゼロ知識証明（ZKPs）を用いて、EV充電中に相互認証とプライバシーを確保すること。
• 秘密鍵紛失時に鍵を回復できる安全で効率的な鍵回復メカニズムを提供すること。
• リンク不能性、再生攻撃および位置偽装攻撃に対する耐性といった包括的なセキュリティ特性を達成するとともに、実用的なパフォーマンスを維持すること。

提案手法

• 分散型識別子（DIDs）を用いて、ユーザーが中央機関の割り当てに依存せずに自身のアイデンティティを自己管理可能にする。
• 信頼できる機関が発行する検証可能証明書（VCs）を用いて、ユーザーの属性を暗号的に束縛し、第三者による正当性の検証を可能にする。
• ゼロ知識証明（ZKPs）を用いて、有効なVCの所有を証明するが、その背後にあるアイデンティティや証明書の詳細を一切露呈しない。
• EVと充電ステーション（CS）が、VCsとZKPsを用いて相互に証明を検証する3メッセージ鍵交換プロトコルにより、相互認証を達成する。
• 秘密鍵紛失時にアクセスを回復できるようにする鍵回復メカニズムを統合し、誤った鍵紛失に対する耐性を高める。
• セキュリティはProVerifツールを用いて形式的に証明され、パフォーマンスは標準ハードウェア上での計算コスト分析により評価されている。

Figure 3: DID and Verifiable Credential.

実験結果

リサーチクエスチョン

• RQ1 スマートグリッド充電システムにおいて、中央機関に依存せずにEVユーザーが自身のデジタルアイデンティティをどのように制御できるか。
• RQ2 DIDおよびVCベースのプロトコルが、EV充電取引においてユーザーの匿名性およびリンク不能性をどの程度確保できるか。
• RQ3 ZKPベースの認証メカニズムは、充電ステーションがユーザーの機微な情報を学ぶことなく、相互認証を可能にするか。
• RQ4 提案されたプロトコルは、再生攻撃、位置偽装攻撃、なりすまし攻撃といった一般的な攻撃に対してどのように耐性を示すか。
• RQ5 提案されたプロトコルの計算コストはどの程度で、既存の手法と比較して効率性およびスケーラビリティにおいてどう異なるか。

主な発見

• ZKPsを用いることで、認証プロセス中にユーザーのアイデンティティを隠すことで、本プロトコルは強固なプライバシー保証（リンク不能性および匿名性）を達成する。
• 本プロトコルは、再生攻撃、なりすまし、秘密鍵漏洩なりすまし攻撃といった一般的な脅威に対して形式的に安全であると証明されている。
• 位置データを検証可能証明書に束縛することで、多くの既存手法に見られる重大な脆弱性である位置偽装攻撃に対しても耐性を示す。
• パフォーマンス評価では、認証ごとの合計計算コストが許容範囲内に収まっており、USPのコストはVC生成のためわずかに高いが、その計算リソースを考慮すれば実用的である。
• 本プロトコルは否認不能性をサポートし、安全な鍵回復メカニズムを備えることで、秘密鍵紛失に対する耐性が向上する。
• 既存の手法と比較して、本プロトコルはDIDによるユーザー主導のアイデンティティ制御を特徴とし、妥当な計算コストで包括的なセキュリティおよびプライバシー機能を統合している点で独自性を有する。

Figure 4: System model.