CA-less Mutual Co-Signing of Documents over a Unidirectional Visual Channel with Transported Hardware Attestation
本論文は、単方向かつ損失のある視覚的チャネルを介して、ハードウェアによって証明された鍵をファウンテン符号を用いて転送し、循環的な署名依存関係を解決するために新規な2段階ハッシュアンカーを採用することにより、中間サーバーなしでの安全なオフライン検証を実現する、2台のモバイルデバイス間での相互文書署名を可能にするCAレスプロトコルを提示し、分析するものである。
原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。 免責事項の全文を読む
デジタル合意の世界において、信頼は通常、広大で目に見えないインフラストラクチャに依存しています。二人の人間がスマートフォン上で契約書に署名するとき、彼らは自分たちの身元を保証してくれる証明機関として知られる中央権限と、サーバーのネットワークに依存しています。このシステムは、誰もがインターネットに接続されている場合にはうまく機能しますが、ネットワークがダウンしたときや、当事者が中央サーバーから完全にプライバシーを守りたいときには崩壊してしまいます。これらのデジタル公証人がいなければ、公開鍵が実際にそれを保持しているデバイスに属していることを証明する標準的な方法もなく、また、第三者の監視なしに二人が真に同じ条件に合意したことを確実にする信頼できる方法もありません。
これが、研究者のディミトロ・ディクン（Dmytro Diikun）が取り組んだ具体的な問題です。すなわち、二人の人間が、対面でスマートフォンを手にしながら、インターネット接続も、中央サーバーも、証明機関も介さずに、拘束力のある相互署名された文書をどのように作成できるかという問題です。この解決には、根本的な論理的パズルを克服する必要があります。通常の署名プロセスでは、各人は相手の署名を含む最終的な文書を、署名する前に確認する必要があります。しかし、どちらの人物も、もう一方が先に署名するまで署名することができません。これは、通常、サーバーがデッドロックを打破する必要がある循環依存関係です。さらに、中央権限がない場合、使用されているデジタルキーが、悪意のあるソフトウェアプログラムによって作成された偽のキーではなく、実際に安全で純正なハードウェア内で生成されたものであることを証明する方法もありません。
この論文は、スマートフォン自体を信頼ネットワーク全体に変えることで、これらの問題を解決する新しいプロトコルについて述べています。二つのデバイスは、一方通行の視覚的チャネルのみを使用して通信します。一方の電話が画面上に急速に変化するアニメーションコードを表示し、もう一方の電話がそれをカメラで読み取ります。このチャネルは低速でエラーが発生しやすく、風に揺れる看板を読もうとするようなものですが、そのタスクには十分です。核心となる革新は、循環依存を打破する二段階のプロセスです。第一の人物は、相手が誰であるかを知る前に、その条件に基づいて文書の条件にコミットし、デジタルシールを作成します。このシールは固定されたアンカー（錨）として機能します。第二の人物が参加すると、その既存のアンカーを取り込み、自身のアイデンティティをそれに加えて、新しい結合されたシールを作成します。第二の人物のアクションは、第一の人物の特定のシールと数学的に結びついているため、第一の署名は有効かつ壊れることなく維持されます。そして、第二の署名は第一の署名へと連鎖され、第一の人物が署名した特定の文書から第二の人物の合意を切り離すことを不可能にします。
使用されるキーが本物であることを保証するために、プロトコルは完全なハードウェア・アテステーション・トークンを電話間で直接転送します。このトークンは、キーが改ざん防止機能を持つ純正のチップ内で生成されたものであることを証明する、スマートフォンのセキュアハードウェアによって生成されたデジタル証明書です。このトークンは静止画一枚には収まらないほど大きいため、研究者たちはレートレス・コーディング（rateless coding）法を用いて、それを多くの小さな断片に分割します。これらの断片は、アニメーション化された視覚ストリームの一部として送信されます。受信側の電話は、十分な断片を収集してフル・トークンを再構成し、キーが純正のハードウェアから来ていることを検証し、その検証結果を最終的な署名に直接結びつけます。これにより、アイデンティティの証明が文書自体と共に移動し、第三者が後で完全にオフラインで、電話メーカーやサーバーに接続することなく、信頼の連鎖全体を検証できるようにします。
研究者たちは、現代のスマートフォンに組み込まれたセキュアチップを使用し、iOSとAndroidの両方のデバイスでこのシステムの動作版を構築しました。彼らは、二つのスマートフォンが、必要なデータを交換し、署名を生成し、第三者の検証者が完全にオフラインでチェックできる文書を作成できることを実証しました。検証者は、すべてのステップを再計算し、署名が数学的にリンクされていることを確認し、キーが純正のハードウェアで生成されたことを検証できます。これらすべてを、インターネットに一度も接続することなく行えます。この研究は、標準的なインターネットのインフラストラクチャが取り除かれた状態でも、高度な暗号学的セキュリティと相互合意を達成できることを証明しています。しかし、著者は、このシステムが署名の法的地位を置き換えるものでも、電話を持っている人物が本人であることを証明するものでもないことにも注意を促しています。それは、デジタルキーが純正であり、二者の合意が暗号学的に結び付けられていることを証明するに過ぎません。信頼は中央権限からハードウェアメーカーへと移り、システムはメーカーの信頼の根源（root of trust）が侵害されていないという仮定に依存しています。
このアプローチは、デジタルな信頼がどのように確立されるかにおける重要な転換を意味しています。リアルタイムでアイデンティティを検証するためにネットワークに頼るのではなく、プロトコルは、単純な一方通行の視覚的リンクを通じて、アイデンティティの証明を取引の中に直接埋め込みます。これは、低速で損失の多い接続であっても、中央サーバーなしで、二者の間で数学的に分離不可能であり、いつでもどこでも誰によっても検証可能な記録を作成できることを示しています。この研究は、あらゆる法的シナリオに対する完璧な解決策を主張するものではありませんが、これまで継続的な接続を必要と考えていた、安全なオフラインでのコラボレーションのための新しい経路を実証することに成功しました。
自分の分野の論文に埋もれていませんか？
研究キーワードに一致する最新の論文のダイジェストを毎日受け取りましょう——技術要約付き、あなたの言語で。