• 三菱電機株式会社
  「2003年度 IPAソフトウェア開発支援事業一括公募」において採択。

　暗号技術については、暗号アルゴリズムそのものではなく、その実装方法に問題があることが多い。そのため、暗号化LSIチップ等の暗号製品（暗号モジュール）の安全性を評価することも必要である。
　暗号モジュールの評価の一環として、実装された暗号アルゴリズムの正当性を検証す るという項目があり、本調査開発では、以下に関する調査検討及び技術開発を行った。

• (1)暗号モジュールに実装された暗号アルゴリズムが、仕様書どおりに正しく実装されているか
  どうかを検証するための方法の検討
• (2)上記の検証を行うための検証ツールの仕様検討及びプロトタイプの開発

• 「成果概要報告書」 （156 KB）
• 「調査報告書」 （421 KB）