We propose a mobile implementation of an e-voting protocol. We also provide a formal analysis to validate a security property of our system.
Mobile implementation and formal verification of an e-voting system
Martinelli F;Petrocchi M;Vaccarelli A;
2008
Abstract
We propose a mobile implementation of an e-voting protocol. We also provide a formal analysis to validate a security property of our system.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
