33.902: Formal Analysis of the 3G Authentication Protocol

Info Page @ 3GPP
Rel-4
v4.0.0
R99
v3.1.0