Some attacks upon authenticated group key agreement protocols

Journal of Computer Security

Volumn 11, Issue 4, 2003, Pages 555-580

  Pereira, Olivier ^a   Quisquater, Jean Jacques ^a  

^a Microelectronics Laboratory   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

BANDWIDTH; COMPUTATIONAL COMPLEXITY; FORMAL LOGIC; GROUP TECHNOLOGY; PUBLIC KEY CRYPTOGRAPHY;

GROUP KEY;

SECURITY OF DATA;

EID: 0141528664     PISSN: 0926227X     EISSN: None     Source Type: Journal    
DOI: 10.3233/JCS-2003-11404     Document Type: Conference Paper

References (23)

1. M. Abadi and P. Rogaway, Reconciling two views of cryptography, in: Proceedings of the IFIP International Conference on Theoretical Computer Science 2000, LNCS Vol. 1872, 2000, pp. 3-22.
2. G. Ateniese, M. Steiner and G. Tsudik, New multi-party authentication services and key agreement protocols, IEEE Journal on Selected Areas in Communication 18(4) (2000), 628-639.
3. M. Bellare and P. Rogaway, Entity authentication and key distribution, in: Proceedings of Advances in Cryptology: Crypto'93, LNCS Vol. 773, 1994, pp. 232-249.
4. S. Blake-Wilson, D. Johnson and A. Menezes. Key agreement protocols and their security analysis, in: Cryptography and Coding, LNCS Vol. 1355, 1997, pp. 30-45.
5. E. Bresson, O. Chevassut and D. Pointcheval, Provably authenticated group Diffie-Hellman key exchange - the dynamic case, in: Advances in Cryptology - Proceedings of AsiaCrypt 2001, C. Boyd, ed., LNCS Vol. 2248, 2001. pp. 290-309.
6. E. Bresson, O. Chevassut and D. Pointcheval, Dynamic group diffie-hellman key exchange under standard assumptions, in: Advances in Cryptology - Proceedings of Eurocrypt 2002, L. Knudsen, ed., LNCS Vol. 2332, 2002, pp. 321-336.
7. J. Bryans and S. Schneider, CSP, PVS, and a recursive authentication protocol, in: Proceedings of the DIMACS Workshop on Formal Verification of Security Protocols, 1997.
8. M. Burrows, M. Abadi and R. Needham, A logic of authentication, ACM Transactions on Computer Systems 8(1) (1990), 18-36.
9. A. Durante, R. Focardi and R. Gorrieri. CVS: A tool for the analysis of cryptographic protocols, in: Proceedings of the 12-th IEEE Computer Security Foundations Workshop, IEEE Computer Society Press, 1999, pp. 203-212.
10. J. Guttman, F.J. Thayer Fábrega and L. Zuck, The faithfulness of abstract protocol analysis: Message authentication, in: Proceedings of the 8th ACM Conference on Computer and Communications Security, P. Samarati, ed., ACM Press, 2001, pp. 186-195.
11. Y. Kim, A. Perrig and G. Tsudik, Communication-efficient group key agreement, in: Proceedings of IFIP-SEC 2001, Kluwer Publishers, 2001, pp. 229-244.
12. G. Lowe, Some new attacks upon security protocols, in: Proceedings of 9th IEEE Computer Security Foundations Workshop, IEEE Computer Society Press, 1996, pp. 162-169.
13. G. Lowe, A hierarchy of authentication specifications, in: Proceedings of 10th IEEE Computer Security Foundations Workshop, IEEE Computer Society Press, 1997. pp. 31-44.
14. G. Lowe, Casper: A compiler for the analysis of security protocols, Journal of Computer Security 6 (1998), 53-84.
15. W. Marrero, E. Clarke and S. Jha, A model checker for authentication protocols, in: Proceedings of the DIMACS Workshop on Formal Verification of Security Protocols, 1997.
16. C. Meadows. The NRL protocol analyzer: an overview. Journal of Logic Programming 26(2) (1996), 113-131.
17. C. Meadows. Extending formal cryptographic protocol analysis techniques for group protocols and low-level cryptographic primitives, in: Proceedings of the Workshop on Issues in the Theory of Security, 2000, pp. 1-4.
18. A.J. Menezes, P.C. van Oorschot and S.A. Vanstone, in: Handbook of Applied Cryptography, Chapter 12, CRC Press, 1999, pp. 489-541.
19. L.C. Paulson, Mechanised proofs for a recursive authentication protocol, in: Proceedings of the 10-th IEEE Computer Security Foundations Workshop, FEEE Computer Society Press, 1997, pp. 84-95.
20. L.C. Paulson, The inductive approach to verifying cryptographic protocols. Journal of Computer Security 6 (1998), 85-128.
21. D. Song, S. Berezin and A. Perrig, Athena, a novel approach to efficient automatic security protocol analysis, Journal of Computer Security 9(1,2) (2001), 47-74.
22. P. Syverson and P. van Oorschot, On unifying some cryptographic protocols logics, in: Proceedings of the IEEE Symposium on Research in Security and Privacy, IEEE Computer Society Press, 1994, pp. 14-24.
23. F.J. Thayer, J.H. Herzog and J. Guttman, Strand spaces: Proving security protocols correct, Journal of Computer Security 7(2/3) (1999), 191-230.