An anonymous and provably secure authentication scheme for mobile user. (29th February 2016)