Probabilistic information flow in a process algebra

DOI10.1007/3-540-44685-0_11MaRDI QIDQ4791835zbMATH OpenFDO

Authors Alessandro Aldini

Publication date 3 February 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2154/21540152.htm

Mathematics Subject Classification ID

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

Recommendations

• Probabilistic information flow security in dynamic context
• Secure information flow for concurrent processes
• Probabilistic information flow security
• A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference
• Persistent stochastic non-interference

Cited in

(25)

• An algebraic approach for reasoning about information flow
• Classification of security properties in a Linda-like process algebra
• Preservation of probabilistic information flow under refinement
• A semiring-based trace semantics for processes with applications to information leakage analysis
• A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference
• Persistent stochastic non-interference
• Probabilistic information flow security in dynamic context
• Decidability of Parameterized Probabilistic Information Flow
• Secure information flow for concurrent processes
• Informational analysis of security and integrity
• Computational probabilistic non-interference
• A logical approach to multilevel security of probabilistic systems
• Persistent stochastic non-interference
• Quantifying security for timed process algebras
• Information flow testing
• Information and Communications Security
• Probabilistic information flow security
• Measuring the confinement of probabilistic systems
• A semiring-based trace semantics for processes with applications to information leakage analysis
• Disjunctive Information Flow for Communicating Processes
• Quantifying probabilistic information flow in computational reactive systems
• Foundations of Security Analysis and Design II
• Finite axiomatization for symbolic probabilistic -calculus
• A Process Algebra for (Delimited) Persistent Stochastic Non-Interference
• Imperative process algebra with abstraction

This page was built for publication: Probabilistic information flow in a process algebra

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