きっぱりと解決しました: それは $\Sigma$ プロトコルです! ダッシュで。 </cant-stop-wont-stop>

[クラ97]安全かつ実用的な暗号化プロトコルのモジュール設計。クレイマー、ロナルド著。1997;