Hua Guo Yi Mu Xiyong Zhang Zhoujun Li Server-Controlled Identity-Based Authenticated Key Exchange. 214-229 2009 ProvSec http://dx.doi.org/10.1007/978-3-642-04642-1_18 conf/provsec/2009 db/conf/provsec/provsec2009.html#GuoMZL09