ETSI TR 133 902
ETSI TR 133 902
Universal Mobile Telecommunications System (UMTS); Formal Analysis of the 3G Authentication Protocol (3GPP TR 33.902 version 4.0.0 Release 4)
standard published 09/01/2001 by European Telecommunications Standards Institute
