論文の概要: Privacy-Preserving Runtime Verification
- arxiv url: http://arxiv.org/abs/2505.09276v1
- Date: Wed, 14 May 2025 10:49:07 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-05-15 21:44:09.42696
- Title: Privacy-Preserving Runtime Verification
- Title（参考訳）: プライバシ保護ランタイム検証
- Authors: Thomas A. Henzinger, Mahyar Karimi, K. S. Thejaswini,
- Abstract要約: 本稿では,形式的な逐次仕様に対するシステムのプライバシ保護ランタイム検証のための2つの新しいプロトコルを提案する。
我々のプロトコルは、初期化フェーズの後、観測ステップ毎に1つのメッセージを交換します。
本稿では,レジスタオートマトンによって記述された仕様の監視にアプローチを実装し,実験的に評価する。
- 参考スコア（独自算出の注目度）: 6.409194734638881
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Runtime verification offers scalable solutions to improve the safety and reliability of systems. However, systems that require verification or monitoring by a third party to ensure compliance with a specification might contain sensitive information, causing privacy concerns when usual runtime verification approaches are used. Privacy is compromised if protected information about the system, or sensitive data that is processed by the system, is revealed. In addition, revealing the specification being monitored may undermine the essence of third-party verification. In this work, we propose two novel protocols for the privacy-preserving runtime verification of systems against formal sequential specifications. In our first protocol, the monitor verifies whether the system satisfies the specification without learning anything else, though both parties are aware of the specification. Our second protocol ensures that the system remains oblivious to the monitored specification, while the monitor learns only whether the system satisfies the specification and nothing more. Our protocols adapt and improve existing techniques used in cryptography, and more specifically, multi-party computation. The sequential specification defines the observation step of the monitor, whose granularity depends on the situation (e.g., banks may be monitored on a daily basis). Our protocols exchange a single message per observation step, after an initialisation phase. This design minimises communication overhead, enabling relatively lightweight privacy-preserving monitoring. We implement our approach for monitoring specifications described by register automata and evaluate it experimentally.
- Abstract（参考訳）: 実行時検証は、システムの安全性と信頼性を改善するスケーラブルなソリューションを提供する。
しかしながら、仕様への準拠を保証するために第三者による検証や監視を必要とするシステムは、機密情報を含む可能性があるため、通常の実行時検証アプローチを使用する場合、プライバシ上の懸念を引き起こす。
プライバシは、システムに関する保護された情報、あるいはシステムによって処理されるセンシティブなデータが開示されると、侵害される。
さらに、監視されている仕様を明らかにすることは、サードパーティの検証の本質を損なう可能性がある。
本研究では,形式的な逐次仕様に対するシステムのプライバシ保護ランタイム検証のための2つの新しいプロトコルを提案する。
最初のプロトコルでは、双方が仕様を認識しているにも関わらず、システムが他のことを学ばずに仕様を満たすかどうかをモニターが検証します。
第2のプロトコルは、システムが監視対象の仕様に従わないことを保証しますが、一方、モニタは、システムが仕様を満たすかどうかのみを学習します。
本プロトコルは,暗号における既存の手法,特にマルチパーティ計算に適応し,改良する。
逐次仕様では、その粒度が状況に依存するモニターの観察ステップを定義している(例えば、銀行は日々監視される)。
我々のプロトコルは、初期化フェーズの後、観測ステップ毎に1つのメッセージを交換します。
この設計は通信オーバーヘッドを最小限に抑え、比較的軽量なプライバシー保護監視を可能にする。
本稿では,レジスタオートマトンによって記述された仕様の監視にアプローチを実装し,実験的に評価する。
関連論文リスト
- 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) - Collaborative Inference over Wireless Channels with Feature Differential Privacy [57.68286389879283]
複数の無線エッジデバイス間の協調推論は、人工知能(AI)アプリケーションを大幅に強化する可能性がある。
抽出された特徴を抽出することは、プロセス中に機密性の高い個人情報が暴露されるため、重大なプライバシーリスクをもたらす。
本稿では,ネットワーク内の各エッジデバイスが抽出された機能のプライバシを保護し,それらを中央サーバに送信して推論を行う,新たなプライバシ保存協調推論機構を提案する。
論文 参考訳（メタデータ） (2024-10-25T18:11:02Z) - Distributed Monitoring of Timed Properties [0.22499166814992436]
ランタイム監視は、あるプロパティを満たすかどうかをできるだけ早く決定するために、システムの実行を観察することで構成される。
我々は、到達性タイムドオートマトンとして与えられるプロパティについて、分散環境でのモニタリングを検討する。
本稿では,時間特性のオンラインモニタリングアルゴリズムを提案する。
論文 参考訳（メタデータ） (2024-10-01T07:46:59Z) - Runtime Verification via Rational Monitor with Imperfect Information [2.7323347531070974]
従来の検証では完全な情報を前提としており、監視コンポーネントがすべてを正確に認識している。
この仮定は、特に実環境で動作する自律システムでは、しばしば失敗する。
我々は、リニア時間論理特性の標準RVを拡張し、モニターが不完全な情報を持ち、合理的に振る舞うシナリオに対応する。
論文 参考訳（メタデータ） (2024-08-21T13:56:06Z) - Seagull: Privacy preserving network verification system [0.0]
本稿では,BGPプロトコルが管理するインターネットバックボーンの構成の正当性を検証するための新しい手法を提案する。
提案したソリューションはスケーラビリティの懸念に効果的に対処するだけでなく、堅牢なプライバシフレームワークも確立しています。
論文 参考訳（メタデータ） (2024-02-14T05:56:51Z) - A Randomized Approach for Tight Privacy Accounting [63.67296945525791]
推定検証リリース(EVR)と呼ばれる新しい差分プライバシーパラダイムを提案する。
EVRパラダイムは、まずメカニズムのプライバシパラメータを推定し、その保証を満たすかどうかを確認し、最後にクエリ出力を解放する。
我々の実証的な評価は、新たに提案されたEVRパラダイムが、プライバシ保護機械学習のユーティリティプライバシトレードオフを改善することを示している。
論文 参考訳（メタデータ） (2023-04-17T00:38:01Z) - Tight Auditing of Differentially Private Machine Learning [77.38590306275877]
プライベート機械学習では、既存の監査メカニズムは厳格である。
彼らは不確実な最悪の仮定の下でのみ厳密な見積もりを行う。
我々は、自然(逆向きではない)データセットの厳密なプライバシー推定を得られる改善された監査スキームを設計する。
論文 参考訳（メタデータ） (2023-02-15T21:40:33Z) - Recursively Feasible Probabilistic Safe Online Learning with Control Barrier Functions [60.26921219698514]
CBFをベースとした安全クリティカルコントローラのモデル不確実性を考慮した再構成を提案する。
次に、結果の安全制御器のポイントワイズ実現可能性条件を示す。
これらの条件を利用して、イベントトリガーによるオンラインデータ収集戦略を考案する。
論文 参考訳（メタデータ） (2022-08-23T05:02:09Z) - SPAct: Self-supervised Privacy Preservation for Action Recognition [73.79886509500409]
アクション認識におけるプライバシー漏洩を緩和するための既存のアプローチは、ビデオデータセットのアクションラベルとともに、プライバシラベルを必要とする。
自己教師付き学習(SSL)の最近の進歩は、未ラベルデータの未発見の可能性を解き放ちつつある。
本稿では、プライバシーラベルを必要とせず、自己管理的な方法で、入力ビデオからプライバシー情報を除去する新しいトレーニングフレームワークを提案する。
論文 参考訳（メタデータ） (2022-03-29T02:56:40Z) - Confidence Composition for Monitors of Verification Assumptions [3.500426151907193]
本稿では,検証仮説の信頼性をモニタリングする3段階の枠組みを提案する。
2つのケーススタディにおいて、構成されたモニターが構成成分よりも改善し、安全違反を予測できることを実証した。
論文 参考訳（メタデータ） (2021-11-03T18:14:35Z) - Towards Partial Monitoring: It is Always too Soon to Give Up [0.0]
本稿では,監視可能性の概念を実践的観点から再考する。
監視不能なプロパティが部分的なモニタを生成するためにどのように使用できるかを示し、そのプロパティを部分的にチェックする。
論文 参考訳（メタデータ） (2021-10-25T01:55:05Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。