Robustness Modelling and Verification of a Mix Net Protocol release_rxbjcxfbrzabjbw7id7ytqtwyi

by Efstathios Stathakidis, Steve Schneider, James Heather

Published in Lecture Notes in Computer Science by Springer International Publishing.

2014   p131-150

Archived Files and Locations

application/pdf  694.0 kB
file_ykgykalprze2zakq2of5ronlui
epubs.surrey.ac.uk (repository)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2014
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 5b4bf3b6-e733-42f2-b5b5-4009b3ca0426
API URL: JSON