An Efficient Provably Secure Verifier-Based Three-Factor Authentication Technique Using PDL for Data Exchange in TMIS | IEEE Journals & Magazine | IEEE Xplore