Pages that link to "Item:Q3608464"
From MaRDI portal
The following pages link to A Framework for Automatically Checking Anonymity with μCRL (Q3608464):
Displaying 6 items.
- Probabilistic anonymity via coalgebraic simulations (Q974115) (← links)
- Formalizing provable anonymity in Isabelle/HOL (Q2355379) (← links)
- Keeping Secrets in Resource Aware Components (Q2870285) (← links)
- Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap (Q3498468) (← links)
- A Framework for Automatically Checking Anonymity with μCRL (Q3608464) (← links)
- Automated Verification of Equivalence Properties of Cryptographic Protocols (Q5278194) (← links)
