1. 3GPP: Formal Analysis of the 3G Authentication Protocol. TR 33.902, 3rd Generation Partnership Project (3GPP) (2001),
http://www.3gpp.org/ftp/Specs/html-info/33902.htm
2. 3GPP: Numbering, addressing and identification. TS 23.003, 3rd Generation Partnership Project (3GPP) (2011),
http://www.3gpp.org/ftp/Specs/html-info/23003.htm
3. 3GPP: 3G Security; Security architecture. TS 33.102, 3rd Generation Partnership Project (3GPP) (2012),
http://www.3gpp.org/ftp/Specs/html-info/33102.htm
4. 3GPP: 3GPP System Architecture Evolution (SAE);Security aspects of non-3GPP accesses. TS 33.402, 3rd Generation Partnership Project (3GPP) (2012),
http://www.3gpp.org/ftp/Specs/html-info/33402.htm
5. 3GPP: Architecture enhancements for non-3GPP accesses. TS 23.402, 3rd Generation Partnership Project (3GPP) (2012),
http://www.3gpp.org/ftp/Specs/html-info/23402.htm