783 search results - page 11 / 157 » On security proof of McCullagh |
132
click to vote
ASIACRYPT
2005
Springer
15 years 9 months ago
2005
Springer
The security of key agreement protocols has traditionally been notoriously hard to establish. In this paper we present a modular approach to the construction of proofs of security ...
137
click to vote
INDOCRYPT
2004
Springer
15 years 9 months ago
2004
Springer
A definition of secure multi-party key exchange in the Canetti-Krawczyk proof model is proposed, followed by a proof of the security of the Joux tripartite key agreement protocol...
153
click to vote
CARDIS
2008
Springer
15 years 6 months ago
2008
Springer
We investigate an application of RFIDs referred to in the literature as group scanning, in which several tags are "simultaneously" scanned by a reader device. Our goal is...
138
click to vote
ENTCS
2006
15 years 4 months ago
2006
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active att...
136
click to vote
ASIACRYPT
2008
Springer
15 years 6 months ago
2008
Springer
The collision-resistance of hash functions is an important foundation of many cryptographic protocols. Formally, collision-resistance can only be expected if the hash function in f...