Can formal methods really help : analyzing the security of electronic voting systems
Komminist Weldemariam; Adolfo Villafiorita
| Year of publication: |
2012
|
|---|---|
| Authors: | Weldemariam, Komminist ; Villafiorita, Adolfo |
| Published in: |
Threats, countermeasures, and advances in applied information security. - Hershey, Pa. : Information Science Reference, ISBN 978-1-4666-0978-5. - 2012, p. 361-380
|
| Extent: | graph. Darst. |
|---|---|
| Type of publication: | Article |
| Type of publication (narrower categories): | Aufsatz im Buch ; Book section |
| Language: | English |
| Source: | ECONIS - Online Catalogue of the ZBW |
Persistent link: https://www.econbiz.de/10009781456