論文の概要: NEBULA: A Language - Independent Specification for Opaque Rotating Refresh Tokens
- arxiv url: http://arxiv.org/abs/2608.04115v1
- Date: Tue, 04 Aug 2026 18:10:55 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-08-06 14:48:43.578488
- Title: NEBULA: A Language - Independent Specification for Opaque Rotating Refresh Tokens
- Title（参考訳）: NEBULA: 透明な回転リフレッシュトークンのための独立仕様言語
- Abstract要約: RFC 9700は、パブリッククライアントに発行されたリフレッシュトークンは、リプレイ(再利用)検出によってすべての使用時にローテーションされるか、あるいは振る舞いに制約されるよう命令する。
我々は、RFC 9700リフレッシュトケンモデルの正確で言語に依存しない仕様であるNEBULAを提示する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Refresh tokens are among the most sensitive credentials in modern authentication systems: long-lived, bearer-style, and sufficient to mint access tokens for days or weeks. RFC 9700, the current Best Current Practice for OAuth 2.0 security, mandates that refresh tokens issued to public clients be rotated on every use with replay (reuse) detection, or be sender-constrained. But the BCP specifies policy, not mechanism: it prescribes no wire format, no storage schema, no ordering of verification steps, no concurrency contract, and no semantics for edge cases such as lost-response retries or key rotation. Implementations may therefore diverge in precisely the corner cases that determine security outcomes. We present NEBULA, a precise, language-independent specification of the RFC 9700 refresh-token model, together with ten conformant reference implementations (TypeScript, Python, Go, Rust, Java, PHP, C#, Ruby, Elixir, Dart). NEBULA tokens are opaque -- a 128-bit public selector and a 256-bit secret verifier, both CSPRNG output, carrying no claims and no signature -- so token validity is a property of server-side state rather than of cryptographic verification. Its conformance methodology publishes the behavioural suite as data rather than as prose: 38 scenarios in one machine-readable file that every implementation executes through a thin per-language runner, so that drift by transcription is structurally excluded. We describe the specification -- including a compare-and-set rotation contract that closes a reproducible bypass of reuse detection under concurrent refresh -- analyse its security properties including its post-quantum posture, and report on cross-language conformance as a method for multi-implementation security specifications. The specification, implementations, and conformance artefacts are open source under the Apache License 2.0.
- Abstract（参考訳）: リフレッシュトークンは、長寿命、ベアラースタイル、数日または数週間アクセストークンをミントするのに十分な、現代の認証システムにおいて最も機密性の高い認証情報である。
現在のOAuth 2.0セキュリティのベストプラクティスであるRFC 9700は、公開クライアントに発行されたトークンの更新は、リプレイ(再利用)検出や送信者制限によって、すべての使用時にローテーションされる。
ワイヤフォーマット、ストレージスキーマなし、検証ステップの順序なし、並行契約なし、ロスレスポンスのリトライやキーローテーションといったエッジケースのセマンティクスなし。
したがって、実装はセキュリティ結果を決定するコーナーケースに正確に分岐する可能性がある。
我々は、RFC 9700リフレッシュ・ツーケンモデルの正確で言語に依存しない仕様であるNEBULAを、10の適合したリファレンス実装(TypeScript、Python、Go、Rust、Java、PHP、C#、Ruby、Elixir、Dart)とともに提示します。
NEBULAトークンは不透明 -- 128ビットのパブリックセレクタと256ビットのシークレット検証器、CSPRNG出力、クレームなし、シグネチャなし -- である。
その適合性方法論は、振る舞いスイートを散文ではなくデータとして公開する: マシン可読ファイルの38のシナリオは、すべての実装が薄い言語毎に実行され、転写によるドリフトが構造的に排除される。
コンカレントリフレッシュ時の再利用検出の再現可能なバイパスをクローズする比較とセットのローテーション契約を含むこの仕様は、そのクォータム後の姿勢を含むセキュリティ特性を分析し、マルチ実装セキュリティ仕様の方法としてのクロスランゲージ適合性について報告する。
仕様、実装、適合性アーティファクトは、Apache License 2.0の下でオープンソースである。
関連論文リスト
- Vero: Can AI Agents Build Formally Verified Software Repositories? [45.09790101960906]
Veroはリポジトリレベルで共同実装と証明を評価する最初のベンチマークである。
Python、Dafny、Verus、Coqにまたがる実世界のリポジトリから43のマルチモジュールインスタンスが含まれている。
ベンチマークの信頼性を改善するため、Veroには、エージェントが提供された仕様の不満足さを正式に証明できる監査メカニズムも含まれている。
論文 参考訳（メタデータ） (2026-08-13T17:41:27Z) - The Trust-Free Aggregation Layer of the Unicity Infrastructure [1.1766230941766413]
Unicityは、オフチェーンピアツーピアトークントランザクションの実行を可能にする、新たなブロックチェーンインフラストラクチャである。
インフラストラクチャの主要なコンポーネントは、トークンの消費状態に関する情報を格納するアグリゲーション・レイヤである。
我々の実装では、信頼されたセットアップを使わず、単一のコンシューマクラスCPU上で毎秒10,000の挿入とミリ秒の範囲検証のスループットを実現する。
論文 参考訳（メタデータ） (2026-08-05T18:18:16Z) - did:crdt: Coordination-Free Decentralised Identifiers via Signed CRDTs [0.0]
既存の分散識別子(DID)メソッドは、DID文書を更新するために、合意されたグローバルな操作順序である調整を必要とする。
我々は、W3C DID CoreをターゲットにしたDIDメソッドであるcrdtを提示した。
それぞれのDIDドキュメントは、署名付きConflict-Free Replicated Data Types (CRDTs)で構成され、文書フィールド毎に1つずつ選択され、コンカレント編集が決定的にマージされる。
論文 参考訳（メタデータ） (2026-06-15T05:04:47Z) - SimSD: Simple Speculative Decoding in Diffusion Language Models [61.33773959352141]
拡散大言語モデル (dLLMs) は、並列またはブロックワイド復号による高速な推論を提供する。
彼らのマスク付き言語モデリングの定式化は、標準的なトークンレベルの投機的復号法とは相容れないままである。
我々は,dLLMに時間的に有効なトークンレベルのコンテキストを付与する,SimSDと呼ばれるdLLMの投機的復号アルゴリズムを提案する。
提案手法は,平均生成品質を維持しつつ,最大7.46倍高い復号スループットを実現する。
論文 参考訳（メタデータ） (2026-06-01T17:46:46Z) - The Path Matters: Learning a Token-Commitment Policy for Diffusion Language Models [52.93186090124315]
トークンのコミットメントは、再利用可能なトレースステートポリシとして学ぶことができる、と私たちは主張する。
凍結拡散言語モデルのためにこのポリシーをインスタンス化する軽量プラグインコントローラであるTraceLockを紹介する。
論文 参考訳（メタデータ） (2026-05-23T18:23:46Z) - Beyond Code Reasoning: Specification-Anchored Auditing of Multi-Implementation Distributed Protocols [1.5229705287183657]
SPECAは、明示的で分類されたセキュリティプロパティを自然言語仕様から導き出し、実装間で再利用する監査フレームワークである。
RepoAuditのベンチマークでは、SPECAは100%リコール(F1=0.94)で88.9%の精度に達し、著者が検証した12のバグを地上の真実を超えて表面化している。
Sherlock Fusaka Audit Contest(10のターゲット、366の応募)では、SPECAが専門家が強化した15の脆弱性をすべて回復し、4つの修正確認バグが浮上した。
論文 参考訳（メタデータ） (2026-04-29T09:57:07Z) - Repurposing Backdoors for Good: Ephemeral Intrinsic Proofs for Verifiable Aggregation in Cross-silo Federated Learning [30.440611659881494]
暗号証明からtextitIntrinsic Proofs へ移行する軽量アーキテクチャを提案する。
モデルパラメータに直接検証信号を埋め込むために、カタストロフィックフォーッティングを利用する。
我々の手法は、暗号ベースラインと比較して、ResNet-18で1000ドル以上のスピードアップを実現し、大規模モデルに効果的にスケールする。
論文 参考訳（メタデータ） (2026-03-11T12:04:18Z) - Symfrog-512: High-Capacity Sponge-Based AEAD Cipher (1024-bit State) [0.0]
この提案には、決定論的テストベクタと再現可能なベンチマークスイートとともに、完全なリファレンス実装が含まれている。
AEADの構築は、ドメイン分離、レートとキャパシティの選択、タグ生成、参照CLIで使用される正確なファイルフォーマットなど、完全に規定されている。
報告されたパフォーマンス数値は、ドキュメンテーションされたハードウェアとコンパイラ設定の下で、組み込みのベンチマークツールによって生成される。
論文 参考訳（メタデータ） (2026-02-19T23:39:54Z) - Synthesizing Precise Protocol Specs from Natural Language for Effective Test Generation [42.582977261473324]
AutoSPECは平均92.8%のクライアントと80.2%のサーバメッセージタイプを回復し、81.5%のメッセージ受信を現実世界のシステムで行う。
プロトタイプは, 広く用いられている5種類のアプローチの実現可能性を示した。
インターネットベースのプロトコル。
論文 参考訳（メタデータ） (2025-11-22T08:39:52Z) - Can AI Keep a Secret? Contextual Integrity Verification: A Provable Security Architecture for LLMs [0.0]
我々は、暗号的に署名されたラベルを全てのトークンにアタッチする、既定のセキュリティアーキテクチャであるContextual Integrity Verification (CIV)を提示する。
CIVは、凍結したモデルに対して、前兆かつトーケン毎の非干渉保証を提供する。
Llama-3-8BとMistral-7Bのドロップイン保護を実証した。
論文 参考訳（メタデータ） (2025-08-12T18:47:30Z) - Decompiling Smart Contracts with a Large Language Model [51.49197239479266]
Etherscanの78,047,845のスマートコントラクトがデプロイされているにも関わらず(2025年5月26日現在)、わずか767,520 (1%)がオープンソースである。
この不透明さは、オンチェーンスマートコントラクトバイトコードの自動意味解析を必要とする。
バイトコードを可読でセマンティックに忠実なSolidityコードに変換する,先駆的な逆コンパイルパイプラインを導入する。
論文 参考訳（メタデータ） (2025-06-24T13:42:59Z) - Think Before You Accept: Semantic Reflective Verification for Faster Speculative Decoding [48.52389201779425]
投機的復号化は、軽量モデルを使用して複数のドラフトトークンを生成し、それらを並列に検証することで推論を加速する。
既存の検証手法は、意味的正確性を見越しながら、分布の整合性に大きく依存している。
我々は,学習自由でセマンティックなアプローチであるリフレクティブ検証を提案し,正確性と効率のトレードオフを改善する。
論文 参考訳（メタデータ） (2025-05-24T10:26:27Z) - Sound and Complete Verification of Polynomial Networks [55.9260539566555]
PN(Polynomial Networks)は、最近顔と画像の認識において有望な性能を示した。
分岐とバウンド(BaB)技術に基づくReLUニューラルネットワーク(NN)上の既存の検証アルゴリズムは、PN検証に自明に適用できない。
我々は、VPNと呼ばれるグローバルコンバージェンス保証のためのBaBを備えた新しいバウンダリング手法を考案した。
論文 参考訳（メタデータ） (2022-09-15T11:50:43Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。