【手続補正書】
【提出日】平成17年10月31日(2005.10.31)
【手続補正１】
【補正対象書類名】明細書
【補正対象項目名】特許請求の範囲
【補正方法】変更
【補正の内容】
【特許請求の範囲】
【請求項１】
暗号処理アルゴリズムの暗号強度指標算出方法であり、
共通鍵ブロック暗号処理アルゴリズムを実行し、ＳＰＮ型のＦ関数を含む複数段のラウンド関数部を持つＦｅｉｓｔｅｌ構造からなる暗号処理部に対して暗号強度解析処理を施す解析ステップを有し、
前記解析ステップは、
前記暗号処理部に対するトランケイテッド(Truncated)パスデータを出力するトランケイテッド(Truncated)パスステップと、
前記暗号処理部におけるトランケイテッド(Truncated)パスデータを第１のデータと、第２のデータに分割する分割ステップと、
前記トランケイテッド(Truncated)パスにおいて、前記第１のデータ及び前記第２のデータの各変数に対応するトランケイテッド(Truncated)パスデータが０となる変数を等式から削除し、変数消去後、等式の右辺をすべて左辺に移項して得られる式を斉次連立一次方程式として設定する連立一次方程式設定ステップと、
前記連立一次方程式設定ステップにおいて設定した連立一次方程式を係数行列と変数ベクトルに基づいて、置きかえる行列置き換えステップと、
前記行列置き換えステップによって得られる連立方程式を用いて、前記第１のデータに対する解の集合及び第２のデータに対する解の集合を求める解集合算出ステップと、
前記第１のデータに対する解の集合と前記第２のデータに対する解の集合のすべての解の候補の組み合わせに対して特性確率を計算し、最大値を持つ特性確率を、暗号強度指標値としての前記トランケイテッド(Truncated)パスに対する最大特性確率として算出する最大特性確率算出ステップと、
を有することを特徴とする暗号強度指標算出方法。
【請求項２】
前記トランケイテッド(Truncated)パスステップは、トランケイテッド（Truncated）差分パスステップまたは、トランケイテッド（Truncated）線形パスステップの少なくとも１つを有することを特徴とする請求項１に記載の暗号強度指標算出方法。
【請求項３】
前記トランケイテッド（Truncated）差分パスステップは、前記暗号処理部から抜き出したデータの差分値がゼロであるか非ゼロであるかに応じて０または１を割り当てることを特徴とする請求項２に記載の暗号強度指標算出方法。
【請求項４】
前記トランケイテッド（Truncated）線形パスステップは、前記暗号処理部から抜き出したデータにマスク処理を施すことによりマスク値を生成し、各マスク値がゼロであるか非ゼロであるかに応じて０または１を割り当てることを特徴とする請求項２に記載の暗号強度指標算出方法。
【請求項５】
前記最大特性確立算出ステップは、最大差分特性確率算出ステップまたは、最大線形特性確率算出ステップの少なくとも１つを有することを特徴とする請求項１に記載の暗号強度指標算出方法。
【請求項６】
暗号処理アルゴリズムの暗号強度評価処理装置であり、
共通鍵ブロック暗号処理アルゴリズムを実行し、ＳＰＮ型のＦ関数を含む複数段のラウンド関数部を持つＦｅｉｓｔｅｌ構造からなる暗号処理手段に対して暗号強度解析処理を施す解析手段を有し、
前記解析手段は、
前記暗号処理部からトランケイテッド(Truncated)パスデータを出力するトランケイテッド(Truncated)パス処理と、
前記暗号処理部におけるトランケイテッド(Truncated)パスデータを第１のデータと、第２のデータに分割する分割処理と、
前記トランケイテッド(Truncated)パスにおいて、
前記第１のデータ及び前記第２のデータの各変数に対応するトランケイテッド(Truncated)パスデータが０となる変数を等式から削除し、変数消去後、等式の右辺をすべて左辺に移項して得られる式を斉次連立一次方程式として設定する連立一次方程式設定処理と、
前記連立一次方程式設定処理において設定した連立一次方程式を係数行列と変数ベクトルに基づいて、置きかえる行列置き換え処理と、
前記行列置き換え処理において得られる連立方程式を用いて、前記第１のデータに対する解の集合及び第２データに対する解の集合を求める解集合算出処理と、
前記第１のデータに対する解の集合と前記第２のデータに対する解の集合のすべての解の候補の組み合わせに対して特性確率を計算し、最大値を持つ特性確率を、暗号強度指標値としての前記トランケイテッド(Truncated)パスに対する最大特性確率として算出する最大特性確率算出処理と、
を有することを特徴とする暗号強度評価処理装置。
【請求項７】
暗号処理アルゴリズムの暗号強度指標算出処理を実行するコンピュータ・プログラムであり、
共通鍵ブロック暗号処理アルゴリズムを実行し、ＳＰＮ型のＦ関数を含む複数段のラウンド関数部を持つＦｅｉｓｔｅｌ構造からなる暗号処理部に対して暗号強度解析処理を施す解析ステップを有し、
前記解析ステップは、
前記暗号処理部に対するトランケイテッド(Truncated)パスデータを出力するトランケイテッド(Truncated)パスステップと、
前記暗号処理部におけるトランケイテッド(Truncated)パスデータを第１のデータと、第２のデータに分割する分割ステップと、
前記トランケイテッド(Truncated)パスにおいて、前記第１のデータ及び前記第２のデータの各変数に対応するトランケイテッド(Truncated)パスデータが０となる変数を等式から削除し、変数消去後、等式の右辺をすべて左辺に移項して得られる式を斉次連立一次方程式として設定する連立一次方程式設定ステップと、
前記連立一次方程式設定ステップにおいて設定した連立一次方程式を係数行列と変数ベクトルに基づいて、置きかえる行列置き換えステップと、
前記行列置き換えステップによって得られる連立方程式を用いて、前記第１のデータに対する解の集合及び第２のデータに対する解の集合を求める解集合算出ステップと、
前記第１のデータに対する解の集合と前記第２のデータに対する解の集合のすべての解の候補の組み合わせに対して特性確率を計算し、最大値を持つ特性確率を、暗号強度指標値としての前記トランケイテッド(Truncated)パスに対する最大特性確率として算出する最大特性確率算出ステップと、
を含むことを特徴とするコンピュータ・プログラム。
【手続補正２】
【補正対象書類名】明細書
【補正対象項目名】０００９
【補正方法】変更
【補正の内容】
【０００９】
【課題を解決するための手段】
本発明の第１の側面は、
暗号処理アルゴリズムの暗号強度指標算出方法であり、
共通鍵ブロック暗号処理アルゴリズムを実行し、ＳＰＮ型のＦ関数を含む複数段のラウンド関数部を持つＦｅｉｓｔｅｌ構造からなる暗号処理部に対して暗号強度解析処理を施す解析ステップを有し、
前記解析ステップは、
前記暗号処理部に対するトランケイテッド(Truncated)パスデータを出力するトランケイテッド(Truncated)パスステップと、
前記暗号処理部におけるトランケイテッド(Truncated)パスデータを第１のデータと、第２のデータに分割する分割ステップと、
前記トランケイテッド(Truncated)パスにおいて、前記第１のデータ及び前記第２のデータの各変数に対応するトランケイテッド(Truncated)パスデータが０となる変数を等式から削除し、変数消去後、等式の右辺をすべて左辺に移項して得られる式を斉次連立一次方程式として設定する連立一次方程式設定ステップと、
前記連立一次方程式設定ステップにおいて設定した連立一次方程式を係数行列と変数ベクトルに基づいて、置きかえる行列置き換えステップと、
前記行列置き換えステップによって得られる連立方程式を用いて、前記第１のデータに対する解の集合及び第２のデータに対する解の集合を求める解集合算出ステップと、
前記第１のデータに対する解の集合と前記第２のデータに対する解の集合のすべての解の候補の組み合わせに対して特性確率を計算し、最大値を持つ特性確率を、暗号強度指標値としての前記トランケイテッド(Truncated)パスに対する最大特性確率として算出する最大特性確率算出ステップと、
を有することを特徴とする暗号強度指標算出方法にある。
【手続補正３】
【補正対象書類名】明細書
【補正対象項目名】００１０
【補正方法】変更
【補正の内容】
【００１０】
さらに、本発明の暗号強度指標算出方法の一実施態様において、前記トランケイテッド(Truncated)パスステップは、トランケイテッド（Truncated）差分パスステップまたは、トランケイテッド（Truncated）線形パスステップの少なくとも１つを有することを特徴とする。
【手続補正４】
【補正対象書類名】明細書
【補正対象項目名】００１１
【補正方法】変更
【補正の内容】
【００１１】
さらに、本発明の暗号強度指標算出方法の一実施態様において、前記トランケイテッド（Truncated）差分パスステップは、前記暗号処理部から抜き出したデータの差分値がゼロであるか非ゼロであるかに応じて０または１を割り当てることを特徴とする。
【手続補正５】
【補正対象書類名】明細書
【補正対象項目名】００１２
【補正方法】変更
【補正の内容】
【００１２】
さらに、本発明の暗号強度指標算出方法の一実施態様において、前記トランケイテッド（Truncated）線形パスステップは、前記暗号処理部から抜き出したデータにマスク処理を施すことによりマスク値を生成し、各マスク値がゼロであるか非ゼロであるかに応じて０または１を割り当てることを特徴とする。
【手続補正６】
【補正対象書類名】明細書
【補正対象項目名】００１３
【補正方法】変更
【補正の内容】
【００１３】
さらに、本発明の暗号強度指標算出方法の一実施態様において、前記最大特性確立算出ステップは、最大差分特性確率算出ステップまたは、最大線形特性確率算出ステップの少なくとも１つを有することを特徴とする。
【手続補正７】
【補正対象書類名】明細書
【補正対象項目名】００１４
【補正方法】変更
【補正の内容】
【００１４】
さらに、本発明の第２の側面は、
暗号処理アルゴリズムの暗号強度評価処理装置であり、
共通鍵ブロック暗号処理アルゴリズムを実行し、ＳＰＮ型のＦ関数を含む複数段のラウンド関数部を持つＦｅｉｓｔｅｌ構造からなる暗号処理手段に対して暗号強度解析処理を施す解析手段を有し、
前記解析手段は、
前記暗号処理部からトランケイテッド(Truncated)パスデータを出力するトランケイテッド(Truncated)パス処理と、
前記暗号処理部におけるトランケイテッド(Truncated)パスデータを第１のデータと、第２のデータに分割する分割処理と、
前記トランケイテッド(Truncated)パスにおいて、
前記第１のデータ及び前記第２のデータの各変数に対応するトランケイテッド(Truncated)パスデータが０となる変数を等式から削除し、変数消去後、等式の右辺をすべて左辺に移項して得られる式を斉次連立一次方程式として設定する連立一次方程式設定処理と、
前記連立一次方程式設定処理において設定した連立一次方程式を係数行列と変数ベクトルに基づいて、置きかえる行列置き換え処理と、
前記行列置き換え処理において得られる連立方程式を用いて、前記第１のデータに対する解の集合及び第２データに対する解の集合を求める解集合算出処理と、
前記第１のデータに対する解の集合と前記第２のデータに対する解の集合のすべての解の候補の組み合わせに対して特性確率を計算し、最大値を持つ特性確率を、暗号強度指標値としての前記トランケイテッド(Truncated)パスに対する最大特性確率として算出する最大特性確率算出処理と、
を有することを特徴とする暗号強度評価処理装置にある。
【手続補正８】
【補正対象書類名】明細書
【補正対象項目名】００１５
【補正方法】削除
【補正の内容】
【手続補正９】
【補正対象書類名】明細書
【補正対象項目名】００１６
【補正方法】削除
【補正の内容】
【手続補正１０】
【補正対象書類名】明細書
【補正対象項目名】００１７
【補正方法】変更
【補正の内容】
【００１７】
さらに、本発明の第３の側面は、
暗号処理アルゴリズムの暗号強度指標算出処理を実行するコンピュータ・プログラムであり、
共通鍵ブロック暗号処理アルゴリズムを実行し、ＳＰＮ型のＦ関数を含む複数段のラウンド関数部を持つＦｅｉｓｔｅｌ構造からなる暗号処理部に対して暗号強度解析処理を施す解析ステップを有し、
前記解析ステップは、
前記暗号処理部に対するトランケイテッド(Truncated)パスデータを出力するトランケイテッド(Truncated)パスステップと、
前記暗号処理部におけるトランケイテッド(Truncated)パスデータを第１のデータと、第２のデータに分割する分割ステップと、
前記トランケイテッド(Truncated)パスにおいて、前記第１のデータ及び前記第２のデータの各変数に対応するトランケイテッド(Truncated)パスデータが０となる変数を等式から削除し、変数消去後、等式の右辺をすべて左辺に移項して得られる式を斉次連立一次方程式として設定する連立一次方程式設定ステップと、
前記連立一次方程式設定ステップにおいて設定した連立一次方程式を係数行列と変数ベクトルに基づいて、置きかえる行列置き換えステップと、
前記行列置き換えステップによって得られる連立方程式を用いて、前記第１のデータに対する解の集合及び第２のデータに対する解の集合を求める解集合算出ステップと、
前記第１のデータに対する解の集合と前記第２のデータに対する解の集合のすべての解の候補の組み合わせに対して特性確率を計算し、最大値を持つ特性確率を、暗号強度指標値としての前記トランケイテッド(Truncated)パスに対する最大特性確率として算出する最大特性確率算出ステップと、
を含むことを特徴とするコンピュータ・プログラムにある。
【手続補正１１】
【補正対象書類名】明細書
【補正対象項目名】００１８
【補正方法】削除
【補正の内容】