HealthFort: A Cloud-Based eHealth System With Conditional Forward Transparency and Secure Provenance via Blockchain | IEEE Journals & Magazine | IEEE Xplore