A Provably Secure and Efficient Identity-Based Anonymous Authentication Scheme for Mobile Edge Computing | Synapse