defeating imsi catchers .
On the security of public key protocols