Efficient Two-Party Password-Based Key Exchange Protocols in the UC Framework