電子政府システムにおいて高い安全性を維持・確立するためには、数学的な安全性評価が不可欠となっている。attackに対する安全検証方法についての研究を行う必要がある。attackはグレブナー基底の話に帰着することが証明されている。attackに対する安全性検証を行うにあたり、グレブナー基底計算アルゴリズムの開発を行うことが不可欠である。我が国のセキュリティ評価技術の向上に資するため、本開発ではフランスのFaugere氏が提案した、グレブナー基底計算アルゴリズムにおいては現在(2004年9月)世界最速のF4,F5アルゴリズムを、IPAの所有する暗号技術監視用グリッドコンピュータへ実装し、暗号アルゴリズム評価を実現する。Japan(IPA)。