A Framework for Gateway-Oriented Password-Authenticated Key Exchange in the Standard Model