A Security Verification System Based on Bilinear Maps in the Multi-cloud Environment | IEEE Conference Publication | IEEE Xplore