![](/img/cover-not-exists.png)
Formal Verification of Secrecy, Coercion Resistance and Verifiability Properties for a Remote Electronic Voting Protocol
Marzouki, Khaoula, Radhouani, Amira, Ben Rajeb, NarjesVolume:
7
Language:
english
Journal:
International Journal of Information Security and Privacy
DOI:
10.4018/jisp.2013040104
Date:
April, 2013
File:
PDF, 835 KB
english, 2013