Lightweight anonymous authentication and key agreement protocol resistant to desynchronization attacks | Synapse