Cryptographic analysis of GSM networks | IEEE Conference Publication | IEEE Xplore