[論文レビュー] Graph Theory Towards New Graphical Passwords In Information Networks

Bing Yao, Hui Sun+3 more|arXiv (Cornell University)|Jun 8, 2018

User Authentication and Security Systems参考文献 16被引用数 9

ひとこと要約

本稿では、グラフ理論に基づき、最大平面グラフにおける位相的構造と数論的性質を活用して、セキュリティと使いやすさを向上させる、新しいグラフィカルパスワード方式Topsnut-GPWを提案する。グラフ彩色、ラベリング、ケンプ同値性を統合することで、タッチスクリーン搭載モバイル端末向けに、一意で数学的に裏付けられたパスワードを生成する。本手法は、一般的な攻撃に対して耐性を示す可能性を有する、安全で個人向けの認証の理論的基盤を提供する。

ABSTRACT

Graphical passwords (GPWs) have been studied over 20 years. We are motivated from QR codes that can be considered GPWs, are successfully applied in today's world. However, one need such GPWs that can be use conveniently and have higher level security in information networks. We aim to GPWs for mobile devices with touch screen. No more researching papers of GPWs by means of techniques of graph theory that are already used in a wide range of scientific areas, especially, dynamic networks. Our investigation is devoted to designing new type of graphical passwords by methods of graph theory, such as various topological structures and colorings (labellings). We develop the idea of "topological structure plus number theory" in maximal planar graphs, and provide new techniques for designing new type of GPWs, and furthermore we do theoretical analysis on these new type of GPWs.

研究の動機と目的

• 既存のグラフィカルパスワード（GPW）の限界、特に低セキュリティ、個人差の欠如、数学的厳密性の不足に起因する、モバイルタッチスクリーン端末における課題を解決すること。
• グラフ彩色、ラベリング、位相的不変量といったグラフ理論の概念と数論を統合することで、新たなクラスのグラフィカルパスワード—Topsnut-GPW—を構築すること。
• 従来の方式で見られる、使いやすさとセキュリティのトレードオフを解消するため、安全で記憶しやすいパスワードの設計に向けた理論的枠組みを提供すること。
• グラフラベリングおよび彩色の数学的基盤を調査し、一意で予測困難なパスワードパターンの生成を可能にすること。
• 最大平面グラフの構造的性質を基盤として、スケーラブルで安全なパスワードシステムの構築可能性を検討すること。

提案手法

• Topsnut-GPWは、最大平面グラフを用いて構築され、パスワード生成はグラフの位相的構造および彩色・ラベリングの数論的性質に基づく。
• 全彩色、頂点を区別する辺彩色、隣接頂点を区別する全彩色といった、さまざまなグラフ彩色技法を用いて、一意なパスワードパターンを生成する。
• ケンプ同値性およびグラフ操作を用いて、有効なラベリングおよび彩色の空間を探索し、パスワード空間のエントロピーを向上させる。
• パスワード多様性を定量化するために、$ a_c(G) $ および $ n_c(G,f) $ といったラベリング関数を導入し、グラフ $ G $ の与えられた彩色 $ f $ における彩色およびラベリングの数を表す。
• ラベリングおよび彩色を代数的に表現・操作可能とするために「集合行列（set-matrices）」の概念を導入し、パスワード生成の計算的モデリングを可能にする。
• 既知のグラフ理論の予想（例えば、綾ずる木予想や全彩色予想）を基盤的仮定として活用し、安全で一意なパスワード構成の存在を保証する。

実験結果

リサーチクエスチョン

• RQ1 最大平面グラフやその彩色といったグラフ理論的構造を用いて、モバイルタッチスクリーン端末向けに安全で使いやすいグラフィカルパスワードを設計できるか？
• RQ2 グラフの位相的特徴と数論的性質を組み合わせることで、ブルートフォース攻撃や辞書攻撃に強く、予測不能なパスワード空間を生成できるか？
• RQ3 グラフラベリング、彩色とそれらが生じるパスワードエントロピーとの関係は何か？ これを形式化することで暗号的強度を保証できるか？
• RQ4 グラフ理論における未解決問題（例えば、木の綾ずる性、4色定理）を活用することで、グラフィカルパスワード方式の安全性を検証または強化できるか？
• RQ5 Topsnut-GPWの文脈において、「1把の鍵で複数の錠」または「1つの錠に複数の鍵」の概念を数学的にモデル化できるか？ これにより、柔軟な認証プロトコルを実現できるか？

主な発見

• 提案されたTopsnut-GPWフレームワークは、彩色、ラベリング、ケンプ同値性といったグラフ理論的要素を統合し、理論的裏付けを持つ新しいグラフィカルパスワード方式を実現した。
• 最大平面グラフは、その豊富な位相的・組合せ的性質のおかげで、グラフィカルパスワードの構造的基盤として強固であることが示された。
• 一般のグラフにおいて有効な彩色およびラベリングの数（$ a_c(G) $、$ n_c(G,f) $）は、依然としてほとんど未知であることが同定され、重要な研究ギャップを示している。
• 既存のGPW方式はしばしば数学的深さに欠け、個人差のない設計となっており、その結果、使いやすさとセキュリティのトレードオフが生じている。Topsnut-GPWは、この課題を解消することを目的としている。
• 研究は、QRコードが社会的工学的攻撃に脆弱でユーザーの制御が不十分であるため、高セキュリティな用途には不適切であることを確認し、新たな方式の必要性を動機づけた。
• フレームワークは、グラフ理論における未解決の予想（例えば、綾ずる木予想、全彩色予想）が、提案されたパスワードシステムの実現可能性およびセキュリティに直接的な影響を及えることを明らかにした。