New security proofs for the 3GPP confidentiality and integrity algorithms

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3017, Issue , 2004, Pages 427-445

  Iwata, Tetsu ^a   Kohno, Tadayoshi ^b  

^a IBARAKI UNIVERSITY   (Japan)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CRYPTOGRAPHY; GLOBAL SYSTEM FOR MOBILE COMMUNICATIONS; MOBILE TELECOMMUNICATION SYSTEMS; SECURITY OF DATA;

BLOCK CIPHERS; PAPER ANALYSIS; PRP ASSUMPTIONS; RELATED KEY ATTACKS; SECURITY PROOFS; THIRD GENERATION WIRELESS COMMUNICATION; UNIVERSAL MOBILE TELECOMMUNICATION SYSTEMS;

3G MOBILE COMMUNICATION SYSTEMS;

EID: 26444467043     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-25937-4_27     Document Type: Article

References (23)

1. 3GPP TS 35.201 v 3.1.1. Specification of the 3GPP confidentiality and integrity algorithms, Document 1: f8 and f9 specification. Available at http://www.3gpp.org/tb/other/algorithms.htm.
2. 3GPP TS 35.202 v 3.1.1. Specification of the 3GPP confidentiality and integrity algorithms, Document 2: KASUMI specification. Available at http://www.3gpp.org/tb/other/algorithms.htm.
3. M. Bellare, A. Desai, E. Jokipii, and P. Rogaway. A concrete security treatment of symmetric encryption. Proceedings of The 38th Annual Symposium on Foundations of Computer Science, FOCS '97, pp. 394-405, IEEE, 1997.
4. M. Bellare, J. Kilian, and P. Rogaway. The security of the cipher block chaining message authentication code. JCSS, vol. 61, no. 3, pp. 362-399, 2000. Earlier version in Y. Desmedt, editor, Advances in Cryptology - CRYPTO '94, volume 839 of Lecture Notes in Computer Science, pages 341-358. Springer-Verlag, Berlin Germany, 1994.
5. M. Bellare, and T. Kohno. A theoretical treatment of related-key attacks: RKA-PRPs, RKA-PRFs, and applications. In E. Biham, editor, Advances in Cryptology - EUROCRYPT 2003, volume 2656 of Lecture Notes in Computer Science, pages 491-506. Springer-Verlag, Berlin Germany, 2003.
6. M. Bellare, P. Rogaway, and D. Wagner. The EAX mode of operation. In W. Meier and B. Roy, editors, Fast Software Encryption, FSE 2004, Springer-Verlag, 2004.
7. E. Biham. New types of cryptanalytic attacks using related keys. In T. Helleseth, editor, Advances in Cryptology - EUROCRYPT '93, volume 765 of Lecture Notes in Computer Science, pages 398-409. Springer-Verlag, Berlin Germany, 1993.
8. J. Black and P. Rogaway. A block-cipher mode of operation for parallelizable message authentication. In L. R. Knudsen, editor, Advances in Cryptology - EUROCRYPT 2002, volume 2332 of Lecture Notes in Computer Science, pages 384-397. Springer-Verlag, Berlin Germany, 2002.
9. M. Blunden and A. Escott. Related key attacks on reduced round KASUMI. In M. Matsui, editor, Fast Software Encryption, FSE 2001, volume 2355 of Lecture Notes in Computer Science, pages 277-285. Springer-Verlag, Berlin Germany, 2002.
10. J. Daemen and V. Rijmen. The Design of Rijndael. Springer-Verlag, Berlin Germany, 2002.
11. Evaluation report (version 2.0). Specification of the 3GPP confidentiality and integrity algorithms, Report on the evaluation of 3GPP confidentiality and integrity algorithms. Available at http://www.3gpp.org/tb/other/algorithms.htm.
12. D. Hong, J-S. Kang, B. Preneel and H. Ryu. A concrete security analysis for 3GPP-MAC. In T. Johansson, editor, Fast Software Encryption, FSE 2003, volume 2887 of Lecture Notes in Computer Science, pages 154-169. Springer-Verlag, Berlin Germany, 2003.
13. T. Iwata and T. Kohno. New security proofs for the 3GPP confidentiality and integrity algorithms. Full version of this paper, available at http://eprint.iacr.org/, 2004.
14. T. Iwata and K. Kurosawa. OMAC: One-Key CBC MAC. In T. Johansson, editor, Fast Software Encryption, FSE 2003, volume 2887 of Lecture Notes in Computer Science, pages 129-153. Springer-Verlag, Berlin Germany, 2003.
15. T. Iwata and K. Kurosawa. On the correctness of security proofs for the 3GPP confidentiality and integrity algorithms. In K. G. Paterson, editor, Cryptography and Coding, Ninth IMA International Conference, volume 2898 of Lecture Notes in Computer Science, pages 306-318. Springer-Verlag, Berlin Germany, 2003.
16. J. Jonsson. On the Security of CTR+CBC-MAC. In K. Nyberg and H.M. Heys, editors, Selected Areas in Cryptography, 9th Annual Workshop (SAC 2002), volume 2595 of Lecture Notes in Computer Science, pages 76-93. Springer-Verlag, Berlin Germany, 2002.
17. C.S. Jutla. Encryption modes with almost free message integrity. In B. Pfitzmann, editor, Advances in Cryptology - EUROCRYPT 2001, volume 2045 of Lecture Notes in Computer Science, pages 529-544. Springer-Verlag, Berlin Germany, 2001.
18. J-S. Kang, S-U. Shin, D. Hong and O. Yi. Provable security of KASUMI and 3GPP encryption mode f8. In C. Boyd, editor, Advances in Cryptology - ASIACRYPT 2001, volume 2248 of Lecture Notes in Computer Science, pages 255-271. Springer-Verlag, Berlin Germany, 2001.
19. L. R. Knudsen and C. J. Mitchell. Analysis of 3gpp-MAC and two-key 3gpp-MAC. Discrete Applied Mathematics, vol. 128, no. 1, pp. 181-191, 2003.
20. T. Kohno, J. Viega, and D. Whiting. CWC: A high-performance conventional authenticated encryption mode. In W. Meier and B. Roy, editors, Fast Software Encryption, FSE 2004, Springer-Verlag, 2004.
21. M. Luby and C. Rackoff. How to construct pseudorandom permutations from pseudorandom functions. SIAM J. Comput., vol. 17, no. 2, pp. 373-386, April 1988.
22. P. Rogaway, M. Bellare, J. Black, and T. Krovetz. OCB: a block-cipher mode of operation for efficient authenticated encryption. Proceedings of ACM Conference on Computer and Communications Security, ACM CCS 2001, ACM, 2001.
23. D. Whiting, R. Housley, and N. Ferguson. Counter with CBC-MAC (CCM). Submission to NIST. Available at http://csrc.nist.gov/CryptoToolkit/modes/.