Implementation of authenticated key exchange protocol with anonymity