The fifth generation wireless system (5G) is expected to handle with an unpredictable number of heterogeneous connected devices while guaranteeing a high level of security. This paper advances a group-based Authentication and Key Agreement (AKA) protocol that contributes to reduce latency and bandwidth consumption, and scales up to a very large number of devices. A central feature of the proposed protocol is that it provides a way to dynamically customize the trade-off between security and efficiency. The protocol is lightweight as it resorts on symmetric key encryption only, hence it supports low-end devices and can be already adopted in current standards with little effort. Using ProVerif, we prove that the protocol meets mutual authentication, key confidentiality, and device privacy also in presence of corrupted devices, a threat model not being addressed in the state-of-the-art group-based AKA proposals. We evaluate the protocol performances in terms of latency and bandwidth consumption, and obtain promising results.
This is a preview of subscription content, log in to check access.
Emura, K., Hayashi, T.: A light-weight group signature scheme with time-token dependent linking. In: Güneysu, T., Leander, G., Moradi, A. (eds.) LightSec 2015. LNCS, vol. 9542, pp. 37–57. Springer, Heidelberg (2016). doi:10.1007/978-3-319-29078-2_3CrossRefGoogle Scholar
Ericsson: Ericsson mobility report. Technical report (2015)Google Scholar
Fouque, P.A., Onete, C., Richard, B.: Achieving better privacy for the 3GPP AKA protocol. IACR Cryptology ePrint Archive 2016, p. 480 (2016)Google Scholar
Giustolisi, R., Gehrmann, C.: Threats to 5G group-based authentication. In: SECRYPT 2016 - Proceedings of the 13th International Conference on Security and Cryptography. SciTePress (2016)Google Scholar
Hwang, J.Y., Eom, S., Chang, K.Y., Lee, P.J., Nyang, D.: Anonymity-based authenticated key agreement with full binding property. J. Commun. Netw. 18(2), 190–200 (2016)Google Scholar
Hwang, J.Y., Lee, S., Chung, B.H., Cho, H.S., Nyang, D.: Group signatures with controllable linkability for dynamic membership. Inf. Sci. 222, 761–778 (2013)MathSciNetCrossRefzbMATHGoogle Scholar
Lai, C., Li, H., Lu, R., Shen, X.S.: SE-AKA: a secure and efficient group authentication and key agreement protocol for LTE networks. Comput. Netw. 57, 17 (2013)CrossRefGoogle Scholar
Nokia Siemens Networks: Signaling is growing 50% faster than data traffic. Technical Report (2012)Google Scholar
Oracle: Oracle communications LTE diameter signaling index, 4th edn. White Paper (2015)Google Scholar
Ryan, M.D., Smyth, B.: Applied pi calculus. In: Formal Models and Techniques for Analyzing Security Protocols, chap. 6. IOS Press (2011)Google Scholar
Sun, H.M., He, B.Z., Chen, C.M., Wu, T.Y., Lin, C.H., Wang, H.: A provable authenticated group key agreement protocol for mobile environment. Inf. Sci. 321, 224–237 (2015)MathSciNetCrossRefGoogle Scholar
Tang, C., Naumann, D.A., Wetzel, S.: Analysis of authentication and key establishment in inter-generational mobile telephony. In: IEEE 10th International Conference on Embedded and Ubiquitous Computing (HPCC_EUC). pp. 1605–1614 (2013)Google Scholar