Provably secure group key exchange - Manulis, Mark (2007)