論文の概要: A new measure for dynamic leakage based on quantitative information flow

• arxiv url: http://arxiv.org/abs/2510.20922v1
• Date: Thu, 23 Oct 2025 18:22:39 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-10-28 06:57:23.343534
• Title: A new measure for dynamic leakage based on quantitative information flow
• Title（参考訳）: 量的情報フローに基づく動的漏洩の新しい尺度
• Authors: Luigi D. C. Soares, Mário S. Alvim, Natasha Fernandes,
• Abstract要約: 定量的情報フロー(QIF)は、計算システムにおける情報の漏洩を評価することを目的としている。 静的パースペクティブは、情報フローの計算におけるシステムのすべての実行を考慮し、通常、システムを実行するかどうかを事前に決めるときに使用される。 ダイナミック・パースペクティブは、例えばシステムモニタやトラッカー、特に特定の実行を継続するか中止するかを決めるときに関係している。
• 参考スコア（独自算出の注目度）: 2.3332469289621787
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Quantitative information flow (QIF) is concerned with assessing the leakage of information in computational systems. In QIF there are two main perspectives for the quantification of leakage. On one hand, the static perspective considers all possible runs of the system in the computation of information flow, and is usually employed when preemptively deciding whether or not to run the system. On the other hand, the dynamic perspective considers only a specific, concrete run of the system that has been realised, while ignoring all other runs. The dynamic perspective is relevant for, e.g., system monitors and trackers, especially when deciding whether to continue or to abort a particular run based on how much leakage has occurred up to a certain point. Although the static perspective of leakage is well-developed in the literature, the dynamic perspective still lacks the same level of theoretical maturity. In this paper we take steps towards bridging this gap with the following key contributions: (i) we provide a novel definition of dynamic leakage that decouples the adversary's belief about the secret value from a baseline distribution on secrets against which the success of the attack is measured; (ii) we demonstrate that our formalisation satisfies relevant information-theoretic axioms, including non-interference and relaxed versions of monotonicity and the data-processing inequality (DPI); (iii) we identify under what kind of analysis strong versions of the axioms of monotonicity and the DPI might not hold, and explain the implications of this (perhaps counter-intuitive) outcome; (iv) we show that our definition of dynamic leakage is compatible with the well-established static perspective; and (v) we exemplify the use of our definition on the formalisation of attacks against privacy-preserving data releases.
• Abstract（参考訳）: 定量的情報フロー(QIF)は、計算システムにおける情報の漏洩を評価することを目的としている。 QIFでは、漏洩の定量化には2つの主要な視点がある。 一方、静的な視点では、情報フローの計算においてシステムの全実行を考慮し、通常、システムを実行するかどうかを事前に決めるときに使用される。 一方、動的視点は、他の全ての実行を無視しながら実現されたシステムの特定の具体的な実行のみを考慮する。 ダイナミックなパースペクティブは、例えば、システムモニタとトラッカー、特に、ある時点までどれだけのリークが発生したかに基づいて、特定の実行を継続するか、中止するかを決定する場合に関係します。 リークの静的な視点は文献でよく発達しているが、動的視点は理論的な成熟度が同じレベルに欠けている。 本稿では,このギャップを,以下の主要なコントリビューションで埋めるための一歩を踏み出します。 一 攻撃の成功を測る秘密のベースライン分布から、敵の秘密価値に対する信念を解き明かす、動的漏洩の新たな定義を提供する。 (II)我々の定式化は、非干渉および緩和されたモノトニック性およびデータ処理の不等式(DPI)を含む関連する情報理論の公理を満たすことを実証する。 三 単調性及びDPIの公理が持たないような分析の強大なバージョンの種類を特定し、この結果(おそらく逆直観的)がもたらす影響を説明すること。 (iv) 動的リークの定義が確立された静的視点と互換性があることを示し、 (v)プライバシ保護データリリースに対する攻撃の形式化における定義の使用を例示する。

関連論文リスト

