Michel Abdalla Emmanuel Bresson Olivier Chevassut Bodo Möller David Pointcheval Provably secure password-based authentication in TLS. 35-45 2006 conf/ccs/2006 ASIACCS http://doi.acm.org/10.1145/1128817.1128827 db/conf/ccs/ccs2006.html#AbdallaBCMP06