論文の概要: Expiring opacity problems in parametric timed automata

• arxiv url: http://arxiv.org/abs/2403.07647v1
• Date: Tue, 12 Mar 2024 13:30:53 GMT
• ステータス: 処理完了
• システム内更新日: 2024-03-17 13:37:51.364833
• Title: Expiring opacity problems in parametric timed automata
• Title（参考訳）: パラメトリック時空オートマトンにおける不透明度問題
• Authors: Étienne André, Engel Lefaucheux, Dylan Marinho,
• Abstract要約: タイムドオートマトンにおける期限付き不透明度問題について検討した。 我々は,システムが不透明な時間境界の集合を考察し,時間付きオートマトンに対して有効に計算できることを示す。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Information leakage can have dramatic consequences on the security of real-time systems. Timing leaks occur when an attacker is able to infer private behavior depending on timing information. In this work, we propose a definition of expiring timed opacity w.r.t. execution time, where a system is opaque whenever the attacker is unable to deduce the reachability of some private state solely based on the execution time; in addition, the secrecy is violated only when the private state was entered "recently", i.e., within a given time bound (or expiration date) prior to system completion. This has an interesting parallel with concrete applications, notably cache deducibility: it may be useless for the attacker to know the cache content too late after its observance. We study here expiring timed opacity problems in timed automata. We consider the set of time bounds (or expiration dates) for which a system is opaque and show when they can be effectively computed for timed automata. We then study the decidability of several parameterized problems, when not only the bounds, but also some internal timing constants become timing parameters of unknown constant values.
• Abstract（参考訳）: 情報漏洩はリアルタイムシステムのセキュリティに劇的な影響を及ぼす可能性がある。 タイミングリークは、攻撃者がタイミング情報に応じてプライベートな振る舞いを推測できる場合に発生する。 本稿では,実行時間のみに基づいて,攻撃者が特定のプライベート状態の到達性を推論できない場合に,システムが不透明である場合に,その実行時間(w.r.t.実行時間)の有効期限の定義を提案する。 これは具体的なアプリケーション、特にキャッシュの再現性に共通しており、攻撃者が監視後遅すぎるとキャッシュの内容を知るのに役に立たない可能性がある。 タイムドオートマトンにおける期限付き不透明度問題について検討する。 システムは不透明であり、タイムドオートマトンに対して有効に計算できることを示すための時間境界(または有効期限)のセットを考える。 次に、境界だけでなく、内部の時間定数が未知の定数値のタイミングパラメータとなる場合に、パラメータ化問題の決定可能性について検討する。

関連論文リスト

• Execution-time opacity control for timed automata [0.0]
  タイムドオートマトンにおけるタイミングリークは、攻撃者がタイムドビヘイビアを観察して秘密を推論できるときに起こりうる。 実行時の不透明さにおいて、攻撃者は実行時間だけを観察して、プライベートな場所が訪れたかどうかを推定することを目的としている。 TAが実行時に制御可能かどうかを判断して不透明性を確保することができることを示す。
  論文  参考訳（メタデータ） (2024-09-16T14:46:52Z)
• A Framework for Differential Privacy Against Timing Attacks [0.0]
  我々は、タイミング側チャネルの存在下での差分プライバシーを確保するための一般的な枠組みを確立する。 タイミングプライバシという新たな概念を定義し、敵に異なるプライベートなプログラムをキャプチャする。 私たちは、OpenDP Programming Frameworkの自然な拡張を通じて、私たちのフレームワークをコードでどのように実現できるかを示します。
  論文  参考訳（メタデータ） (2024-09-09T13:56:04Z)
• The Bright Side of Timed Opacity [0.0]
  1回のTAと1時間のTAは$epsilon$-transitionsのみである。 次に,攻撃者による観察回数が制限された新たな決定可能なサブクラスを示す。
  論文  参考訳（メタデータ） (2024-08-22T09:17:59Z)
