A Formal Framework for Modelling Coercion Resistance and Receipt Freeness (Q4647845)
From MaRDI portal
scientific article; zbMATH DE number 6103228
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Formal Framework for Modelling Coercion Resistance and Receipt Freeness |
scientific article; zbMATH DE number 6103228 |
Statements
A Formal Framework for Modelling Coercion Resistance and Receipt Freeness (English)
0 references
8 November 2012
0 references
secure voting
0 references
CSP
0 references
coercion-resistance
0 references
receipt-freeness
0 references
