An Efficient Authenticated Key Exchange Protocol with a Tight Security Reduction. - Jooyoung Lee; Choon Sik Park (IACR Cryptol. ePrint Arch., 2008)