A provably secure password-based anonymous authentication scheme for wireless body area networks. (January 2018)