Persistent stochastic non-interference

DOI10.3233/FI-2021-2049OpenAlexW3178515540MaRDI QIDQ5158656FDOQ5158656

Authors: Jane Hillston, Andrea Marin, Carla Piazza, Sabina Rossi 

Publication date: 25 October 2021

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2021-2049

Recommendations

• A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference
• \textit{D\_PSNI}: delimited persistent stochastic non-interference
• scientific article; zbMATH DE number 1863164
• Foundations of Security Analysis and Design II
• Verifying persistent security properties

zbMATH Keywords

process algebrastochastic modelsnon-interference

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• On the semantics of Markov automata
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Compositional Approach to Performance Modelling
• Verifying persistent security properties
• Controlling information release in the \(\pi\)-calculus
• Unwinding Possibilistic Security Properties
• Comparative branching-time semantics for Markov chains
• Simple \(O(m \log n)\) time Markov chain lumping
• A proof system for information flow security
• Title not available (Why is that?)
• Title not available (Why is that?)
• Bisimilarity Minimization in O(m logn) Time
• Finite representations of CCS and TCSP programs by automata and Petri nets
• Title not available (Why is that?)
• Title not available (Why is that?)
• Foundations of Software Science and Computational Structures
• Lumping-based equivalences in Markovian automata: algorithms and applications to product-form analyses
• On the relations between Markov chain lumpability and reversibility
• Title not available (Why is that?)
• A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains
• Title not available (Why is that?)
• The Applied Pi Calculus
• A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference
• Tools and Algorithms for the Construction and Analysis of Systems
• Unwinding biological systems

Cited In (6)

• Title not available (Why is that?)
• \textit{D\_PSNI}: delimited persistent stochastic non-interference
• Nondeterministic admissible interference
• Tools and Algorithms for the Construction and Analysis of Systems
• A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference
• Branching bisimulation semantics enables noninterference analysis of reversible systems

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 Q5158656)