beslist, eens en voor altijd: het zijn $\Sigma$-protocollen! met een streepje. </cant-stop-wont-stop>

[Cra97] Modulaire Ontwerp van Veilige maar Praktische Cryptografische Protocollen; door Cramer, Ronald; 1997;