Dynamic Outsourced Auditing Services for Cloud Storage Based on Batch-Leaves-Authenticated Merkle Hash Tree | IEEE Journals & Magazine | IEEE Xplore