Tech-invite   World Map
3GPPspecs     Glossaries     T+       IETF     RFCs     Groups     SIP     ABNFs
Top        in Index        Prev        Next

TR 33.902 (SA3)
Formal Analysis of the 3G Authentication Protocol

ToC      3GPP‑Page      ETSI‑search      Help       
V4.0.0 (PDF)    2001/10    10 p.
V3.1.0    1999/12    10 p.

Rapporteur:  Dr. Horn, Guenther
See also:  –

This report contains formal analyses of the authentication and key agreement (AKA) protocol specified in TS 33.102. These analyses are carried out using various means of formal logic suitable for demonstrating security and correctness properties of the AKA protocol.


Here        Top