Adversarial Model for Radio Frequency Identification
Authenticated Key Exchange Secure against Dictionary Attacks