4111 search results - page 343 / 823 » Security, Protocols, and Trust |
182
click to vote
JFP
2006
15 years 7 months ago
2006
Confinement properties impose a structure on object graphs which can be used to enforce encapsulation properties. From a practical point of view, encapsulation is essential for bu...
186
click to vote
MASS
2010
15 years 5 months ago
2010
A new generation of WSN communication transceivers are now available that support time-of-flight distance measurement. This measurement can be inseparably integrated with message t...
161
Voted
VOTEID
2007
Springer
16 years 1 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...
187
Voted
CCS
2004
ACM
16 years 28 days 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...
217
click to vote
CTRSA
2008
Springer
15 years 9 months ago
2008
Springer
Oblivious transfer, first introduced by Rabin, is one of the basic building blocks of cryptographic protocols. In an oblivious transfer (or more exactly, in its 1-out-of-2 variant...