An Ultra-Lightweight and Provably Secure Broadcast Authentication Protocol for Smart Grid Communications | IEEE Journals & Magazine | IEEE Xplore