diselesaikan, sekali dan untuk selamanya: ini adalah protokol $\Sigma$! dengan tanda hubung. </cant-stop-wont-stop>

[Cra97] Desain Modular Protokol Kriptografi yang Aman namun Praktis; oleh Cramer, Ronald; 1997;