Security of the J PAKE Password Authenticated Key Exchange Protocol