論文の概要: Association-based Privacy Attacks in Wireless Protocols: Formal Modeling and Mitigation
- arxiv url: http://arxiv.org/abs/2608.11337v1
- Date: Tue, 11 Aug 2026 18:41:56 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-08-13 19:07:54.335308
- Title: Association-based Privacy Attacks in Wireless Protocols: Formal Modeling and Mitigation
- Title(参考訳): 無線プロトコルにおけるアソシエーションに基づくプライバシ攻撃:形式モデリングと緩和
- Abstract要約: 本稿では,無線通信におけるペアリングによるプライバシー侵害の根源を正式に調査する。
本研究は, プロトコルに不可欠な条件対応, リプレイ抵抗, 距離制限対策を活用する。
提案する設計変更は、Wi-Fi AllianceとBluetooth SIGによって承認されている。
- 参考スコア(独自算出の注目度): 8.418303802376544
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: With the surge in privacy-sensitive data from sources such as social media and IoT devices, there is a pressing need for formal, automated methods to assess privacy risks within these intricate systems. This paper formally investigates root sources of pairing-based privacy threats exploited using replay/relay techniques in wireless communication. Our research harnesses condition-oblivious responses, replay-resistance, and distance bounding measures vital for protocols utilizing shared keys in allowlists for authenticated reconnections. Particularly, the paper uses formal modeling of notable wireless networks, like the Wi-Fi P2P persistent group formation and the Bluetooth Low Energy reconnection procedure, to illustrate the root causes and countermeasures. Our model rigorously validates the proposed solution against association inference attacks, along with existing formalizations of well-authentication, frame opacity, and no-desynchronization. The ensuing analysis reveals not only uncharted privacy realms in wireless communication but also identifies old and new vulnerabilities. Our proposed design changes are acknowledged by Wi-Fi Alliance and Bluetooth SIG, paving the way for future advancements in resilient, privacy-preserving wireless protocols.
- Abstract(参考訳): ソーシャルメディアやIoTデバイスといったソースからのプライバシに敏感なデータが急増しているため、これらの複雑なシステム内のプライバシリスクを評価するための、フォーマルで自動化された方法の必要性が高まっている。
本稿では,無線通信におけるリプレイ/リレー技術を利用したペアリングによるプライバシー侵害の根源を公式に調査する。
我々の研究は、認証された再接続のための許諾リストにおける共有鍵を利用するプロトコルに不可欠な条件付き応答、リプレイ抵抗、距離境界対策を活用する。
特に,Wi-Fi P2Pの持続的グループ形成やBluetooth Low Energy再接続手順などの著名な無線ネットワークの形式的モデリングを用いて,根本原因と対策について説明する。
本モデルでは, 提案手法の妥当性, フレーム不透明度, デシクロナイゼーションの既定式化とともに, 相関推論攻撃に対する厳密な検証を行う。
その後の分析では、無線通信における未チャートなプライバシー領域だけでなく、古い脆弱性や新しい脆弱性も明らかになった。
提案した設計変更は、Wi-Fi AllianceとBluetooth SIGによって承認され、レジリエンスでプライバシー保護のワイヤレスプロトコルの今後の進歩への道を開く。
関連論文リスト
- Model Forensics in AI-Native Wireless Networks: Taxonomy, Applications, and Case Study [60.8789758039936]
我々は、AIネイティブ無線ネットワークにおけるモデル法医学に焦点をあてる。
主な問題として、モデルの信頼性検証、悪意のある機能識別、説明責任追跡がある。
その結果, モデル法医学は, 異常評価, 証明追跡, 信頼性の高い操作に重要な支援を提供する可能性が示唆された。
論文 参考訳(メタデータ) (2026-05-14T05:11:09Z) - Multi-Agent-Driven Cognitive Secure Communications in Satellite-Terrestrial Networks [58.70163955407538]
悪意のある盗聴者は衛星地上ネットワーク(STN)を介して個人情報に深刻な脅威をもたらす
リアルタイムセンシングによりスペクトルスケジューリングと保護を協調する複数のエージェントによって駆動される認知セキュア通信フレームワークを提案する。
我々は、生成した対向ネットワークを利用して対向行列を生成し、学習支援電力制御を用いて、実及び対向信号のパワーを保護層に設定する。
論文 参考訳(メタデータ) (2026-01-06T10:30:41Z) - Securing Cross-Domain Internet of Drones: An RFF-PUF Allied Authenticated Key Exchange Protocol With Over-the-Air Enrollment [22.842391212425184]
Internet of Drones(IoD)は、シームレスでセキュアな通信を必要とする高度なアプリケーションを可能にする、新興かつ重要なパラダイムである。
アクセス制御と機密データの送信は、IoDシステムに重大なセキュリティ上の課題をもたらす。
本稿では,無線周波数フィンガープリント(RFF)と物理不規則関数(PUF)技術を統合し,D2DとD2G通信を実現する軽量な相互認証機構を提案する。
論文 参考訳(メタデータ) (2025-12-26T02:04:24Z) - Adversary-Aware Private Inference over Wireless Channels [51.93574339176914]
ワイヤレスエッジデバイスにおけるAIベースのセンシングは、人工知能(AI)アプリケーションを大幅に強化する可能性がある。
機密性の高い個人情報は敵によって再構築できるため、プライバシー侵害のリスクを軽減するために特徴の変換が必要である。
本稿では,デバイスがモデルサーバに送信する前に抽出した特徴の変換を適用する,プライバシ保護型AIベースセンシングのための新しいフレームワークを提案する。
論文 参考訳(メタデータ) (2025-10-23T13:02:14Z) - A Provably Secure Network Protocol for Private Communication with Analysis and Tracing Resistance [24.74468505942983]
本稿では,トレースやトラフィック解析に抵抗する分散型匿名ルーティングプロトコルを提案する。
非常に敵対的な環境でも、ユーザーにとって識別不能なプライバシーを厳格に証明している。
提案プロトコルは,デジタル環境におけるプライバシ保護通信のためのセキュアなソリューションを提供する。
論文 参考訳(メタデータ) (2025-08-03T10:50:04Z) - Privacy-Preserving Secure Neighbor Discovery for Wireless Networks [0.0]
従来のND(Neighbor Discovery)とSND(Secure Neighbor Discovery)は、ネットワーク機能の主要な要素である。
本稿では、デバイスが実際の身元や位置を明らかにすることなくSNDを実行することのできる、新しいプライバシー保護型セキュリティ近傍発見(PP-SND)プロトコルを提案する。
論文 参考訳(メタデータ) (2025-03-28T08:27:47Z) - ACRIC: Securing Legacy Communication Networks via Authenticated Cyclic Redundancy Integrity Check [98.34702864029796]
安全クリティカルな業界における最近のセキュリティインシデントは、適切なメッセージ認証の欠如により、攻撃者が悪意のあるコマンドを注入したり、システムの振る舞いを変更することができることを明らかにした。
これらの欠点は、サイバーセキュリティを強化するために圧力をかける必要性を強調する新しい規制を引き起こしている。
我々は,レガシ産業通信をセキュアにするためのメッセージ認証ソリューションであるACRICを紹介する。
論文 参考訳(メタデータ) (2024-11-21T18:26:05Z) - Securing Hybrid Wireless Body Area Networks (HyWBAN): Advancements in Semantic Communications and Jamming Techniques [2.1676500745770544]
本稿では,Hybrid Wireless Body Area Networks(HyWBANs)のセキュリティを強化するための新しい戦略について検討する。
高度なサイバー攻撃に対するHyWBANの脆弱性を認識し,セマンティックコミュニケーションとジャミングレシーバーの革新的な組み合わせを提案する。
われわれのアプローチは, 主要なセキュリティ問題に対処し, 将来安全なバイオメディカル通信システムの基盤となるものとなる。
論文 参考訳(メタデータ) (2024-04-24T18:21:08Z) - A Survey and Comparative Analysis of Security Properties of CAN Authentication Protocols [92.81385447582882]
コントロールエリアネットワーク(CAN)バスは車内通信を本質的に安全でないものにしている。
本稿では,CANバスにおける15の認証プロトコルをレビューし,比較する。
実装の容易性に寄与する本質的な運用基準に基づくプロトコルの評価を行う。
論文 参考訳(メタデータ) (2024-01-19T14:52:04Z) - Physical-Layer Semantic-Aware Network for Zero-Shot Wireless Sensing [74.12670841657038]
デバイスレスワイヤレスセンシングは、幅広い没入型人間機械対話型アプリケーションをサポートする可能性から、近年、大きな関心を集めている。
無線信号におけるデータの均一性と分散センシングにおけるデータプライバシ規制は、広域ネットワークシステムにおける無線センシングの広範な適用を妨げる主要な課題であると考えられている。
そこで本研究では,ラベル付きデータを使わずに,一箇所ないし限られた箇所で構築されたモデルを直接他の場所に転送できるゼロショット無線センシングソリューションを提案する。
論文 参考訳(メタデータ) (2023-12-08T13:50:30Z) - Secure and Privacy-Preserving Federated Learning via Co-Utility [7.428782604099875]
私たちは、参加する仲間にプライバシを提供し、ビザンチンや毒殺攻撃に対するセキュリティを提供する、連合学習フレームワークを構築しています。
更新アグリゲーションによるプライバシ保護とは異なり、我々のアプローチはモデル更新の価値を保ち、従って通常のフェデレーション学習の精度を保っている。
論文 参考訳(メタデータ) (2021-08-04T08:58:24Z) - Mind the GAP: Security & Privacy Risks of Contact Tracing Apps [75.7995398006171]
GoogleとAppleは共同で,Bluetooth Low Energyを使用した分散型コントラクトトレースアプリを実装するための公開通知APIを提供している。
実世界のシナリオでは、GAP設計は(i)プロファイリングに脆弱で、(ii)偽の連絡先を生成できるリレーベースのワームホール攻撃に弱いことを実証する。
論文 参考訳(メタデータ) (2020-06-10T16:05:05Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。