Analysis and improvement of an authenticated key exchange protocol for sensor networks | IEEE Journals & Magazine | IEEE Xplore