Knowledge-based modelling of voting protocols
A. Baskar, R. Ramanujam, S. P. Suresh · 2007
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elections are naturally expressed using standard knowledge operators, and show that the associated logic is decidable (under reasonable assumptions of bounded agents and nonces).