Kristin Lauter Anton Mityagin Security Analysis of KEA Authenticated Key Exchange Protocol. 378-394 2006 conf/pkc/2006 Public Key Cryptography http://dx.doi.org/10.1007/11745853_25 db/conf/pkc/pkc2006.html#LauterM06