A Formalization of Anonymity and Onion Routing

DOI10.1007/978-3-540-30108-0_7zbMath1487.68072OpenAlexW1571783718MaRDI QIDQ5862309

Sjouke Mauw, E. P. de Vink, J. H. S. Verschuren

Publication date: 7 March 2022

Published in: Computer Security – ESORICS 2004 (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.75.2547

zbMATH Keywords

message sequence chartsselection functionobservable actionattribution functioninvisible action

Mathematics Subject Classification ID

Computer security (68M25) Privacy of data (68P27)

Related Items (4)

Onion routing with replies ⋮ Information hiding in probabilistic concurrent systems ⋮ A Framework for Automatically Checking Anonymity with μCRL ⋮ Spreading the privacy blanket: differentially oblivious shuffling for differential privacy

Cites Work

• Applications of Process Algebra
• CSP and anonymity
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Formalization of Anonymity and Onion Routing