Research Article

A Provably Secure Three-Factor Authentication Protocol for Wireless Sensor Networks

Figure 4

Definitions and queries.
(a) Definitions
(b) Events and queries