SecureDAV: a secure data aggregation and verification protocol for sensor networks | IEEE Conference Publication | IEEE Xplore