UC安全なマルチパーティの相互認証と鍵交換プロトコルに対する計算量的に健全な記号的基準

摘要

暗号プロトコルの計算量的安全性を記号的に証明するCanetti-Herzogの方式に対して，証明対象のconcreteプロトコルを公開鍵暗号理想機能ハイブリッドモデルから任意の理想機能のハイブリッドモデルに拡張し，また，マルチパーティ相互認証と鍵交換のsymbolic criteriaを与える．