Provably secure group key exchange - Manulis, Mark (Bochum, Univ., Diss., 2007, 2007)