• DeLeaker: Dynamic Inference-Time Reweighting For Semantic Leakage Mitigation in Text-to-Image Models [55.30555646945055]
  テキスト・ツー・イメージ(T2I)モデルはセマンティック・リークに対して脆弱である。 DeLeakerは、モデルのアテンションマップに直接介入することで、漏洩を緩和する軽量なアプローチである。 SLIMはセマンティックリークに特化した最初のデータセットである。
  論文  参考訳（メタデータ） (2025-10-16T17:39:21Z)
• Discovering Governing Equations in the Presence of Uncertainty [11.752763800308276]
  本研究では, 力学系を基礎とする支配方程式を一貫して発見する鍵として, 測定ノイズとともに, システムの変動性を考慮した説明が重要であることを理論的に論じる。 SIPは、スパース同定ダイナミクス(SINDy)とその変種に対する平均82%の正方程式を一貫して同定することを示した。
  論文  参考訳（メタデータ） (2025-07-13T18:31:25Z)
• Dynamical non-Hermitian systems: Fingerprints and pure dephasing induced protection effect [9.575625728508733]
  非エルミート量子ビット系における情報フローと絡み合いを定量化するトレース距離と収束のダイナミクスについて検討する。 純粋なデファスティングは、反パリティ時間対称性のない非エルミート系において、情報フローと絡み合いの固有緩和を遅くすることができる。
  論文  参考訳（メタデータ） (2025-06-14T01:23:42Z)
• Measuring Leakage in Concept-Based Methods: An Information Theoretic Approach [8.391254800873599]
  概念ボトルネックモデル(Concept Bottleneck Models, CBM)は、人間の理解可能な概念に関する予測を構造化することによって、解釈可能性を高めることを目的としている。 しかし、予測信号が概念のボトルネックをバイパスする意図しない情報漏洩は、その透明性を損なう。 本稿では,CBMの漏洩を定量化するための情報理論手法を提案する。
  論文  参考訳（メタデータ） (2025-04-13T07:09:55Z)
• Uncertainty-boosted Robust Video Activity Anticipation [72.14155465769201]
  ビデオアクティビティの予測は、ロボットビジョンから自動運転まで幅広い応用可能性を受け入れることで、将来何が起こるかを予測することを目的としている。 近年の進展にもかかわらず、コンテンツ進化過程やイベントラベルの動的相関として反映されたデータ不確実性問題は、何らかの形で無視されている。 本研究では,予測結果の信頼性を示す不確実な値を生成する,不確実性を考慮した頑健なビデオアクティビティ予測フレームワークを提案する。
  論文  参考訳（メタデータ） (2024-04-29T12:31:38Z)
• Understanding, Predicting and Better Resolving Q-Value Divergence in Offline-RL [86.0987896274354]
  まず、オフラインRLにおけるQ値推定のばらつきの主な原因として、基本パターン、自己励起を同定する。 そこで本研究では,Q-network の学習における進化特性を測定するために,SEEM(Self-Excite Eigen Value Measure)尺度を提案する。 われわれの理論では、訓練が早期に発散するかどうかを確実に決定できる。
  論文  参考訳（メタデータ） (2023-10-06T17:57:44Z)
• Uncertainty in Data-Driven Kalman Filtering for Partially Known State-Space Models [84.18625250574853]
  本稿では,ハイブリッドモデルに基づくディープステートトラッキングアルゴリズムであるKalmanNetを用いて,不確実性の評価を行う。 誤差共分散行列は内部特性に基づいて不確実性の測定値として計算可能であることを示す。 システムダイナミクスが分かっている場合、KalmanNetは統計情報にアクセスせずにデータからマッピングを学習し、Kalmanフィルタに類似した不確実性を示す。
  論文  参考訳（メタデータ） (2021-10-10T08:52:18Z)
• An Uncertainty-based Human-in-the-loop System for Industrial Tool Wear Analysis [68.8204255655161]
  人間のループシステムにおけるモンテカルロのドロップアウトに基づく不確実性対策により,システムの透明性と性能が向上することを示す。 シミュレーション研究により、不確実性に基づく「ループ内人間システム」は、様々なレベルの人間の関与に対する性能を高めることが示されている。
  論文  参考訳（メタデータ） (2020-07-14T15:47:37Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。