Probabilistic anonymity via coalgebraic simulations
type: Item
instance of: scholarly article
title: Probabilistic anonymity via coalgebraic simulations
zbMATH Open document ID: 1209.68219
author: Ichiro Hasuo
author: Yoshinobu Kawabe
author: Hideki Sakurada
published in: Theoretical Computer Science
publication date: 2010-05-27T00:00:00Z
full work available at URL: http://hdl.handle.net/2433/128862
Mathematics Subject Classification ID: 68P25
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 5712825
zbMATH Keywords: anonymity
zbMATH Keywords: automaton
zbMATH Keywords: coalgebra
zbMATH Keywords: privacy
zbMATH Keywords: probability
describes a project that uses: Casper
MaRDI profile type: Publication
OpenAlex ID: W2075609824
cites work: Structural operational semantics.
cites work: Q3682648
cites work: CONCUR 2005 – Concurrency Theory
cites work: Making Random Choices Invisible to the Scheduler
cites work: Probable innocence revisited
cites work: The dining cryptographers problem: Unconditional sender and recipient untraceability
cites work: Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus
cites work: A Framework for Automatically Checking Anonymity with μCRL
cites work: Generic Forward and Backward Simulations
cites work: Algebra and Coalgebra in Computer Science
cites work: Generic trace theory
cites work: Generic Trace Semantics via Coinduction
cites work: Probabilistic Anonymity Via Coalgebraic Simulations
cites work: Q4508299
cites work: Theorem-proving anonymity of infinite-state systems
cites work: Forward and backward simulations. I. Untimed Systems
cites work: Q4295369
cites work: Probabilistic and nondeterministic aspects of anonymity
cites work: A randomized encoding of the \(\pi\)-calculus with mixed choice
cites work: CSP and anonymity
cites work: Q4847023
cites work: Retracted: Semantic domains for combining probability and non-determinism
cites work: Distributing probability over non-determinism
DOI: 10.1016/J.TCS.2010.01.031
description: scientific article; zbMATH DE number 5712825