Provably Authenticated Group Key Agreement based on Braid Groups − The Dynamic Case

External Document