ETSI - TR 133 902
Universal Mobile Telecommunications Systems (UMTS); Formal Analysys of the 3G Authentication Protocol
active, Most Current
| Organization: | ETSI |
| Publication Date: | 1 September 2001 |
| Status: | active |
| Page Count: | 10 |
Document History
TR 133 902
September 1, 2001
Universal Mobile Telecommunications Systems (UMTS); Formal Analysys of the 3G Authentication Protocol
A description is not available for this item.
January 1, 2000
Universal Mobile Telecommunications Systems (UMTS); Formal Analysys of the 3G Authentication Protocol
This report contains formal analyses of the authentication and key agreement (AKA) protocol specified in 3G TS 33.102. These analyses are carried out using various means of formal logic suitable for...