Persistent stochastic non-interference

MaRDI QIDQ3384915zbMATH OpenFDO

Authors Jane Hillston, Carla Piazza, Sabina Rossi

Publication date 17 December 2021

Full work available at URL https://arxiv.org/abs/1808.08650, http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS2018.6

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Persistent stochastic non-interference
• A Process Algebra for (Delimited) Persistent Stochastic Non-Interference
• A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference
• \textit{D\_PSNI}: delimited persistent stochastic non-interference
• scientific article; zbMATH DE number 1863164

Cites work

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1956549 (Why is no real title available?)
• scientific article; zbMATH DE number 1884409 (Why is no real title available?)
• A Compositional Approach to Performance Modelling
• A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains
• A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference
• Comparative branching-time semantics for Markov chains
• Controlling information release in the \(\pi\)-calculus
• Foundations of Software Science and Computational Structures
• On the relations between Markov chain lumpability and reversibility
• On the semantics of Markov automata
• The Applied Pi Calculus
• Tools and Algorithms for the Construction and Analysis of Systems
• Unwinding Possibilistic Security Properties
• Verifying persistent security properties

Cited in

(3)

• \textit{D\_PSNI}: delimited persistent stochastic non-interference
• A Process Algebra for (Delimited) Persistent Stochastic Non-Interference
• Nondeterministic admissible interference

This page was built for publication: Persistent stochastic non-interference

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3384915)