An Anonymous Property-Based Attestation Protocol from Bilinear Maps | IEEE Conference Publication | IEEE Xplore