A vulnerability in the UMTS and LTE authentication and key agreement protocols

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

Volumn 7531 LNCS, Issue , 2012, Pages 65-76

  Tsay, Joe Kai ^a   Mjølsnes, Stig F ^a  

^a NORWEGIAN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Norway)

Author keywords

Applied Cryptography; Authentication; LTE; Mobile Network Security; Security Protocols; UMTS; Vulnerability Assessment

Indexed keywords

3G MOBILE COMMUNICATION SYSTEMS; AUTHENTICATION; COMPUTER ARCHITECTURE; GLOBAL SYSTEM FOR MOBILE COMMUNICATIONS; LONG TERM EVOLUTION (LTE); MOBILE SECURITY; MOBILE TELECOMMUNICATION SYSTEMS; NETWORK ARCHITECTURE; NETWORK PROTOCOLS; SPECIFICATIONS; WIRELESS NETWORKS;

3RD GENERATION PARTNERSHIP PROGRAM (3GPP); APPLIED CRYPTOGRAPHY; AUTHENTICATION AND KEY AGREEMENT PROTOCOLS; AUTHENTICATION AND KEY AGREEMENTS; IDENTITY AUTHENTICATION PROTOCOL; SECURITY PROTOCOLS; UNIVERSAL MOBILE TELECOMMUNICATIONS SYSTEMS; VULNERABILITY ASSESSMENTS;

NETWORK SECURITY;

EID: 84881133609     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-33704-8_6     Document Type: Conference Paper

References (20)

1. 3GPP TS 33.102. 3G Security; Formal Analysis of the 3G Authentication Protocol, http://www.3gpp.org/ftp/Specs/html-info/33902.html
2. 3GPP TS 29.002. Digital cellular telecommunications system (Phase 2+); Universal Mobile Telecommunications System (UMTS); Mobile Application Part (MAP) specification, http://www.3gpp.org/ftp/Specs/html-info/29002.html
3. 3GPP TS 33.102. LTE; 3G Security; Security Architecture, http://www.3gpp.org/ftp/Specs/html-info/33102.html
4. 3GPP TS 33.200. 3G Security; Network Domain Security (NDS); Mobile Application Part (MAP) application layer security, http://www.3gpp.org/ftp/ Specs/html-info/33200.html
5. 3GPP TS 33.210. LTE; 3G Security; Network Domain Security (NDS); IP network layer security, http://www.3gpp.org/ftp/Specs/html-info/33210.html
6. 3GPP TS 33.310. LTE; Network Domain Security (NDS); Authentication Framework (AF), http://www.3gpp.org/ftp/Specs/html-info/33310.html
7. 3GPP TS 33.401. LTE; 3GPP System Architecture Evolution (SAE); Security Architecture, http://www.3gpp.org/ftp/Specs/html-info/33401.html
8. 3GPP TS 42.009. Digital cellular telecommunications system (Phase 2+); Security Aspects, http://www.3gpp.org/ftp/Specs/html-info/42009.html
9. 3GPP TS 43.020. Digital cellular telecommunications system (Phase 2+); Security related network functions, http://www.3gpp.org/ftp/Specs/html-info/ 43020.html
10. Arapinis, M., Mancini, L.I., Ritter, E., Ryan, M.: Formal Analysis of UMTS Privacy. CoRR, abs/1109.2066 (2011), http://arxiv.org/abs/1109.2066
11. Blanchet, B.: An Efficient Cryptographic Protocol Verifier Based on Prolog Rules. In: 14th IEEE Computer Security Foundations Workshop (CSFW-14), Cape Breton, Nova Scotia, Canada, pp. 82-96. IEEE Computer Society (June 2001) (Pubitemid 32877779)
12. Blanchet, B.: An Efficient Cryptographic Protocol Verifier Based on Prolog Rules. In: 14th IEEE Computer Security Foundations Workshop (CSFW-14), Cape Breton, Nova Scotia, Canada, pp. 82-96. IEEE Computer Society (June 2001) (Pubitemid 32877779)
13. Blanchet, B.: A Computationally Sound Mechanized Prover for Security Protocols. In: IEEE Symposium on Security and Privacy, Oakland, California, pp. 140-154 (May 2006) (Pubitemid 44753719)
14. Blanchet, B.: A Computationally Sound Mechanized Prover for Security Protocols. IEEE Transactions on Dependable and Secure Computing 5(4), 193-207 (2006); Special issue IEEE Symposium on Security and Privacy 2006
15. Dolev, D., Yao, A.: On the security of public-key protocols. IEEE Transactions on Information Theory 2(29), 198-208 (1983)
16. IETF. Diameter Base Protocol RFC 3588 (September 2003), http://www.ietf.org/rfc/rfc3588.txt
17. International Telecom Union. ICT Indication Database (2011), http://www.itu.int/ITU-D/ict/statistics/
18. Meyer, U., Wetzel, S.: A man-in-the-middle attack on UMTS. In: Proceedings of the 3rd ACM Workshop on Wireless Security (WiSe 2004), Philadelphia, PA, USA, pp. 90-97 (2004) (Pubitemid 40062799)
19. Mjølsnes, S.F., Tsay, J.-K.: Compuational Security Analysis of the UMTS and LTE Authentication and Key Agreement Protocols. CoRR, abs/1203.3866 (2012)
20. Zhang, M., Fang, Y.: Security analysis and enhancements of 3GPP authentication and key agreement protocol. IEEE Transactions on Wireless Communications 4(2), 734-742 (2005) (Pubitemid 40519754)