CSP code for verification of vVote e-voting system
Published: 15 December 2017| Version 1 | DOI: 10.17632/kd6prht9h5.1
Contributor:
Murat Moran
Description
A machine readable Communicating Sequential Processes (CSP) code for the automated verification of vVote e-voting system model using an active intruder model, lazy spy.
Files
Categories
Computer Science, Computer Security, Model Checking, Security Protocol, Information Privacy, Model Verification