tech-invite   World Map     

3GPP     Specs     Glossaries     Architecture     IMS     UICC       IETF     RFCs     Groups     SIP     ABNFs       Search

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