Provable Secure Encrypted Key Exchange Protocol Under Standard Model