by Jens-matthias Bohli, María Isabel, González Vasco, Rainer Steinw, Área De Matemática Aplicada, Juan Carlos, C Tulipán
http://eprint.iacr.org/2005/395.ps.gz
Add To MetaCart
Abstract:
Abstract. We examine the popular proof models for group key establishment of Bresson et al. [BCPQ01,BCP01] and point out missing security properties that are present in some models for two-party key establishment. These properties are actually of more importance in group key establishments due to the possibility of malicious insiders. We show that established group key establishment schemes from CRYPTO 2003 and ASIACRYPT 2004 do not fully meet these new requirements. Next to giving a formal definition of these extended security properties, we prove a variant of the explored proposal from ASIACRYPT 2004 secure in this stricter sense.
Citations
|
323
|
Entity Authentication and Key Distribution
– Bellare, Rogaway
- 1995
|
|
202
|
Authentication and authenticated key exchanges
– Diffie, Oorschot, et al.
- 1992
|
|
189
|
Authenticated key exchange secure against dictionary attacks
– Bellare, Pointcheval, et al.
- 2000
|
|
170
|
Provably secure session key distribution: the three party case
– Bellare, Rogaway
- 1995
|
|
169
|
A modular approach to the design and analysis of authentication and key exchange protocols
– Bellare, Canetti, et al.
- 1995
|
|
132
|
Analysis of Key-Exchange Protocols and Their Use for Building Secure Channels", Eurocrypt 01. Available at http://eprint.iacr.org/2001/040
– Canetti, Krawczyk
|
|
77
|
Key agreement protocols and their security analysis
– Blake-Wilson, Johnson, et al.
- 1997
|
|
64
|
Authenticated Group Diffie-Hellman Key Exchange: Theory and Practice
– Chevassut
- 2002
|
|
21
|
Round-optimal contributory conference key agreement
– Boyd, Nieto
- 2003
|
|
20
|
and Anish Mathuria. Protocols for Authentication and Key Establishment
– Boyd
- 2003
|
|
18
|
Examining Indistinguishability-Based Proof Models for Key Establishment
– Choo, Boyd, et al.
|
|
12
|
Constant-Round Authenticated Group Key Exchange for Dynamic Groups
– Kim, Lee, et al.
- 2004
|
|
11
|
Initiator-resilient universally composable key exchange
– Hofheinz, Müller-Quade, et al.
- 2003
|
|
8
|
Password Based Key Exchange with Mutual Authentication
– Jiang, Gong
- 2004
|
|
8
|
Pairing-Based One-Round Tripartite Key Agreement Protocols. Available at http://eprint.iacr.org/2004/079
– Cheng, Vasiu, et al.
- 2004
|
|
6
|
On session identifiers in provably secure protocols: The Bellare-Rogaway three-party key distribution protocol revisited
– Choo, Boyd, et al.
|
|
6
|
Asynchronous Group Key Exchange With Failures
– Cachin, Strobl
- 2004
|
|
1
|
Burmester-Desmedt Tree-Based Key Transport Revisited: Provable Security. Cryptology ePrint Archive
– Bohli, Vasco, et al.
- 2005
|
