Tech-invite3GPPspecsGlossariesIETFRFCsGroupsSIPABNFsWorld Map
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