Information hiding in probabilistic concurrent systems
type: Item
instance of: scholarly article
title: Information hiding in probabilistic concurrent systems
zbMATH Open document ID: 1216.68182
author: Miguel E. Andrés
author: Catuscia Palamidessi
author: Peter van Rossum
author: Ana Sokolova
published in: Theoretical Computer Science
publication date: 2011-07-07T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 94A60
zbMATH DE Number: 5918227
zbMATH Keywords: concurrent systems
zbMATH Keywords: information hiding
zbMATH Keywords: anonymity
zbMATH Keywords: information flow
MaRDI profile type: Publication
full work available at URL: j.tcs.2011.02.045
OpenAlex ID: W2020577539
cites work: Safe Equivalences for Security Properties
cites work: CONCUR 2005 – Concurrency Theory
cites work: Compositional Methods for Information-Hiding
cites work: Quantitative notions of leakage for one-try attacks
cites work: Task-structured probabilistic I/O automata
cites work: Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols
cites work: Bisimulation for Demonic Schedulers
cites work: Making Random Choices Invisible to the Scheduler
cites work: Anonymity protocols as noisy channels
cites work: The dining cryptographers problem: Unconditional sender and recipient untraceability
cites work: Quantified interference for a while language
cites work: Quantitative Information Flow, Relations and Polymorphic Types
cites work: Q2763268
cites work: Elements of Information Theory
cites work: Q4791844
cites work: Undecidability Results for Distributed Probabilistic Systems
cites work: Quantitative Model Checking Revisited: Neither Decidable Nor Approximable
cites work: Probabilistic Anonymity Via Coalgebraic Simulations
cites work: Symmetry Reduction for Probabilistic Model Checking
cites work: Assessing security threats of looping constructs
cites work: A Formalization of Anonymity and Onion Routing
cites work: Q3992568
cites work: Q4248252
cites work: Universal coalgebra: A theory of systems
cites work: Q4847023
cites work: On the Foundations of Quantitative Information Flow
DOI: 10.1016/J.TCS.2011.02.045
description: scientific article; zbMATH DE number 5918227