Secure Metering Data Aggregation With Batch Verification in Industrial Smart Grid | IEEE Journals & Magazine | IEEE Xplore