Universally composable secure Internet key exchange protocol
PENG Qing-quan;PEI Qing-qi;YANG Chao;MA Jian-feng
J4 . 2009, (4): 714 -720 .