EPS mutual authentication and crypt-analyzing SPAKA | IEEE Conference Publication | IEEE Xplore