15 search results - page 1 / 3 » Analysis of an Electronic Voting Protocol in the Applied Pi ... |
ESOP
2005
Springer
14 years 4 months ago
2005
Springer
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of imp...
CSFW
2008
IEEE
14 years 19 days ago
2008
IEEE
We present a general technique for modeling remote electronic voting protocols in the applied pi-calculus and for automatically verifying their security. In the first part of this...
JDCTA
2010
13 years 5 months ago
2010
Soundness and coercion resistance are the important and intricate security requirements for remote voting protocols. Several formal models of soundness and coercion-resistance hav...
FORTE
2009
13 years 8 months ago
2009
We propose an epistemic logic for the applied pi calculus, which is a variant of the pi calculus with extensions for modeling cryptographic protocols. In such a calculus, the secur...
ACNS
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. Untraceability and unreuseability are essential security properties for electronic cash protocols. Many protocols have been proposed to meet these two properties. However...