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

Licence