Pages that link to "Item:Q3613062"
From MaRDI portal
The following pages link to Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus (Q3613062):
Displaying 4 items.
- A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols (Q511946) (← links)
- Probabilistic anonymity via coalgebraic simulations (Q974115) (← links)
- Formalizing provable anonymity in Isabelle/HOL (Q2355379) (← links)
- A Framework for Automatically Checking Anonymity with μCRL (Q3608464) (← links)
