A Provable Secure and Lightweight Smart Healthcare Cyber-Physical System With Public Verifiability | IEEE Journals & Magazine | IEEE Xplore