セキュリティプロトコルの検証技術(1)－カギ交換プロトコルの安全性証明でよく見られる誤り

摘要

暗号を用いたセキュアプロトコルの安全性を示すための数学的手法が様々提案されているが、安全性証明の作成·正当性の確認には高い数学的知識が必要とされるため、安全でないプロトコルが（誤った証明のため）安全であると主張される問題が起きている。 本稿では、そのような証明エラーの一例としてBoydらにより提案された鍵交換プロトコルを取り上げ、どのようなエラー·攻撃が存在するのか説明する。