Emmanuel Bresson Mark Manulis Jörg Schwenk On Security Models and Compilers for Group Key Exchange Protocols. 292-307 2007 conf/iwsec/2007 IWSEC http://dx.doi.org/10.1007/978-3-540-75651-4_20 db/conf/iwsec/iwsec2007.html#BressonMS07