783 search results - page 11 / 157 » On security proof of McCullagh |
ASIACRYPT
2005
Springer
14 years 3 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 ...
INDOCRYPT
2004
Springer
14 years 3 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...
CARDIS
2008
Springer
13 years 11 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...
ENTCS
2006
13 years 9 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...
ASIACRYPT
2008
Springer
13 years 11 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...