resuelto, de una vez por todas: ¡son los protocolos $\Sigma$! con un guión. </cant-stop-wont-stop>

[Cra97] Diseño modular de protocolos criptográficos seguros pero prácticos; por Cramer, Ronald; 1997;