Static Validation of Voting Protocols |
Christoffer Rosenkilde Nielsen, Esben Heltoft Andersen, Hanne Riis Nielson
|
| Keywords | Validation, Voting, Protocols, LySa |
| Type | Conference paper [Abstract] |
| Conference | Nordic Workshop on Programming Theory |
| Year | 2005 |
| Electronic version(s) | [pdf] |
| Publication link | http://www.diku.dk/NWPT05/ |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |