論文の概要: Noninterference Analysis of Irreversible or Reversible Systems with Nondeterminism and Probabilities
- arxiv url: http://arxiv.org/abs/2501.19290v1
- Date: Fri, 31 Jan 2025 16:49:42 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-02-03 13:57:35.670626
- Title: Noninterference Analysis of Irreversible or Reversible Systems with Nondeterminism and Probabilities
- Title(参考訳): 非決定性・確率をもつ可逆的・可逆的システムの非干渉解析
- Authors: Andrea Esposito, Alessandro Aldini, Marco Bernardo,
- Abstract要約: 非干渉理論は、マルチレベルセキュリティシステムにおけるセキュアな計算の分析をサポートする。
非決定論的設定では、弱い双相似性を通して非干渉を評価することは可逆的システムには適しているが、可逆的双相似性に分岐するものはより適切であることが証明されている。
我々は、可逆系と可逆系のそれぞれに弱および分岐双相似の確率的不変量を採用することにより、非干渉特性を再送する。
- 参考スコア(独自算出の注目度): 44.99833362998488
- License:
- Abstract: Noninterference theory supports the analysis of secure computations in multi-level security systems. Classical equivalence-based approaches to noninterference mainly rely on bisimilarity. In a nondeterministic setting, assessing noninterference through weak bisimilarity is adequate for irreversible systems, whereas for reversible ones branching bisimilarity has been recently proven to be more appropriate. In this paper we address the same two families of systems, with the difference that probabilities come into play in addition to nondeterminism. For irreversible systems we extend the results of Aldini, Bravetti, and Gorrieri developed in a generative-reactive probabilistic setting, while for reversible systems we extend the results of Esposito, Aldini, Bernardo, and Rossi developed in a purely nondeterministic setting. We recast noninterference properties by adopting probabilistic variants of weak and branching bisimilarities for irreversible and reversible systems respectively. Then we investigate a taxonomy of those properties as well as their preservation and compositionality aspects, along with a comparison with the nondeterministic taxonomy. The adequacy of the extended noninterference theory is illustrated via a probabilistic smart contract example.
- Abstract(参考訳): 非干渉理論は、マルチレベルセキュリティシステムにおけるセキュアな計算の分析をサポートする。
非干渉に対する古典的同値性に基づくアプローチは、主に双相性に依存する。
非決定論的設定では、弱い双相似性を通して非干渉を評価することは可逆的システムには適しているが、可逆的双相似性に分岐するシステムに対しては、最近より適切であることが証明されている。
本稿では、非決定性に加えて、確率が作用することの相違を考慮し、同じ2種類のシステムに対処する。
可逆系ではアルディーニ、ブレーヴェッティ、ゴリーリの結果は生成的・反応性確率的条件で発展し、可逆系ではエスポジット、アルディーニ、ベルナルド、ロッシの結果は純粋に非決定論的条件で発展する。
我々は,可逆系と可逆系に対して,弱および分岐両相の確率的変種をそれぞれ採用することにより,非干渉特性を再評価する。
次に,これらの特性の分類と,その保存・構成的側面,および非決定論的分類との比較について検討する。
拡張非干渉理論の妥当性は確率論的スマートコントラクトの例を通して説明される。
関連論文リスト
- Decoherence and Probability [0.0]
非確率的な説明では、デコヒーレンスによる確率の出現は説得力がない。
我々の分析は、デコヒーレンスと半古典的平均化の組み合わせが古典的確率モデルを復元することを可能にする文脈を減らしている。
論文 参考訳(メタデータ) (2024-10-02T08:16:09Z) - Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity [41.94295877935867]
非干渉に対する古典的同値性に基づくアプローチは、主に弱いバイシミュレーションのセマンティクスに依存している。
本手法は,可逆計算の存在下での隠蔽チャネルの同定に十分でないことを示す。
バック・アンド・フォース計算の効果を捉えるためには、より表現力のある意味論に切り替える必要がある。
論文 参考訳(メタデータ) (2023-11-27T09:57:04Z) - Selective Nonparametric Regression via Testing [54.20569354303575]
本研究では,所定の点における条件分散の値に関する仮説を検証し,留置手順を開発する。
既存の手法とは異なり、提案手法は分散自体の値だけでなく、対応する分散予測器の不確実性についても考慮することができる。
論文 参考訳(メタデータ) (2023-09-28T13:04:11Z) - Uncertain Machine Ethical Decisions Using Hypothetical Retrospection [8.064201367978066]
本稿では,Sven Ove Hansson が開発した仮説的ふりかえり議論手法を提案する。
アクションは潜在的な結果の分岐セットで表現され、それぞれが状態、ユーティリティを持ち、数値または詩的な確率の推定値を持つ。
機械倫理システムの様々な要件を満たすような予備的な枠組みを導入する。
論文 参考訳(メタデータ) (2023-05-02T13:54:04Z) - Risk Measures and Upper Probabilities: Coherence and Stratification [7.88657961743755]
機械学習の数学的基礎として、古典的確率論のより豊かな代替を考察する。
スペクトルリスク測度、チョーケ積分、ローレンツノルムといった、強力で豊富な代替アグリゲーション汎函数について検討する。
我々は、この新しい不確実性に対するアプローチが、実践的な機械学習問題に取り組むのにどのように役立つかを実証的に示す。
論文 参考訳(メタデータ) (2022-06-07T11:08:16Z) - Quantum Mechanics as a Theory of Incompatible Symmetries [77.34726150561087]
古典確率論が非互換変数を持つ任意の系を含むように拡張可能であることを示す。
非互換な変数を持つ確率的システム(古典的あるいは量子的)が不確実性だけでなく、その確率パターンにも干渉することを示す。
論文 参考訳(メタデータ) (2022-05-31T16:04:59Z) - Exact solutions of interacting dissipative systems via weak symmetries [77.34726150561087]
我々は任意の強い相互作用や非線形性を持つクラスマルコフ散逸系(英語版)のリウヴィリアンを解析的に対角化する。
これにより、フルダイナミックスと散逸スペクトルの正確な記述が可能になる。
我々の手法は他の様々なシステムに適用でき、複雑な駆動散逸量子系の研究のための強力な新しいツールを提供することができる。
論文 参考訳(メタデータ) (2021-09-27T17:45:42Z) - Discovering Latent Causal Variables via Mechanism Sparsity: A New
Principle for Nonlinear ICA [81.4991350761909]
ICA(Independent component analysis)は、この目的を定式化し、実用的な応用のための推定手順を提供する手法の集合を指す。
潜伏変数は、潜伏機構をスパースに正則化すれば、置換まで復元可能であることを示す。
論文 参考訳(メタデータ) (2021-07-21T14:22:14Z) - Non-locality and entanglement in multi-qubit systems from a unified
framework [0.0]
非古典的確率は量子力学の根底にある特徴である。
非局所性不平等の違反は、負の確率を通して古典的確率規則の違反を意味することを示す。
我々は、古典的確率規則違反として、複数ビット系に対する線形および非線形な絡み合い証人の数がどのように得られるかを示すために、親擬似射影を用いる。
論文 参考訳(メタデータ) (2020-07-20T11:27:53Z) - Distributing entanglement with separable states: assessment of encoding
and decoding imperfections [55.41644538483948]
絡み合いは、常に関連する他のシステムと分離可能なキャリアを使って分散することができる。
不完全なユニタリ相互作用と協調して作用する不整合力学の影響を考察する。
絡み合いの利得は、相当な単元誤差があっても可能であることを示す。
論文 参考訳(メタデータ) (2020-02-11T15:25:19Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。