Kazukuni Kobara SeongHan Shin Mario Strefler Partnership in key exchange protocols. 161-170 2009 ASIACCS http://doi.acm.org/10.1145/1533057.1533081 conf/ccs/2009asia db/conf/ccs/asiaccs2009.html#KobaraSS09