TR 33.902
Formal Analysis of the 3G Authentication Protocol
V4.0.0 (Wzip)
2001/10 10 p.
V3.1.0
1999/12 10 p.
- Rapporteur:
- Dr. Horn, Guenther
full Table of Contents for TR 33.902 Word version: 4.0.0
| 1 | Scope p. 5 | ||||
| 2 | References p. 5 | ||||
| 3 | Definitions and Abbreviations p. 5 | ||||
| 4 | Formal analyses p. 5
| ||||
| A | Formal Analysis of the 3G Authentication Protocol with Modified Sequence Number Management p. 6 | ||||
| B | Formal analysis of 3G authentication and key agreement protocol p. 38 | ||||
| $ | Change history p. 47 |
