Cryptology ePrint Archive: Report 2013/227

Analysis of authentication and key establishment in inter-generational mobile telephony

Chunyu Tang and David A. Naumann and Susanne Wetzel

Abstract: Second (GSM), third (UMTS), and fourth-generation (LTE) mobile telephony protocols are all in active use, giving rise to a number of interoperation situations. Although the standards address roaming by specifying switching and mapping of established security context, there is not a comprehensive specification of which are the possible interoperation cases. Nor is there comprehensive specification of the procedures to establish security context (authentication and short-term keys) in the various interoperation scenarios. This paper systematically enumerates the cases, classifying them as allowed, disallowed, or uncertain with rationale based on detailed analysis of the specifications. We identify the authentication and key agreement procedure for each of the possible cases. We formally model these scenarios and analyze their security, in the symbolic model, using the tool ProVerif. We find two scenarios that inherit a known false base station attack. We find an attack on the CMC message of another scenario.

Category / Keywords: wireless network protocol authentication protocol interoperation formal method

Date: received 17 Apr 2013, last revised 31 Jul 2013

Contact author: ctang at cs stevens edu

Available format(s): PDF | BibTeX Citation

Note: Minor modifications

Version: 20130731:200521 (All versions of this report)

Discussion forum: Show discussion | Start new discussion


[ Cryptology ePrint archive ]