Security analysis and enhancements of 3GPP authentication and key agreement protocol | Synapse