Heather, James, University of Surrey, United Kingdom
-
Volume 66: Automated Verification of Critical Systems 2013 - Articles
Automated Analysis of Voting Systems with Dolev-Yao Intruder Model
Abstract PDF -
Volume 66: Automated Verification of Critical Systems 2013 - Articles
Verifying a Mix Net in CSP
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.