An Efficient Lightweight Provably Secure Authentication Protocol for Patient Monitoring Using Wireless Medical Sensor Networks | IEEE Journals & Magazine | IEEE Xplore