5255 search results - page 83 / 1051 » Formal Methods for Privacy |
GI
2009
Springer
14 years 2 months ago
2009
Springer
Abstract: Voter privacy and verifiability are fundamental security concepts for electronic voting. Existing literature on electronic voting provides many definitions and interpreta...
ESORICS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
CCS
2003
ACM
14 years 3 months ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
FMICS
2007
Springer
14 years 4 months ago
2007
Springer
FM
2005
Springer
14 years 3 months ago
2005
Springer