Robustness Modelling and Verification of a Mix Net Protocol Stathis Stathakidis, Steve Schneider and James Heather Department of Computing, University of Surrey, UK SSR 2014, RHUL, 16 December 2014 - Stathis - Document - PDFSEARCH.IO

First Page	Meta Content
	Robustness Modelling and Verification of a Mix Net Protocol Stathis Stathakidis, Steve Schneider and James Heather Department of Computing, University of Surrey, UK SSR 2014, RHUL, 16 December 2014 Add to Reading List Document Date: 2015-06-22 06:35:58 Open Document File Size: 128,33 KB Share Result on Facebook

Robustness Modelling and Verification of a Mix Net Protocol Stathis Stathakidis, Steve Schneider and James Heather Department of Computing, University of Surrey, UK SSR 2014, RHUL, 16 December 2014Add to Reading List