[論文レビュー] A Group Key Establishment Scheme

Sueda Guzey, Güneş Karabulut Kurt+1 more|arXiv (Cornell University)|Sep 30, 2021

Security in Wireless Sensor Networks参考文献 23被引用数 7

ひとこと要約

この論文は、ベクトル空間と内積を用いた新しいグループ鍵確立方式を提案しており、多項式ベースのグループ認証に対する軽量でスケーラブルな代替手段を提供する。楕円曲線暗号やラグランジュ補間の代わりに線形代数演算を活用することで、計算および通信のオーバーヘッドを低減し、標準的なハードウェア上でも5ms未満で秘密鍵を生成可能である。また、動的なメンバー追加が可能であり、部分的な鍵情報の漏洩に対しても高い耐性を示す。

ABSTRACT

Group authentication is a method of confirmation that a set of users belong to a group and of distributing a common key among them. Unlike the standard authentication schemes where one central authority authenticates users one by one, group authentication can handle the authentication process at once for all members of the group. The recently presented group authentication algorithms mainly exploit Lagrange's polynomial interpolation along with elliptic curve groups over finite fields. As a fresh approach, this work suggests use of linear spaces for group authentication and key establishment for a group of any size. The approach with linear spaces introduces a reduced computation and communication load to establish a common shared key among the group members. The advantages of using vector spaces make the proposed method applicable to energy and resource constrained devices. In addition to providing lightweight authentication and key agreement, this proposal allows any user in a group to make a non-member to be a member, which is expected to be useful for autonomous systems in the future. The scheme is designed in a way that the sponsors of such members can easily be recognized by anyone in the group. Unlike the other group authentication schemes based on Lagrange's polynomial interpolation, the proposed scheme doesn't provide a tool for adversaries to compromise the whole group secrets by using only a few members' shares as well as it allows to recognize a non-member easily, which prevents service interruption attacks.

研究の動機と目的

• ラグランジュ補間および楕円曲線暗号に依存する既存のグループ認証方式（GAS）における高い計算および通信コストを低減すること。
• エネルギー制限のあるデバイス（例：IoTシステム）に適したスケーラブルで効率的なグループ認証手法を開発すること。
• 任意のグループメンバーが安全に認証を行い、新規メンバーを追加できる仕組みを提供し、自律的システムユースケースを支援すること。
• 一部のメンバーのプライベートシェアが漏洩してもグループ全体が侵害されないよう防止し、サービス停止攻撃に対する耐性を高めること。
• 高コストな楕円曲線演算を回避する多項式ベースの方式の安全で軽量な代替手段を提供すること。

提案手法

• グループメンバー間で共通の秘密鍵を確立するために、部分空間と内積計算を活用する。
• 各ユーザーは、グループマネージャーが定義する共有部分空間上への、与えられたベクトルの射影を計算する。射影は、グラム・シュミット法による正規直交基底の利用、または線形方程式系の解法により実行される。
• 秘密鍵は射影ベクトルから導出され、メンバー間のピアツーピア通信を一切必要とせず、全員が同一の値を計算可能である。
• 楕円曲線演算を回避し、代わりに内積と線形代数に依存することで、計算コストを低減する。
• グループマネージャーは各メンバーに固有のn次元部分空間を割り当て、共通鍵は公開ベクトルをこの部分空間に射影した結果から導出される。
• 動的なメンバー追加が可能であり、任意のメンバーが新規ユーザーを認証可能で、新規メンバーのスポンサーはグループ内で公開的に検証可能である。

実験結果

リサーチクエスチョン

• RQ1 リソース制限のあるデバイスに適したスケーラブルで効率的なグループ鍵確立方式を設計できるか？
• RQ2 内積空間が、グループ認証における計算オーバーヘッドを低減するために、多項式補間や楕円曲線演算に代わって利用可能か？
• RQ3 一部のメンバーのプライベート情報が漏洩した場合でも、グループ認証方式が全体の侵害を防げるか？
• RQ4 任意のグループメンバーが安全に新規メンバーを導入でき、他のメンバーが新メンバーのスポンサーを検証できるか？
• RQ5 実世界の実装において、ベクトル空間に基づくグループ鍵協定方式の計算パフォーマンスはどの程度か？

主な発見

• 提案方式は、標準PC（i7-5600、8GB RAM）上でも5ms未満で秘密鍵の生成を実現し、高い効率性を示した。
• 計算複雑度は、部分空間の次元nに対してO(n²)の内積演算に限定され、スケーラブルで軽量な特性を有する。
• 点加算や倍加算といった高コストな楕円曲線演算を回避しており、有限体乗算よりも顕著に高コストであることが知られている。
• 多項式ベースの方式とは異なり、攻撃者が少数のメンバーのシェアのみを入手しても、グループ秘密鍵を再構築できないため、セキュリティが向上する。
• 動的なメンバー追加が可能であり、任意のメンバーが新規ユーザーを認証可能で、新メンバーのスポンサーはグループ内で公開的に検証可能である。
• リアルタイムでのパフォーマンスと低コストな計算フットprintにより、リソース制限のあるIoTやモバイルネットワークへの展開に適している。