Lightweight Anonymous Authentication and Key Agreement Protocol for a Smart Grid | Synapse