NEBULA: A Language - Independent Specification for Opaque Rotating Refresh Tokens

インターネットを、さまざまな建物に入るために自分が誰であるかを証明する必要がある、巨大で賑やかな都市だと想像してみてください。通常、あなたは数分間だけ入れる一時的なバッジ（アクセストークン）を持ち歩いています。もしもっと長く滞在したい場合は、そのバッジをマスターキー（リフレッシュトークン）と交換して、必要に応じて新しい一時的なバッジを入手できます。このシステムは、お気に入りのSNSアプリから銀行に至るまで、至る所に存在します。しかし、ここには落とし穴があります。そのマスターキーは非常に強力です。もし泥棒がそれを盗んだら、彼らは何日も、あるいは何週間もあなたのふりをして、あなたが気づかないうちに、密かにあなたのデータを盗んだりお金を使ったりできてしまうのです。

これを阻止するために、セキュリティの専門家たちは一つのルールを設けています。「ただ鍵を使うだけでなく、使うたびにそれを変えなさい」というルールです。これは**ローテーション（回転）**と呼ばれます。それはまるで、鍵を回すたびに新しい鍵を吐き出し、古い鍵を即座に破壊する魔法の錠前のようなものです。もし泥棒が、すでに破壊された古い鍵を使おうとしたら、システムは「おい！死んだ鍵を使おうとしている者がいるぞ！すべてをロックダウンせよ！」と叫ぶはずです。しかし、現在のこのシステムのルールブックは、厳格なマニュアルというよりは、曖昧な提案に近い状態です。そこには「鍵を変えるべきである」とは書いてありますが、具体的にどのように錠前を作るのか、あるいは二人が全く同じミリ秒に鍵を回そうとした場合にどうするのか、あるいはメッセージが郵便の中で紛失した場合にどう扱うのかについては説明されていません。この曖昧さゆえに、企業ごとに異なる方法で錠前を作っており、時にはその違いが、誰も気づかないうちに泥棒が忍び込める秘密の裏口を生み出してしまうことがあります。

ここで、論文NEBULAが登場します。Matteo Teodori氏率いる研究者たちは、推測するのをやめ、これらの回転する鍵を構築するための、極めて明確でステップ・バイ・ステップの指示書を書くことに決めました。彼らはNEBULAと呼ばれる仕様を作成しました。これは、どのようなプログラミング言語を使用しても同じように機能する、「魔法の錠前」のユニバーサルな設計図のようなものです。

この論文は、これらの鍵に対する新しい考え方を導入しています。単一の複雑なコードの文字列ではなく、NEBULAは鍵を二つの部分に分割します。一つはセレクター（Selector）（どの錠前を見るべきかをシステムに伝える公開IDカード）、もう一つはベリファイア（Verifier）（実際に鍵を所有していることを証明する秘密のパスワード）です。システムは、その場で複雑な数学を用いてパスワードをチェックするのではなく、サーバー上に安全に保存されている秘密のリストとパスワードが一致するかどうかを確認します。これにより、たとえリスト全体のパスワードを盗まれたとしても、パスワードが逆算できないように難読化されているため、泥棒が鍵を偽造することは非常に困難になります。

この論文の最もエキサイティングな部分は、**コンカレンシー（並行性）**と呼ばれる厄介な問題をどのように解決したかという点です。想像してみてください、二人の人物が全く同時に同じマスターキーを使おうとしています。現在の多くのシステムでは、この混乱によって錠前が壊れ、一つの有効な鍵ではなく二つの有効な鍵が生成されてしまい、「鍵を変える」というルールが完全に機能しなくなります。NEBULAは、厳格な「比較してセット（compare-and-set）」ルールによってこれを解決します。システムは「この鍵はまだ有効か？」と確認し、答えが「はい」である場合にのみ変更を行います。もし二人が同時に実行しようとした場合、一方のみが勝ち、もう一方は「再試行してください」と丁寧に促されます。これにより、システムが密かに壊れることを防ぎます。

著者は単にルールを書いただけではありません。彼らは、これらすべてのバージョンが全く同じように機能することを証明するために、10種類の異なるプログラミング言語（Python、Java、Rustなど）を使用して、10種類の異なるバージョンの錠前を構築しました。彼らは、「インターネットが遅い場合はどうなるか？」「すでに変更された鍵を使おうとしたらどうなるか？」といった38種類の異なるシナリオを含む巨大なテストファイルを作成し、それらを全10バージョンで実行しました。結果はどうだったでしょうか？すべてのバージョンが、すべてのテストに合格しました。

この論文は、このアプローチがリフレッシュトークンの窃盗をはるかに危険なものにすると主張しています。もし泥棒が鍵を盗んだとしても、本物の所有者がその鍵を使おうとした瞬間に、泥賊の鍵は使い物にならなくなり、システムは所有者に警告を発します。たとえ泥棒が先に鍵を使っていたとしても、本物の所有者が現れてロックアウトするまでのごく短い時間しかログインし続けることはできません。また、このシステムは将来のスーパーコンピュータでも解読できないような複雑な数学に依存していないため、将来にわたって準備ができていると論文は述べています。しかし、著者は、これらの保証は設計に基づいた議論であり、マシンによる検証が行われたものではないことを注意深く記しており、いかなるシステムも完璧ではないこと、例えばサーバー自体が侵害された場合には、システムは突破され得ることを明示的に認めています。

要するに、NEBULAは新しい種類の魔法を発明することではありません。それは、誰かが誤ってドアの鍵を開けっ放しにしないように、魔法のトリックを正確にどのように行うべきかについて、ついに合意することなのです。それは、漠然とした提案を、精密でテスト済みの、高度に堅牢な標準へと変えるものなのです。