3751 search results - page 212 / 751 » Events in security protocols |
239
click to vote
MIS
2011
Springer
14 years 11 months ago
2011
Springer
By exchanging events in a vehicular ad hoc network (VANET), drivers can receive information that allows them to find relevant places (e.g., parking spaces) or avoid dangerous/unde...
139
click to vote
FSTTCS
2003
Springer
15 years 9 months ago
2003
Springer
Tagging schemes have been used in security protocols to ensure that the analysis of such protocols can work with messages of bounded length. When the set of nonces is bounded, this...
128
click to vote
FC
2005
Springer
15 years 10 months ago
2005
Springer
We define and instantiate a cryptographic scheme called “private counters”, which can be used in applications such as preferential voting to express and update preferences (or...
118
click to vote
VOTEID
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. End-to-end auditable voting systems are expected to guarantee very interesting, and often sophisticated security properties, including correctness, privacy, fairness, rec...
122
click to vote
CCS
2004
ACM
15 years 9 months ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...