783 search results - page 84 / 157 » On security proof of McCullagh |
133
click to vote
ESORICS
2007
Springer
15 years 8 months ago
2007
Springer
We present a new technique for generating a formal proof that an access request satisfies accesscontrol policy, for use in logic-based access-control frameworks. Our approach is t...
153
click to vote
PDCAT
2007
Springer
15 years 10 months ago
2007
Springer
When datasets are distributed on different sources, finding out their intersection while preserving the privacy of the datasets is a widely required task. In this paper, we addre...
116
click to vote
CRYPTO
2004
Springer
15 years 9 months ago
2004
Springer
Many cryptographic primitives begin with parameter generation, which picks a primitive from a family. Such generation can use public coins (e.g., in the discrete-logarithm-based c...
127
click to vote
ASIACRYPT
2006
Springer
15 years 8 months ago
2006
Springer
Understanding what construction strategy has a chance to be a good hash function is extremely important nowadays. In TCC'04, Maurer et al. [13] introduced the notion of indiff...
141
click to vote
EUROCRYPT
1997
Springer
15 years 7 months ago
1997
Springer
In this paper we present a new multi-authority secret-ballot election scheme that guarantees privacy, universal verifiability, and robustness. It is the first scheme for which the ...