SHARE THE PERSPECTIVE
漏えいの範囲は鍵の種類と攻撃者のアクセス期間によって変わります。ラチェットは、危険にさらされるのが一通だけだとは保証しません。

強力な暗号化にも、端末上での正しい実装が必要です。OS、暗号実装、ハードウェアの脆弱性が機密データへの道を開く可能性はあります。しかし、プロセッサへの攻撃研究が存在するからといって、すべてのスマートフォンやメッセンジャーが同じ方法で侵害されるとはいえません。

有用な問いは、攻撃者がどのようなアクセス権を持ち、どの鍵や平文を見ることができ、そのアクセスが一時的なのか継続しているのか、というものです。これらの答えはアルゴリズムの名前より重要です。

サイドチャネルとメモリの取得はどう違うのでしょうか?

メモリの直接取得では、攻撃者がプロセスや端末のメモリ空間の一部を読める場合があります。サイドチャネル攻撃では、処理時間やキャッシュの挙動などの手掛かりから情報を推測します。両者の前提条件や結果は、必ずしも同じではありません。

元の FLUSH+RELOAD 研究は、特定の実験環境でキャッシュの挙動と共有メモリページを調べ、あるバージョンの GnuPG からの鍵の抽出を示しました。この結果は Livara のセキュリティ試験でも、すべてのスマートフォン用プロセッサが脆弱である証拠でもありません。

アクセスの種類 評価に必要な問い
同じ端末で通常のアプリを実行 プロセスの分離と攻撃の前提条件は観測を許すか?
OS の高権限アクセス どのデータや鍵操作が攻撃者の手に渡るか?
物理的または実験室でのアクセス ロック状態、ハードウェアのモデル、鍵の保護はどうなっているか?
アプリへの継続的なアクセス 新しい平文や鍵を攻撃者が再び収集できるか?

こうした詳細がなければ、「RAM のハッキング」という大まかな表現だけでは技術的な説明として不十分です。

Keystore と安全なハードウェアは何に役立つのでしょうか?

Android Keystore は鍵の使用を制限でき、対応する端末ではハードウェアに支えられた処理を行えます。この設計では、鍵が抽出できないことと、攻撃者が鍵を利用できないことは同じではありません。感染したアプリは、状況によっては鍵のバイト列を取り出せなくても、許可された鍵操作を悪用できる可能性があります。Android Keystore ガイド。

また、すべての鍵やアルゴリズムが自動的に安全なハードウェア内に置かれるわけではありません。鍵の種類、端末の対応状況、アプリの利用方法を明確にする必要があります。「鍵は端末上にある」というだけでは、保存場所や保護水準を証明できません。

一つの鍵の漏えいで露出するのは一通だけでしょうか?

独立したメッセージ鍵の漏えいであれば、影響範囲が限られる場合があります。しかし、攻撃者がチェーン鍵、セッション状態、アイデンティティ鍵、読める履歴、複数のバッファを取得した場合は、結果が異なります。したがって、何が漏れたのかを特定せずに、「最大でも一通」しか危険にさらされないとはいえません。

メッセージごとに鍵を変えても、必ずしも攻撃者のアクセスを断ち切れるわけではありません。次の鍵が攻撃者の持つ状態から導出される場合や、攻撃者が端末に居続ける場合には、その後のメッセージにもアクセスされる可能性があります。過去の保護と将来の安全性の回復は、それぞれ明確な仮定を持つ別の性質です。

ラチェットとメモリ消去にはどんな限界があるのでしょうか?

ラチェットは、会話中に鍵を進化させることができます。漏えい後の回復には、攻撃者がアクセスできない新しい情報の導入が必要です。単に一通のメッセージを送っただけでは、この条件を満たした証拠にはなりません。Double Ratchet 仕様は、回復に加え、継続的なアクセスや削除済みデータの復元によるリスクも説明しています。

機密データの寿命を短くし、バッファを消去することは有益ですが、それをもって RAM 内のすべてのコピーが消えたと一般的に主張することはできません。ライブラリ、プログラミング言語、表示処理の経路を調べる必要があります。

Livara について何がいえるのでしょうか?

Livara のセキュリティページは、LVR1 のハイブリッド構造と鍵の進化を説明しています。本記事は、サイドチャネル試験、メモリ監査、すべての鍵が Keystore を使用していることの確認ではありません。特に、公開された脅威モデルの文書は、感染した端末の保護を保証していません。

したがって、同じバージョンとシナリオについて具体的な証拠がない限り、「次のメッセージでハードウェア侵害を無効化できる」「漏れるのは最大一通」といった約束を製品に帰属させてはいけません。

ユーザーが実際に取れる判断

OS とアプリを最新に保ち、セキュリティサポートが継続している端末を選び、信頼できないもののインストールや余分なアクセス権を避け、適切なロックを設定してください。深刻な侵害の可能性がある場合、メッセンジャーを変えたり新しいメッセージを送ったりしても、端末の調査とクリーンアップの代わりにはなりません。

セキュリティ上の主張を読む際には、試験したバージョン、攻撃者のアクセス権、漏えいしたデータ、結論の限界という四つを求めてください。プロセッサや暗号標準の名前だけでは、この四つの問いに答えられません。

Livara Proof Lab を確認
CONTINUE THE THREADAndroid & device security ↗
YOU’VE REACHED THE ENDBack to the reading room ↗