1. [1] Tamarin tool code.
2. [2] 3GPP. 3G Security; Formal Analysis of the 3G Authentication Protocol. TS 33.902, (3GPP).
3. [3] 3GPP. 3G security; Security architecture. TS 33.102, (3GPP).
4. [4] 3GPP. 3G Security; Specification of the MILENAGE algorithm set: An example algorithm set for the 3GPP authentication and key generation functions f1, f1*, f2, f3, f4, f5 and f5*; Document 2: Algorithm specification. Technical Specification (TS) 35.206, (3GPP).
5. [5] 3GPP. 3GPP System Architecture Evolution (SAE); Security architecture. TR 33.401, (3GPP).