DMCA
Knowledge-based modelling of voting protocols
Cached
Download Links
- [www.imsc.res.in]
- [www.imsc.res.in]
- [www.cmi.ac.in]
- [www.cmi.ac.in]
- [www.tark.org]
- DBLP
Other Repositories/Bibliography
by
A. Baskar
,
R. Ramanujam
,
S. P. Suresh
| Venue: | In TARK’07: Proceedings of the 11th International Conference on Theoretical Aspects of Rationality and Knowledge |
| Citations: | 22 - 0 self |
BibTeX
@INPROCEEDINGS{Baskar_knowledge-basedmodelling,
author = {A. Baskar and R. Ramanujam and S. P. Suresh},
title = {Knowledge-based modelling of voting protocols},
booktitle = {In TARK’07: Proceedings of the 11th International Conference on Theoretical Aspects of Rationality and Knowledge},
year = {},
pages = {62--71}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
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). 1
