Mark Manulis Provably secure group key exchange. 2007 Ruhr University Bochum 1-222 978-3-89966-275-7 https://d-nb.info/985305509