携帯電話上における証明付き認証

抄録

汎用的なアクセス制御システムを構築する手法として，証明付き認証(proof-carrying authentication)がある．これは、権限を受ける側が自分には権限があるという証明を送り、権限を与える側はその証明をチェックし，正しければ権限を授与するという手法である。権限を与える側は証明チェッカを実装するのみでよいので負担が軽い。本研究では、logical frameworkによって表現された論理体系から，Java言語で実装された証明チェッカを導出する変換器を構築することにより，携帯電話上において証明付き認証を実装している．本論文では，その変換器の概略と，携帯電話上の証明付き認証を用いた簡単なアプリケーション例について述べる．