|
[AVA+17]
Arthur Americo, Artur Vaz, Mario S. Alvim, Sergio V. A. Campos and Annabelle McIver.
Formal Analysis of the Information Leakage of the DC-Nets and Crowds Anonymity Protocols.
In Proc. Brazilian Symposium on Formal Methods, pages 142-158, Springer.
2017.
[Studies information leakage in anonymity protocols, building on probabilistic model checking with PRISM.]
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|