Robustness Modelling and Verification of a Mix Net Protocol
Attributed to:
Trustworthy Voting Systems
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Conference/Paper/Proceeding/Abstract
Volume: LNCS 8893
Parent Publication: SSR 2014: Security Standardisation Research