Privacy-Preserved, Provable Secure, Mutually Authenticated Key Agreement Protocol for Healthcare in a Smart City Environment | IEEE Journals & Magazine | IEEE Xplore