A Framework for Automatically Checking Anonymity with μCRL

DOI10.1007/978-3-540-75336-0_19zbMATH Open1211.94027OpenAlexW2155570147MaRDI QIDQ3608464FDOQ3608464

Authors: Tom Chothia, Simona Orzan, Jun Pang, Mohammad Torabi Dashti 

Publication date: 5 March 2009

Published in: Trustworthy Global Computing (Search for Journal in Brave)

Full work available at URL: https://research.tue.nl/nl/publications/a-framework-for-automatically-checking-anonymity-with--crl(db543cae-acaf-4654-9356-0f0fee7bb59e).html

Recommendations

• Automatic verification of anonymity of protocols
• scientific article; zbMATH DE number 2088318
• Evaluation of anonymity and confidentiality protocols using theorem proving
• scientific article; zbMATH DE number 2090930

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Algebra of communicating processes with abstraction
• The dining cryptographers problem: Unconditional sender and recipient untraceability
• CONCUR 2005 – Concurrency Theory
• CSP and anonymity
• A practical secret voting scheme for large scale elections
• Programming Languages and Systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus
• Algebraic process verification.
• A formalization of anonymity and onion routing
• Weak probabilistic anonymity
• A Framework for Automatically Checking Anonymity with μCRL
• mcmas: A Model Checker for Multi-agent Systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Analysing the BKE-security protocol with \(\mu\)CRL

Cited In (9)

• Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap
• Symbolic model checking the knowledge in Herbivore protocol
• Automated verification of equivalence properties of cryptographic protocols
• A Framework for Automatically Checking Anonymity with μCRL
• Automatic verification of anonymity of protocols
• CSP and anonymity
• Keeping secrets in resource aware components
• Probabilistic anonymity via coalgebraic simulations
• Formalizing provable anonymity in Isabelle/HOL

This page was built for publication: A Framework for Automatically Checking Anonymity with μCRL

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