Noninterference Analysis of Irreversible or Reversible Systems with Nondeterminism and Probabilities

• URL: http://arxiv.org/abs/2501.19290v1
• Date: Fri, 31 Jan 2025 16:49:42 GMT
• Title: Noninterference Analysis of Irreversible or Reversible Systems with Nondeterminism and Probabilities
• Authors: Andrea Esposito, Alessandro Aldini, Marco Bernardo,
• Abstract summary: Noninterference theory supports the analysis of secure computations in multi-level security systems. In a nondeterministic setting, assessing noninterference through weak bisimilarity is adequate for irreversible systems, whereas for reversible ones branching bisimilarity has been proven to be more appropriate. We recast noninterference properties by adopting probabilistic variants of weak and branching bisimilarities for irreversible and reversible systems respectively.
• Score: 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.

Related papers

• Decoherence and Probability [0.0]
  Non-probabilistic accounts of the emergence of probability via decoherence are unconvincing. Our analysis delimits the context in which the combination of decoherence and a semi-classical averaging allows us to recover a classical probability model.
  arXiv  Detail & Related papers  (2024-10-02T08:16:09Z)
• Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity [41.94295877935867]
  Classical equivalence-based approaches to noninterference mainly rely on weak bisimulation semantics. We show that this approach is not sufficient to identify potential covert channels in the presence of reversible computations. To capture the effects of back-and-forth computations, it is necessary to switch to a more expressive semantics.
  arXiv  Detail & Related papers  (2023-11-27T09:57:04Z)
• Selective Nonparametric Regression via Testing [54.20569354303575]
  We develop an abstention procedure via testing the hypothesis on the value of the conditional variance at a given point. Unlike existing methods, the proposed one allows to account not only for the value of the variance itself but also for the uncertainty of the corresponding variance predictor.
  arXiv  Detail & Related papers  (2023-09-28T13:04:11Z)
• Uncertain Machine Ethical Decisions Using Hypothetical Retrospection [8.064201367978066]
  We propose the use of the hypothetical retrospection argumentation procedure, developed by Sven Ove Hansson. Actions are represented with a branching set of potential outcomes, each with a state, utility, and either a numeric or poetic probability estimate. We introduce a preliminary framework that seems to meet the varied requirements of a machine ethics system.
  arXiv  Detail & Related papers  (2023-05-02T13:54:04Z)
• Risk Measures and Upper Probabilities: Coherence and Stratification [7.88657961743755]
  We look at richer alternatives to classical probability theory as a mathematical foundation for machine learning. We examine a powerful and rich class of alternative aggregation functionals, known variously as spectral risk measures, Choquet integrals or Lorentz norms. We empirically demonstrate how this new approach to uncertainty helps tackling practical machine learning problems.
  arXiv  Detail & Related papers  (2022-06-07T11:08:16Z)
• Quantum Mechanics as a Theory of Incompatible Symmetries [77.34726150561087]
  We show how classical probability theory can be extended to include any system with incompatible variables. We show that any probabilistic system (classical or quantal) that possesses incompatible variables will show not only uncertainty, but also interference in its probability patterns.
  arXiv  Detail & Related papers  (2022-05-31T16:04:59Z)
• Exact solutions of interacting dissipative systems via weak symmetries [77.34726150561087]
  We analytically diagonalize the Liouvillian of a class Markovian dissipative systems with arbitrary strong interactions or nonlinearity. This enables an exact description of the full dynamics and dissipative spectrum. Our method is applicable to a variety of other systems, and could provide a powerful new tool for the study of complex driven-dissipative quantum systems.
  arXiv  Detail & Related papers  (2021-09-27T17:45:42Z)
• Discovering Latent Causal Variables via Mechanism Sparsity: A New Principle for Nonlinear ICA [81.4991350761909]
  Independent component analysis (ICA) refers to an ensemble of methods which formalize this goal and provide estimation procedure for practical application. We show that the latent variables can be recovered up to a permutation if one regularizes the latent mechanisms to be sparse.
  arXiv  Detail & Related papers  (2021-07-21T14:22:14Z)
• Non-locality and entanglement in multi-qubit systems from a unified framework [0.0]
  Non-classical probability is the underlying feature of quantum mechanics. We show that violation of any nonlocality inequality implies violation of classical probability rules, through negative probabilities. We employ parent pseudoprojections to show how any number of linear and nonlinear entanglement witnesses for multiqubit systems can be obtained as violations of classical probability rules.
  arXiv  Detail & Related papers  (2020-07-20T11:27:53Z)
• Distributing entanglement with separable states: assessment of encoding and decoding imperfections [55.41644538483948]
  Entanglement can be distributed using a carrier which is always separable from the rest of the systems involved. We consider the effect of incoherent dynamics acting alongside imperfect unitary interactions. We show that entanglement gain is possible even with substantial unitary errors.
  arXiv  Detail & Related papers  (2020-02-11T15:25:19Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.