Attribute-Based Credentials for Privacy-Aware Smart Health Services in IoT-Based Smart Cities | IEEE Journals & Magazine | IEEE Xplore