[論文レビュー] Authentication Protocols for Internet of Things: A Comprehensive Survey

Mohamed Amine Ferrag, Λέανδρος Μαγλαράς+2 more|arXiv (Cornell University)|Dec 21, 2016

Advanced Authentication Protocols Security参考文献 220被引用数 9

ひとこと要約

本論文は、M2M、IoV、IoE、IoSの4つの主要分野における40以上のIoT認証プロトコルについて包括的なサーベイを提示する。セキュリティ、計算複雑性、通信オーバーヘッドに基づいてプロトコルを評価し、未解決の問題を特定し、形式的検証、軽量暗号、ハイブリッドバイオメトリクスシステムの分野における今後の研究方向性を提案する。

ABSTRACT

In this paper, we present a comprehensive survey of authentication protocols for Internet of Things (IoT). Specifically, we select and in-detail examine more than forty authentication protocols developed for or applied in the context of the IoT under four environments, including: (1) Machine to machine communications (M2M), (2) Internet of Vehicles (IoV), (3) Internet of Energy (IoE), and (4) Internet of Sensors (IoS). We start by reviewing all survey articles published in the recent years that focusing on different aspects of the IoT idea. Then, we review threat models, countermeasures, and formal security verification techniques used in authentication protocols for the IoT. In addition, we provide a taxonomy and comparison of authentication protocols for the IoT in form of tables in five terms, namely, network model, goals, main processes, computation complexity, and communication overhead. Based on the current survey, we identify open issues and suggest hints for future research.

研究の動機と目的

• インターネット・オブ・シングス（IoT）の4つの主要なアプリケーション分野における認証プロトコルの最新状況を体系的にレビュー・分析すること。
• 既存のIoT認証プロトコルで用いられている脅威モデル、対策、形式的検証技術を特定・評価すること。
• ネットワークモデル、目的、主なプロセス、計算複雑性、通信オーバーヘッドの5つの主要基準に基づき、40以上の認証プロトコルを詳細に並べて比較すること。
• M2M、IoV、IoE、IoS環境における認証に関する未解決の研究課題と課題を浮き彫りにすること。
• プライバシー保護型方式、効率的なインシデント検出システム、バイオメトリクスとパターン認識の統合を含む、今後の研究を導く方向性を提案すること。

提案手法

• 2005年から2016年までの間に発表された70以上のサーベイ論文および40以上の主要な認証プロトコルを特定するため、SCOPUSおよびWeb of Scienceを用いた体系的文献レビューを実施した。
• ネットワークモデル、セキュリティ目的、プロトコルプロセス、パフォーマンス指標に基づき、M2M、IoV、IoE、IoSの4つのIoT環境における認証プロトコルを分類・分析した。
• 35種類の既知の攻撃（特に中間者攻撃、なりすまし、リプレイ、偽造攻撃）を評価し、それに対する対策をレビューした。
• 形式的セキュリティ検証技術（記号的モデルと計算的モデルを含む）を調査・比較し、プロトコルの堅牢性を評価した。
• ネットワークモデル、目的、主なプロセス、計算複雑性、通信オーバーヘッドの5つの次元を用いた、構造的な分類と表形式の比較を提案した。
• 特にエネルギー効率性、軽量暗号、バイオメトリクスおよびパターン認識手法の統合の分野において、現在の研究におけるギャップを特定した。

実験結果

リサーチクエスチョン

• RQ1 M2M、IoV、IoE、IoS環境における主な認証プロトコルは何か。また、それらの設計およびパフォーマンスにおいてどのような相違があるか。
• RQ2 既存のIoT認証プロトコルが最も頻繁に対処しているセキュリティ脅威は何か。また、それに対してどのような対策が採用されているか。
• RQ3 特にリソース制限のあるIoTデバイスにおいて、セキュリティと計算・通信オーバーヘッドのバランスをどのようにとっているか。
• RQ4 IoT認証プロトコルで用いられている形式的検証技術は何か。それらはプロトコルの正しさを保証するためにどれほど効果的か。
• RQ5 4つの分野におけるIoTシステムにおける認証を改善するための主要な未解決の研究課題と今後の研究方向性は何か。

主な発見

• 40以上の認証プロトコルが特定・分析され、4つのIoT分野において設計、セキュリティ目的、パフォーマンスのトレードオフに顕著な差異が認められた。
• 最も頻繁に標的とされた攻撃は中間者攻撃、なりすまし、リプレイ、偽造攻撃であり、プロトコルごとに耐性の度合いにばらつきが見られた。
• 計算複雑性と通信オーバーヘッドは、特にIoSやM2Mのようなリソース制限のある環境において、依然として主要なボトルネックである。
• 形式的セキュリティ検証技術は、プロトコルの一部でのみ使用されており、厳密なプロトコル検証のギャップが示唆された。
• 未解決の課題には、効率的なインシデント検出システム（IDS）の統合不足、センサーネットワークにおける十分なエネルギー効率性の欠如、プライバシー保護型およびバイオメトリクスベースの認証のサポート不足が含まれる。
• 今後の研究は、知識、トークン、バイオメトリクス要因を組み合わせたハイブリッドプロトコルの開発、およびIoT固有の脅威モデルに特化した形式的検証フレームワークの構築に注力すべきである。