Formal Analysis of the Information Leakage of the DC-Nets and Crowds Anonymity Protocols

DOI10.1007/978-3-319-70848-5_10zbMath1498.68047OpenAlexW2767986153MaRDI QIDQ5045463

Arthur Américo, Artur Vaz, Mário S. Alvim, S. V. A. Campos, Annabelle McIver

Publication date: 4 November 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-70848-5_10

zbMATH Keywords

model checkingformal methodsquantitative information flowcrowdsdining cryptographers\(g\)-leakage

Mathematics Subject Classification ID

Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60) Channel models (including quantum) in information and communication theory (94A40) Computer security (68M25)

This page was built for publication: Formal Analysis of the Information Leakage of the DC-Nets and Crowds Anonymity Protocols