Published in
Springer, Lecture Notes in Computer Science, p. 131-150, 2014
DOI: 10.1007/978-3-319-14054-4_9
Links
Tools
Robustness Modelling and Verification of a Mix Net Protocol
This paper is available in a repository.
Full text: Download
Preprint: archiving forbidden
Published version:
archiving forbidden
Data provided by 