[論文レビュー] KRATOS: Multi-User Multi-Device-Aware Access Control System for the Smart Home

Amit Kumar Sikder, Leonardo Babun+6 more|arXiv (Cornell University)|Nov 22, 2019

Internet Traffic Analysis and Secure E-voting参考文献 31被引用数 16

ひとこと要約

Kratos は、スマートホームにおける複数ユーザー・複数デバイス対応のアクセス制御システムであり、柔軟なポリシー定義、優先度に基づく交渉による自動的衝突解消、最小限のオーバーヘッドで強固な実装を可能にする。実際のスマートホーム環境での評価において、100%のアクセス制御衝突解消と高い正確性での脅威検出を達成し、従来の粗い粒度のソリューションを上回る性能を示した。

ABSTRACT

In a smart home system, multiple users have access to multiple devices, typically through a dedicated app installed on a mobile device. Traditional access control mechanisms consider one unique trusted user that controls the access to the devices. However, multi-user multi-device smart home settings pose fundamentally different challenges to traditional single-user systems. For instance, in a multi-user environment, users have conflicting, complex, and dynamically changing demands on multiple devices, which cannot be handled by traditional access control techniques. To address these challenges, in this paper, we introduce Kratos, a novel multiuser and multi-device-aware access control mechanism that allows smart home users to flexibly specify their access control demands. Kratos has three main components: user interaction module, backend server, and policy manager. Users can specify their desired access control settings using the interaction module which are translated into access control policies in the backend server. The policy manager analyzes these policies and initiates negotiation between users to resolve conflicting demands and generates final policies. We implemented Kratos and evaluated its performance on real smart home deployments featuring multi-user scenarios with a rich set of configurations (309 different policies including 213 demand conflicts and 24 restriction policies). These configurations included five different threats associated with access control mechanisms. Our extensive evaluations show that Kratos is very effective in resolving conflicting access control demands with minimal overhead and robust against different attacks.

研究の動機と目的

• 従来の単一ユーザー向けアクセス制御の限界を、複数ユーザー・複数デバイスのスマートホーム環境において解消すること。
• ユーザーがスマートホームデバイスに対して複雑で動的かつ対立するアクセス要件を表現できるようにすること。
• 優先度に基づく交渉メカニズムを用いて、対立するアクセスポリシーを自動的に解消すること。
• ロールベースの優先度とデバイス固有の制限を組み合わせた細粒度のアクセス制御を提供すること。
• 本番環境に近い条件下で、システムの有効性とセキュリティを、実世界の脅威に対して評価すること。

提案手法

• Kratos は、ユーザーインタラクションモジュール、バックエンドサーバー、ポリシーマネージャー（ポリシー翻訳および交渉用）からなる3部構成のアーキテクチャを採用している。
• 正式なポリシー言語を用いて、デバイスアクセス、時間制限、ユーザー役割を含むユーザー要件を表現する。
• ポリシーマネージャーは、ユーザー要求間の衝突を解消するための優先度に基づく交渉アルゴリズムを適用し、ユーザーの優先度とシステムの安全性を最適化する。
• スマートホームプラットフォームとの安全で認証済み通信を通じて、交渉されたポリシーをスマートホームデバイスに実装する。
• ロールベースアクセス制御（RBAC）の原則と動的ポリシー評価を統合し、非対称的かつ時間に依存するアクセス要件に対応する。
• 本番環境に近い実際のスマートホームテストベッド（17台のデバイス）上で実装され、309件の実ユーザーが生成したポリシー（うち213件が衝突、24件が制限）を用いて評価された。

実験結果

リサーチクエスチョン

• RQ1 複数ユーザー・複数デバイスのスマートホーム環境において、対立するユーザー要件を伴う状況で、アクセス制御ポリシーをどのように柔軟に表現できるか？
• RQ2 ユーザーの優先度とシステムセキュリティを尊重しながら、対立するアクセス要求を自動的に解消するメカニズムとは何か？
• RQ3 過剰な特権を持つユーザーまたは悪意あるポリシー構成から生じる脅威を、システムはどの程度効果的に検出・緩和できるか？
• RQ4 実世界のスマートホーム展開において、ポリシー交渉と実装の実行時オーバーヘッドはどの程度か？
• RQ5 複数ユーザーとデバイスを含む多様な実生活シナリオにおいて、システムはどの程度の性能を示すか？

主な発見

• 評価において、Kratos は213件の衝突シナリオを100%解消し、衝突解消の完全な有効性を示した。
• 定義済みの5つの脅威モデルを100%の正確性で検出し、一般的なアクセス制御脆弱性に対して高い耐性を確認した。
• ポリシー交渉と実装に起因する実行時オーバーヘッドは最小限であり、リアルタイムのスマートホーム運用において顕著な性能低下は観察されなかった。
• 17台のデバイスを備えた実際のスマートホームプラットフォームへの実装により、本番環境におけるアプローチの実現可能性と実用性が裏付けられた。
• ユーザーが生成したポリシー（複雑な制限や動的アクセス要件を含む）が、システムによって正しく解釈され、適切に実装された。
• 優先度に基づく交渉メカニズムは、対立するユーザーのニーズを効果的にバランスさせつつ、セキュリティとシステム整合性を維持した。