Verifying a Mix Net in CSP

Conference presentation

E Stathakidis, DM Williams and JA Heather

Automated Verification Of Critical Systems (AVOCS) 2013

11/09/2013

09/2013

Abstract

1 File views/ downloads

20 Record Views

Title: Verifying a Mix Net in CSP
Creators: E Stathakidis
DM Williams
JA Heather
Contributors: Springer-Verlag (null)
Publication Details: Automated Verification Of Critical Systems (AVOCS) 2013
Conference: 11/09/2013
Date published: 09/2013
Date submitted: 08/11/2013
Identifiers: 99515193102346
Academic Unit: University of Surrey
Resource Type: Conference presentation