endgültig geklärt: es sind die $\Sigma$-Protokolle! mit einem Bindestrich. </cant-stop-wont-stop>
[Cra97] Modulares Design von sicheren und dennoch praktischen kryptografischen Protokollen; von Cramer, Ronald; 1997;
445