TR 33.902 – Formal Analysis of 3G AKA
3GPP TR 33.902 is the 3GPP Technical Report for Formal Analysis of 3G AKA. It is published in 2 releases (R99 to Rel-4); the latest version is 4.0.0 in Rel-4.
Formal verification of 3G authentication and key agreement, covering protocol correctness, failure avoidance, and security goals.
Releases and versions of TR 33.902
| Release | Latest version | Links |
|---|---|---|
| Rel-4 | 4.0.0 | Read · Download (3GPP) |
| R99 | 3.1.0 | Read · Download (3GPP) |
Scope of TR 33.902
Category: Security (Authentication). Technology generation: 3G. Network layer: Security.
Who should read this specification?
- Network operators
- Device manufacturers
- Regulators and standards bodies
- Researchers and academics
Implementation notes
Complexity level: Expert. Implementation difficulty: High.
Key technologies
Other specifications in the 33 series
- TR 33.896 Technical Report on User Consent Enhancements
- TR 33.897 Security for Isolated E-UTRAN Operation (IOPS)
- TR 33.898 Technical Report on 5GS AI/ML Security
- TR 33.901 UMTS Cryptographic Algorithm Acquisition
- TR 33.905 Trust Recommendations for Open Platforms
- TR 33.908 3GPP KASUMI Algorithm Design Report
- TR 33.909 MILENAGE Authentication Algorithm Evaluation
- TR 33.916 Security Assurance Methodology (SECAM) Evaluation Process
Frequently asked questions
What is 3GPP TR 33.902?
3GPP TR 33.902 is the 3GPP Technical Report for Formal Analysis of 3G AKA. Formal verification of 3G authentication and key agreement, covering protocol correctness, failure avoidance, and security goals.
Which 3GPP releases include TR 33.902?
TR 33.902 is published in 2 releases, from R99 to Rel-4. The latest version on 3GPP Explorer is 4.0.0 (Rel-4).
What category does TR 33.902 belong to?
TR 33.902 belongs to the Security (Authentication) category of 3GPP specifications. It applies to 3G networks.
Now in 3GPP
View the full specification with interactive table of contents, version history, and AI analysis.
Read Full Specification →