réglé, une bonne fois pour toutes : ce sont les protocoles $\Sigma$ ! avec un tiret. </cant-stop-wont-stop>

[Cra97] Conception Modulaire de Protocoles Cryptographiques Sécurisés mais Pratiques; par Cramer, Ronald; 1997;