Agathe Merceron: Proving "no Cliques" in a Protocol. ACSC 2001: 134-139