lopullisesti ratkaistu: se on $\Sigma$-protokollat! viivalla. </cant-stop-wont-stop>
[Cra97] turvallisten mutta käytännöllisten salausprotokollien modulaarinen suunnittelu; kirjoittanut Cramer, Ronald; 1997;
516