AADEC: Anonymous and Auditable Distributed Access Control for Edge Computing Services | IEEE Journals & Magazine | IEEE Xplore