A secure and efficient identity-based authenticated key exchange protocol for mobile client–server networks