Daeyoung Kim Younggang Cui Sangjin Kim Heekuck Oh A Privacy Protecting UMTS AKA Protocol Providing Perfect Forward Secrecy. 987-995 2007 conf/iccsa/2007-2 ICCSA (2) http://dx.doi.org/10.1007/978-3-540-74477-1_88 db/conf/iccsa/iccsa2007-2.html#KimCKO07