論文の概要: TESLA-for-5G: Broadcast Authentication for 5G Networks Using TESLA
- arxiv url: http://arxiv.org/abs/2606.26528v1
- Date: Thu, 25 Jun 2026 02:07:02 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-06-26 18:46:32.143572
- Title: TESLA-for-5G: Broadcast Authentication for 5G Networks Using TESLA
- Title（参考訳）: TESLA-for-5G:TESLAを用いた5Gネットワークの放送認証
- Abstract要約: 5G基地局は、セル選択中にすべてのユーザ機器(UE)が読み取る認証システム情報(SI)を放送する。
従来のアプローチでは、UEはデジタルシグネチャを使用してシステム情報ブロック1(SIB1)を認証する必要がある。
TESLA と GG09 Schnorr-like Identity-based signatures (IBS) を組み合わせた 5G SIB1 のブロードキャスト認証プロトコル TESLA-for-5G (TF5) を提案する。
- 参考スコア（独自算出の注目度）: 13.531588596047229
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: 5G base stations broadcast unauthenticated system information (SI) that every user equipment (UE) reads during cell selection. This enables attackers to broadcast forged SI from a fake base station (FBS), deceiving UEs into camping on it. Prior approaches require UEs to authenticate System Information Block 1 (SIB1) using digital signatures. This necessitates computation-heavy verification for every SIB1 reception, imposing a significant burden on resource-constrained UEs. We propose TESLA-for-5G (TF5), a broadcast authentication protocol for 5G SIB1 that combines TESLA with GG09 Schnorr-like identity-based signatures (IBS). In the steady state, TF5 enables UEs to authenticate each SIB1 message using a symmetric MAC and delayed key disclosure, eliminating the need for per-message digital signatures. Initial trust is bootstrapped during cell entry using a lightweight GG09 IBS over the TESLA parameters, avoiding certificate distribution overhead. We formally verify TF5 in Tamarin under a Dolev-Yao adversary and demonstrate its favorable computation, communication, and storage costs through both an implementation on the OpenAirInterface 5G stack and trace-driven analysis.
- Abstract（参考訳）: 5G基地局は、セル選択中にすべてのユーザ機器(UE)が読み取る認証システム情報(SI)を放送する。
これにより、攻撃者は偽基地局(FBS)から偽SIをブロードキャストし、UEをキャンプに誘惑することができる。
従来のアプローチでは、UEはデジタルシグネチャを使用してシステム情報ブロック1(SIB1)を認証する必要がある。
これにより、SIB1受信毎に計算重大な検証が必要となり、リソース制約のUEにかなりの負担がかかる。
TESLA と GG09 Schnorr-like Identity-based signatures (IBS) を組み合わせた 5G SIB1 のブロードキャスト認証プロトコルである TESLA-for-5G (TF5) を提案する。
定常状態では、TF5 は UE が対称MAC と遅延鍵開示を用いて各 SIB1 メッセージの認証を可能にし、メッセージ毎のデジタル署名を不要にする。
初期信頼はTESLAパラメータ上で軽量のGG09 IBSを使用してセルエントリ中にブートストラップされ、証明書の配布オーバーヘッドを回避する。
そこで我々は,玉林におけるTF5をDolev-Yaoの敵の下で正式に検証し,OpenAirInterface 5Gスタックの実装とトレース駆動解析の両方を通じて,その計算,通信,ストレージコストを実証する。
関連論文リスト
- Relaxed Sender Anonymity for CBDC Interbank Settlement: A Zero-Knowledge Approach on Permissioned EVM [0.0]
我々は、許可付き互換ネットワークのための秘密の銀行間決済プロトコルを提案する。
このモデルでは、起動機関は、説明責任とコンプライアンスのためのオンチェーンを公的に特定できるままである。
このプロトコルはシールド、秘密転送、および非シールド状態遷移をサポートする。
論文 参考訳（メタデータ） (2026-08-28T17:08:02Z) - Battlefield 5G: Dual-PKI and TPM-Based UE Attestation for Tactical 5G Standalone Networks [2.0344286047762363]
5G-AKAは、USIMに格納されている加入者認証を認証するが、その認証を保持する物理装置の認証やブート状態の検証は行わない。
5Gスタンドアロンネットワークのための事前認証フレームワークであるBattlefield 5Gを紹介します。
ソフトウェア無線システムの無線アクセスネットワークを拡張することで,これらの機能を実現する。
論文 参考訳（メタデータ） (2026-08-11T17:22:47Z) - A Lightweight Post-Quantum Authentication Framework for 5G Base Station Bootstrapping [10.889502556532639]
EMULSION(エミュレーション)は、5Gブロードキャスト認証のための対称チェインで公に検証可能な認証フレームワークである。
ML-DSAよりも33倍、通信オーバーヘッドが31倍、12倍、FN-DSAより5.4倍少ない。
我々は、EMULSIONのセキュリティを正式に証明し、公開テストと適応のための実装をオープンソース化する。
論文 参考訳（メタデータ） (2026-06-29T16:42:16Z) - FIDEM: A Standard-Compliant Framework for Secure Binding of MUD Profiles to IoT Devices [90.91375734523943]
FIDEMは、DHCPベースのMUDURL発行を保証するための標準準拠のフレームワークである。
これはZero-Knowledge-Proof認証を利用することで、IoTデバイスとそのMUDプロファイル間の暗号化バインディングを提供する。
論文 参考訳（メタデータ） (2026-05-28T09:16:50Z) - Semantics Over Syntax: Uncovering Pre-Authentication 5G Baseband Vulnerabilities [18.510444087809315]
提案するConstraint-Guided Semantic Testing (ConSeT)は,5G UEをテストするための意味違反を生成するフレームワークである。
ConSeTはRCメッセージを構造化されたフィールドにデコードし、スキーマベースのルールを導出し、フィールド間の依存関係を推論し、意味的制約を意図的に違反する構文的に有効なテストケースを生成する。
商用およびオープンソース両方の5G UE上でConSeTを評価する。
論文 参考訳（メタデータ） (2026-04-05T21:48:11Z) - Privacy-Preserving Identifier Checking in 5G [0.1310865248866973]
国際モバイル機器識別(IMEI)のようなデバイス識別子は、4Gネットワークと5Gネットワークにおけるデバイスの整合性と整合性の確保に不可欠である。
これらの識別子をMobile Network Operators (MNO)で共有することは、重大なプライバシーリスクをもたらす。
本稿では,5Gにおけるプライバシ保護識別子チェック手法を提案する。
論文 参考訳（メタデータ） (2025-12-09T07:17:39Z) - SALT-V: Lightweight Authentication for 5G V2X Broadcasting [4.791189058605987]
車両間通信(V2X)は重要な認証ジレンマに直面している。
5G New Radio (NR)-V2X の即時認証と計算効率の両面での厳密な要件を満たしていない。
本稿では,新たなハイブリッド認証フレームワークであるSALT-Vを提案する。
論文 参考訳（メタデータ） (2025-11-14T07:32:21Z) - Authentication Against Insecure Bootstrapping for 5G Networks: Feasibility, Resiliency, and Transitional Solutions in Post-Quantum Era [10.889502556532639]
5Gプロトコルは、初期ブートストラップフェーズにおいて、堅牢な基地局認証機構を欠いている。
公開鍵基盤(PKI)に基づくデジタルシグネチャやアイデンティティベースのシグネチャを含む従来のソリューションは、量子能力のある敵に対して不十分である。
本稿では,Fail-Stopプロパティを持つ階層型IDベースのThreshold Signatureスキームに基づく過渡認証ソリューションであるBORGを提案する。
論文 参考訳（メタデータ） (2025-10-27T15:56:59Z) - Cross-Service Token: Finding Attacks in 5G Core Networks [58.86003502940164]
5GコアSBIのセキュリティ欠陥を明らかにするために設計された文法ベースのファジリングフレームワークであるFivGeeFuzzを紹介する。
FivGeeFuzzを使って、Free5GCでこれまで知られていなかった8つの脆弱性を発見しました。
論文 参考訳（メタデータ） (2025-09-10T20:40:33Z) - CANTXSec: A Deterministic Intrusion Detection and Prevention System for CAN Bus Monitoring ECU Activations [53.036288487863786]
物理ECUアクティベーションに基づく最初の決定論的侵入検知・防止システムであるCANTXSecを提案する。
CANバスの古典的な攻撃を検知・防止し、文献では調査されていない高度な攻撃を検知する。
物理テストベッド上での解法の有効性を実証し,攻撃の両クラスにおいて100%検出精度を達成し,100%のFIAを防止した。
論文 参考訳（メタデータ） (2025-05-14T13:37:07Z) - Securing 5G Bootstrapping: A Two-Layer IBS Authentication Protocol [4.087348638056961]
携帯電話端末と基地局の間のブートストラップフェーズにおける認証の欠如により、攻撃者はデバイスに悪意のあるメッセージを送ることができる。
E2IBSは,既存のセルプロトコルとのシームレスな統合のための,新規で効率的な2層IDベースのシグネチャスキームである。
最先端のSchnorr-HIBSと比較して、E2IBSは攻撃面を減らし、きめ細かい合法的なインターセプションを可能にし、2倍の検証速度を達成する。
論文 参考訳（メタデータ） (2025-02-07T13:32:48Z) - Towards Credential-based Device Registration in DApps for DePINs with ZKPs [46.08150780379237]
ブロックチェーン上のデバイス認証を検証するクレデンシャルベースのデバイス登録(CDR)機構を提案する。
本稿では,Groth16 と Marlin を用いた zkSNARK を用いた汎用システムモデルを提案し,CDR を技術的に評価する。
論文 参考訳（メタデータ） (2024-06-27T09:50:10Z) - Bileve: Securing Text Provenance in Large Language Models Against Spoofing with Bi-level Signature [39.973130114073605]
整合性チェックのための微細なシグネチャビットを埋め込んだバイレベルシグネチャスキームであるBileveを導入する。
Bileveは、検出中に5つのシナリオを区別し、テキストを確実にトレースし、LLMを制御する。
論文 参考訳（メタデータ） (2024-06-04T03:58:14Z) - Tamper-Evident Pairing [55.2480439325792]
Tamper-Evident Pairing (TEP)はPush-ButtonConfiguration (PBC)標準の改良である。
TEP は Tamper-Evident Announcement (TEA) に依存しており、相手が送信されたメッセージを検出せずに改ざんしたり、メッセージが送信された事実を隠蔽したりすることを保証している。
本稿では,その動作を理解するために必要なすべての情報を含む,TEPプロトコルの概要について概説する。
論文 参考訳（メタデータ） (2023-11-24T18:54:00Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。