公理的安全性の枠組みにおける汎用的結合可能な相互認証と鍵交換の記号的安全性(理論)

抄録

汎用的結合可能な安全性の検証法として,DolevとYaoの記号的モデルを基とした検証法が提案されている.本論文では,我々のグループで提案した記号的モデルで汎用的結合可能な安全性が検証可能であることを従来の検証対象について確かめる.具体的には,公開鍵暗号とディジタル署名を利用した相互認証と鍵交換プロトコルに対し,汎用的結合可能な安全性に対応する記号的安全性を我々の記号的モデルに基づき定義し,健全性を示す.