Related papers: Unwinding Conditional Noninterference
As generative AI commercializes, competitive advantage is shifting from one-time model training toward continuous inference, distribution, and routing. At the frontier, large-scale inference can function as cognitive infrastructure: a…
We propose a formal foundation for reasoning about access control policies within a Dynamic Coalition, defining an abstraction over existing access control models and providing mechanisms for translation of those models into…
In this paper, we investigate a class of information-flow security properties called opacity in partial-observed discrete-event systems. Roughly speaking, a system is said to be opaque if the intruder, which is modeled by a passive…
Recently, a measure for the non-Markovian behavior of quantum processes in open systems has been developed which is based on the quantification of the flow of information between the open system and its environment [Phys. Rev. Lett. 103,…
This work presents insights gained by investigating the relationship between algorithmic fairness and the concept of secure information flow. The problem of enforcing secure information flow is well-studied in the context of information…
The deep connection between entropy and information is discussed in terms of both classical and quantum physics. The mechanism of information transfer between systems via entanglement is explored in the context of decoherence theory. The…
The advantages of quantum information processing are in many cases obtained as consequences of quantum interactions, especially for computational tasks where two-qubit interactions are essential. In this work, we establish the framework of…
Quantum evolutions are often non-unitary and in such cases, they are frequently regarded as lossy. Such lossiness, however, does not necessarily persist throughout the evolution, and there can often be intermediate time-spans during which…
The concept of a bounded confidence level is incorporated in a nonconservative kinetic exchange model of opinion dynamics model where opinions have continuous values $\in [-1,1]$. The characteristics of the unrestricted model, which has one…
Counterfactuals are a concept inherited from the field of logic and in general attain to the existence of causal relations between sentences or events. In particular, this concept has been introduced also in the context of interpretability…
Modern programmable network switches can implement custom applications using efficient packet processing hardware, and the programming language P4 provides high-level constructs to program such switches. The increase in speed and…
Virtual constraints are relations imposed in a control system that become invariant via feedback, instead of real physical constraints acting on the system. Nonholonomic systems are mechanical systems with non-integrable constraints on the…
Information pooling has been extensively formalised across various logical frameworks in distributed systems, characterized by diverse information-sharing patterns. These approaches generally adopt an intersection perspective, aggregating…
We report an approach to quantum open system dynamics that leads to novel nonlinear constant relations governing information flow among the participants. Our treatment is for mixed state systems entangled in a pure state fashion with an…
Modified treatment policies are a widely applicable class of interventions useful for studying the causal effects of continuous exposures. Approaches to evaluating their causal effects assume no interference, meaning that such effects…
A collaboration network is a graph formed by communication channels between parties. Parties communicate over these channels to establish secrets, simultaneously enforcing interdependencies between the secrets. The paper studies properties…
We present the Flow-Limited Authorization First-Order Logic (FLAFOL), a logic for reasoning about authorization decisions in the presence of information-flow policies. We formalize the FLAFOL proof system, characterize its proof-theoretic…
In this paper, we add a second part to the process of Security Engineering to the Isabelle Insider and Infrastructure framework (IIIf) [31,16] by addressing an old difficult task of refining Information Flow Security (IFC). We address the…
Nonclassicality and entanglement are notions fundamental to quantum information processes involving continuous variable systems. That these two notions are intimately related has been intuitively appreciated for quite some time. An aspect…
This paper presents a logical approach to nonmonotonic reasoning based on the notion of a nonmonotonic consequence relation. A conditional knowledge base, consisting of a set of conditional assertions of the type "if ... then ...",…