26 search results - page 1 / 6 » esorics 2010 |
ESORICS
2010
Springer
13 years 6 months ago
2010
Springer
ESORICS
2010
Springer
13 years 6 months ago
2010
Springer
ESORICS
2010
Springer
13 years 6 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 6 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 6 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...