Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures.

Graham Steel, Alan Bundy, Monika Maidl

Browse the full CADE paper archive.