Robustness Modelling and Verification of a Mix Net Protocol

First Author: Efstathios Stathakidis, Steve Schneider And James Heather
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