証明可能安全なRFID所有権譲渡プロトコルの解析と改良

摘要

RFIDはワイヤレス通信により低コストで認証を行うデバイスである．バーコードの代替としての有力候補であるが，ライフサイクルを考えると悪意のある攻撃者の手に渡ることによるプライバシー侵害の問題が発生する．このため暗号学的な所有権譲渡プロトコルがこれまでに提案されてきたが，安全性証明が与えられたものはElkhiyaoui らによるものだけであった．我々は彼らの方式にも問題があることを指摘し，新しいセキュリティモデルのもとで証明可能安全性を有するプロトコルの提案を行う．