A Provably Secure, Efficient, and Flexible Authentication Scheme for Ad hoc Wireless Sensor Networks | Synapse