Tuomas Aura Aarthi Nagarajan Andrei Gurtov Analysis of the HIP Base Exchange Protocol. 481-493 2005 conf/acisp/2005 ACISP http://dx.doi.org/10.1007/11506157_40 db/conf/acisp/acisp2005.html#AuraNG05