• On the Identification of Temporally Causal Representation with Instantaneous Dependence [50.14432597910128]
  時間的因果表現学習は時系列観測から潜在因果過程を特定することを目的としている。 ほとんどの方法は、潜在因果過程が即時関係を持たないという仮定を必要とする。 我々は,インスタントtextbfOus textbfLatent dynamics のための textbfIDentification フレームワークを提案する。
  論文  参考訳（メタデータ） (2024-05-24T08:08:05Z)
• Defining and executing temporal constraints for evaluating engineering artifact compliance [56.08728135126139]
  プロセスコンプライアンスは、実際のエンジニアリング作業が記述されたエンジニアリングプロセスに可能な限り密接に従うことを保証することに焦点を当てます。 これらのプロセスの制約をチェックすることは、依然として大変な作業であり、多くの手作業を必要とし、プロセスの後半にエンジニアにフィードバックを提供する。 関連するエンジニアリングアーティファクト間の時間的制約を,アーティファクトの変更毎に段階的にチェックする,自動制約チェックアプローチを提案する。
  論文  参考訳（メタデータ） (2023-12-20T13:26:31Z)
• Triad: Trusted Timestamps in Untrusted Environments [0.6937243101289335]
  タイムリーディングの信頼できるタイムスタンプディスパッチであるTriadを紹介します。 このソリューションは、相互にサポートされたエンクレーブベースのクロックサーバによって強制される信頼できるタイムスタンプを提供する。 強制エグジットやCPUベースのカウンタなどのエンクレーブ特性を利用して、サーバのタイムスタンプカウンタに対する攻撃を軽減します。
  論文  参考訳（メタデータ） (2023-11-10T16:22:08Z)
• Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata [2.2003515924552044]
  タイムオートマトン(Timed Automatica)は、有限状態オートマトンの拡張であり、一連のクロックが線形に進化する。 我々は、タイムドオートマトンを入力形式として使用し、攻撃者がシステム実行時間のみにアクセス可能であると仮定する。
  論文  参考訳（メタデータ） (2023-10-31T12:10:35Z)
• CenTime: Event-Conditional Modelling of Censoring in Survival Analysis [49.44664144472712]
  CenTimeは、イベントへの時間を直接見積もる、サバイバル分析の新しいアプローチである。 本手法は,非検閲データが少ない場合でも,堅牢なイベント条件検閲機構を特徴とする。 以上の結果から,CenTimeは同等の性能を維持しつつ,死までの時間を予測する上で,最先端のパフォーマンスを提供することがわかった。
  論文  参考訳（メタデータ） (2023-09-07T17:07:33Z)
• The Adversarial Implications of Variable-Time Inference [47.44631666803983]
  本稿では,攻撃対象のMLモデルの予測を後処理するアルゴリズムの実行時間を簡単に計測する,新たなサイドチャネルを利用するアプローチを提案する。 我々は,物体検出装置の動作において重要な役割を果たす非最大抑圧(NMS)アルゴリズムからの漏れを調査する。 我々は、YOLOv3検出器に対する攻撃を実演し、タイミングリークを利用して、逆例を用いてオブジェクト検出を回避し、データセット推論を行う。
  論文  参考訳（メタデータ） (2023-09-05T11:53:17Z)
• Neural Laplace Control for Continuous-time Delayed Systems [76.81202657759222]
  本稿では,ニューラルラプラス力学モデルとモデル予測制御(MPC)プランナを組み合わせた連続時間モデルに基づくオフラインRL法を提案する。 専門家の政策性能に近い連続的な遅延環境を実験的に示す。
  論文  参考訳（メタデータ） (2023-02-24T12:40:28Z)
• Time-varying Gaussian Process Bandit Optimization with Non-constant Evaluation Time [93.6788993843846]
  非定常評価時間を効果的に処理できる新しい時間変化ベイズ最適化アルゴリズムを提案する。 我々の限界は、評価時間列のパターンが問題の難易度に大きな影響を与えることを決定づける。
  論文  参考訳（メタデータ） (2020-03-10T13:28:33Z)

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

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