Security of Indirect-Authenticated Key Exchange Protocol. - Hsu-Hung Chiang; Ching-Chung Liu; Ying-Ming Chen; Ya-Fen Chang (IIH-MSP, 2009)