Sciweavers

Share
26 search results - page 1 / 6
» esorics 2010
Sort
View
ESORICS
2010
Springer
9 years 11 days ago
Evaluating Adversarial Partitions
Andreas Pashalidis, Stefan Schiffner
ESORICS
2010
Springer
9 years 11 days ago
An Authorization Framework Resilient to Policy Evaluation Failures
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...
Jason Crampton, Michael Huth
ESORICS
2010
Springer
9 years 11 days ago
Formal Analysis of Privacy for Vehicular Mix-Zones
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...
Morten Dahl, Stéphanie Delaune, Graham Stee...
ESORICS
2010
Springer
9 years 11 days ago
Election Verifiability in Electronic Voting Protocols
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...
Steve Kremer, Mark Ryan, Ben Smyth
books