19 search results - page 1 / 4 » Examining Indistinguishability-Based Proof Models for Key Es... |
ASIACRYPT
2005
Springer
13 years 10 months ago
2005
Springer
IJISEC
2007
13 years 4 months ago
2007
Abstract. We examine the popular proof models for group key establishment of Bresson et al. [BCPQ01,BCP01] and point out missing security properties addressing malicious protocol p...
IJNSEC
2008
13 years 4 months ago
2008
Despite the importance of proofs in assuring protocol implementers about the security properties of key establishment protocols, many protocol designers fail to provide any proof ...
ASIACRYPT
2005
Springer
13 years 10 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 ...
CJ
2007
13 years 4 months ago
2007
Although the Yahalom protocol, proposed by Burrows, Abadi, and Needham in 1990, is one of the most prominent key establishment protocols analyzed by researchers from the computer s...