Formalizing and proving privacy properties of voting protocols using alpha-beta privacy (Q2167772)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formalizing and proving privacy properties of voting protocols using alpha-beta privacy |
scientific article |
Statements
Formalizing and proving privacy properties of voting protocols using alpha-beta privacy (English)
0 references
25 August 2022
0 references
formal security models
0 references
logic and verification
0 references
privacy-preserving systems
0 references
voting protocols
0 references
receipt-freeness
0 references
security requirements
0 references
security protocols
0 references
