CSP code for verification of vVote e-voting system
| Main Author: | Moran, Murat |
|---|---|
| Format: | Dataset |
| Terbitan: |
Mendeley
, 2017
|
| Subjects: | |
| Online Access: |
https:/data.mendeley.com/datasets/kd6prht9h5 |
Daftar Isi:
- 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.