tech-invite   World Map
3GPP     Specs     Glossaries     UICC       T+       IETF     RFCs     Groups     SIP     ABNFs       Search     Home
Top        in Index        Prev        Next

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

|   ToC   |   3GPP‑Page   |   ETSI‑search   |   Help   |

(P) V4.0.0    2001/10    10 p.
(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