26 search results - page 1 / 6 » esorics 2010 |
ESORICS
2010
Springer
13 years 12 months ago
2010
Springer
ESORICS
2010
Springer
13 years 12 months ago
2010
Springer
ESORICS
2010
Springer
13 years 12 months ago
2010
Springer
Abstract. In distributed computer systems, it is possible that the evaluation of an authorization policy may suffer unexpected failures, perhaps because a sub-policy cannot be eval...
ESORICS
2010
Springer
13 years 12 months ago
2010
Springer
Safety critical applications for recently proposed vehicle to vehicle ad-hoc networks (VANETs) rely on a beacon signal, which poses a threat to privacy since it could allow a vehic...
ESORICS
2010
Springer
13 years 12 months ago
2010
Springer
We present a formal, symbolic definition of election verifiability for electronic voting protocols in the context of the applied pi calculus. Our definition is given in terms of bo...