JPH10240511A - 暗号アルゴリズム開発支援装置及び暗号プログラム開発支援装置 - Google Patents

Abstract

(57)【要約】 【課題】 ブロック暗号アルゴリズムおよびブロック暗
号プログラムの開発を効率良く支援可能にする。 【解決手段】 予め定義したブロック暗号アルゴリズム
仕様記述記法によるブロック暗号アルゴリズムのダイア
グラム表現をユーザが記述及び編集するのを支援する暗
号ダイアグラム編集手段と、該暗号ダイアグラム編集手
段によって編集されたブロック暗号アルゴリズムのダイ
アグラム表現を格納する暗号ダイアグラム格納手段と、
格納されたブロック暗号アルゴリズムのダイアグラム表
現を解釈実行する暗号ダイアグラム解釈実行手段と、解
釈実行中のブロック暗号アルゴリズムのダイアグラム表
現に現れる変数の状態を格納する暗号ダイアグラム実行
環境格納手段と、このブロック暗号ダイアグラム実行環
境格納手段の内容を検査するための暗号ダイアグラム実
行環境検査手段と、を備える。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、予め定義しておい
たブロック暗号アルゴリズム仕様記述記法に基づいてブ
ロック暗号アルゴリズムの開発を支援する装置および該
アルゴリズムを実現するプログラムの開発を支援する装
置に関するものである。

【０００２】

【従来の技術】コンピュータネットワーク技術の発達等
によって情報の共有化が進むに従い、情報の漏洩を防ぐ
ための暗号技術に対する必要性が高まっている。暗号に
は大きく分けて、暗号化と復号化の時に同じ鍵を使用す
る秘密鍵暗号と、個人鍵と公開鍵という異なる鍵の組を
使用する公開鍵暗号がある。秘密鍵暗号は、暗号通信を
行なう際に鍵を送信者と受信者で共有する方法が問題と
なる。公開鍵暗号にはこの問題がない。

【０００３】しかし、公開鍵暗号は秘密鍵暗号に比べ
て、暗号化と復号化に要する計算量が大きい。このた
め、両者は用途によって使い分けられる。

【０００４】秘密鍵暗号としてよく用いられているもの
に、固定長のデータ（ブロック）を単位として暗号化と
復号化を行なうブロック暗号がある。ブロック暗号のア
ルゴリズムはこれまで種々のものが考案されている。文
献「Federal Information Processing Standards Publi
cation 46-2 1993 December 30;Announcing the DATAEN
CRYPTION STANDARD (DES)」に紹介されているＤＥＳは
その代表例である。

【０００５】ところで、このようなブロック暗号アルゴ
リズムやそれを実現する手段に関する研究開発が進むに
つれて、解読技術も高度化している。つまり、現在十分
な強度をもっている暗号アルゴリズムが、今後もそうで
あるとは限らないのである。そこで、新しい解読技術に
耐えられる新しいブロック暗号アルゴリズムを効率的に
開発できるようにする必要がある。

【０００６】そこで、従来において、ブロック暗号の開
発支援手段の一例として、特開平５−１４３４０号公報
に見られるように、ブロック暗号の中間一致閉性試験
（強度試験）を少ない記憶領域で実行可能とするもの
や、特開平８−１９０３４４号公報に見られるように、
ＤＥＳよりも探索計算量が多いＦＥＡＬ等のｉｎｖｏｌ
ｕｔｉｏｎ型暗号へ実用的な時間で適用可能な暗号アル
ゴリズムの強度評価装置が知られている。

【０００７】

【発明が解決しようとする課題】しかしながら、上記の
強度試験あるいは強度評価は、暗号アルゴリズムの作成
後に実施するものであり、基本的には、新しい解読技術
に耐えられる新しいブロック暗号アルゴリズムを如何に
効率良く開発するのを支援できるかが問題になる。

【０００８】そのためには、ブロック暗号アルゴリズム
の開発を効率化する手段が必要である。具体的には、
（１）ブロック暗号アルゴリズムを記述するための記
法、（２）該記法によるブロック暗号アルゴリズムの記
述と編集を支援する手段、（３）該記法によって記述さ
れたブロック暗号アルゴリズムを試験的に実行する手
段、（４）ブロック暗号アルゴリズムの強度を評価する
手段等が必要である。

【０００９】現在のところ、ブロック暗号アルゴリズム
を記述するための記法としては、非形式的なデータフロ
ーダイアグラムが通常用いられているが、ブロック暗号
アルゴリズムを細部まで正確に記述可能なものとはなっ
ていない。これが第１の問題点である。

【００１０】一方、暗号アルゴリズムは正確に実現され
なければ、期待した効果を得ることができない。通常の
ブロック暗号アルゴリズムは、固定長のビット列に対し
て比較的単純な演算を繰り返し行なうだけであるので、
アルゴリズムをそのまま反映したプログラムを作成する
のは困難ではない。しかし、実際には高速化などの要求
から何等かの最適化がなされることが多い。その場合、
プログラムが元のアルゴリズムを正確に実現しているこ
とを十分に確認する必要がある。したがって、ブロック
暗号のプログラムをテストするために多くのテストケー
スが必要となる。

【００１１】テストケースを作成するには、暗号アルゴ
リズムを実際に動作させて、平文とそれに対応する暗号
文の組を作成する必要がある。しかし、従来は手計算で
テストケースを作成しているため、多数の信頼できるテ
ストケースを効率良く生成することが不可能であった。
これが第２の問題点である。

【００１２】一方また、前記の暗号アルゴリズム記法
は、どちらかと言えばハードウェアによる実現に適した
記法であり、ブロック暗号アルゴリズムを実現するプロ
グラムの設計仕様としては不適当である。これが第３の
問題点である。

【００１３】さらに、前記のように、実用的なブロック
暗号プログラムを作成するためには、最適化を行なう必
要があるために、工数が掛かる。また、該ブロック暗号
プログラムを組み込む応用プログラムを開発する場合、
該ブロック暗号プログラムの開発が終了するまでは、ス
タブ（テスト用のダミーのサブルーチン）を使用するこ
とになる。したがって、その間は、応用プログラムをテ
ストする際に、該ブロック暗号を使用することができな
い。これが第４の問題点である。

【００１４】本発明の第１の目的は、予め定義したブロ
ック暗号アルゴリズム記法に基づいてブロック暗号アル
ゴリズムの記述と編集を効率良く支援することができる
暗号アルゴリズム開発支援装置を提供することにある。

【００１５】本発明の第２の目的は、前記ブロック暗号
アルゴリズム記法によって記述されたブロック暗号アル
ゴリズムを直接解釈実行することによって、該ブロック
暗号アルゴリズムを実現するプログラムをテストする際
に使用できるテストケースを自動的に生成し、暗号プロ
グラムのテストを効率良く支援することができる暗号プ
ログラム開発支援装置を提供することにある。

【００１６】本発明の第３の目的は、前記ブロック暗号
アルゴリズム記法によって記述されたブロック暗号アル
ゴリズムから、プログラム開発の目的に適したプログラ
ムの設計仕様を自動生成し、暗号プログラムの生成を効
率良く支援することができる暗号プログラム開発支援装
置を提供することにある。

【００１７】本発明の第４の目的は、前記ブロック暗号
アルゴリズムから自動生成された前記プログラム設計仕
様から、該ブロック暗号アルゴリズムを実現するプログ
ラムを自動生成し、暗号プログラムの生成を効率良く支
援することができる暗号プログラム開発支援装置を提供
することにある。

【００１８】本発明の第５の目的は、暗号プログラム開
発のテスト工程において、ユーザによって指定されたス
ケジュールに従って、自動生成されたテストケースを用
いて、暗号プログラムを効率良くテストすることができ
る暗号プログラム開発支援装置を提供することにある。

【００１９】

【課題を解決するための手段】上記の第１の目的を達成
するため、本発明は、予め定義したブロック暗号アルゴ
リズム仕様記述記法によるブロック暗号アルゴリズムの
ダイアグラム表現をユーザが記述及び編集するのを支援
する暗号ダイアグラム編集手段と、この暗号ダイアグラ
ム編集手段によって編集されたブロック暗号アルゴリズ
ムのダイアグラム表現を格納する暗号ダイアグラム格納
手段と、格納されたブロック暗号アルゴリズムのダイア
グラム表現を解釈実行する暗号ダイアグラム解釈実行手
段と、解釈実行中の該ブロック暗号アルゴリズムのダイ
アグラム表現に現れる変数の状態を格納する暗号ダイア
グラム実行環境格納手段と、このブロック暗号ダイアグ
ラム実行環境格納手段の内容を検査するための暗号ダイ
アグラム実行環境検査手段とを備えることを特徴とす
る。

【００２０】ここで、本発明の前提となるブロック暗号
アルゴリズム仕様記述記法は、ビット列データを値とす
る変数のダイアグラム表現と、該ビット列データ上の演
算のダイアグラム表現とを構成要素として有し、前記変
数と前記演算を組み合わせるためのダイアグラム表現と
して、前記変数からの参照操作のダイアグラム表現と、
前記変数への代入操作のダイアグラム表現と、前記ビッ
ト列データへの前記演算の適用操作のダイアグラム表現
と、前記ビット列データの分割操作のダイアグラム表現
と、前記ビット列データの連結操作のダイアグラム表現
と、前記ビット列データの複製操作のダイアグラム表現
と、前記ビット列データへの繰り返し処理のダイアグラ
ム表現と、前記ビット列データ上の演算を定義するため
のダイアグラム表現を備えることを特徴とする。

【００２１】第２の目的を達成するために、本発明は、
テストケースを区別するためのＩＤと暗号化鍵と平文と
該平文を前記暗号化鍵によって暗号化した暗号文からな
るブロック暗号プログラムテストケースを格納するため
の暗号プログラムテストケース格納手段と、前記ＩＤを
生成するためのＩＤ計数手段と、前記暗号化鍵を生成す
るための鍵生成手段と、前記平文を生成するための平文
生成手段とを備え、前記暗号文を生成するブロック暗号
アルゴリズム開発支援手段とを備えることを特徴とす
る。

【００２２】第３の目的を達成するために、本発明は、
ブロック暗号アルゴリズムのダイアグラム表現の構文を
解析するダイアグラム構文解析手段と、その解析結果で
あるダイアグラム構文木を格納するダイアグラム構文木
格納手段と、格納されたダイアグラム構文木からプログ
ラム設計仕様を生成する設計仕様生成手段と、ダイアグ
ラムとプログラム設計仕様の間の対応関係を定義した対
応テーブルと、生成された設計仕様を格納するための暗
号プログラム設計仕様格納手段とを備えることを特徴と
する。

【００２３】第４の目的を達成するために、本発明は、
ブロック暗号プログラムの設計仕様の構文を解析する設
計仕様構文解析手段と、その解析結果である設計仕様構
文木を格納する設計仕様構文木格納手段と、格納された
設計仕様構文木からプログラムを生成するプログラム生
成手段と、設計仕様とプログラムの間の対応関係を定義
した対応テーブルと、生成されたプログラムを格納する
ための暗号プログラム格納手段とを備えることを特徴と
する。

【００２４】第５の目的を達成するために、本発明は、
ブロック暗号プログラムのテストスケジュールを格納す
るテストスケジュール格納手段と、このテストスケジュ
ール格納手段に格納されたテストスケジュールに従って
テストケースを選択するテストケース選択手段と、ブロ
ック暗号プログラムを格納する暗号プログラム格納手段
と、格納されたブロック暗号プログラムに前記選択され
たテストケースの構成要素である鍵と平文を与えて実行
させるプログラム実行手段と、その実行結果である暗号
文と前記選択されたテストケースの構成要素である暗号
文とを比較するための比較手段と、前記選択されたテス
トケースのＩＤと比較結果とからなるテスト結果を格納
するための暗号プログラムテスト結果格納手段とを備え
ることを特徴とする。

【００２５】

【発明の実施の形態】以下、本発明の実施形態を図面に
より詳細に説明する。

【００２６】まず、実施形態の説明に先立ち、本発明の
各実施形態で使用するブロック暗号アルゴリズム仕様記
述記法について説明する。

【００２７】［ブロック暗号アルゴリズム仕様記述記
法］図１および図２は、本発明の各実施形態で使用する
ブロック暗号アルゴリズム仕様記述法の文法の一覧を示
す図であり、ここで例示するブロック暗号アルゴリズム
仕様記述法は、図１（ａ）〜（ｃ）に示すようにビット
列データを値とする変数のダイアグラム表現１１〜１３
と、図１（ｄ）〜（ｈ）に示すようにビット列データ上
の演算のダイアグラム表現１４〜１８とを構成要素とし
て有している。

【００２８】さらに、前記変数と前記演算を組み合わせ
るためのダイアグラム表現として、図１（ｉ）に示すよ
うに前記変数からの参照操作のダイアグラム表現１９
と、図１（ｊ）に示すように前記変数への代入操作のダ
イアグラム表現２０と、図１（ｋ）に示すように前記ビ
ット列データへの前記演算の適用操作のダイアグラム表
現２１と、図１（ｍ）に示すように前記ビット列データ
の分割操作のダイアグラム表現２２と、図１（ｎ）に示
すように前記ビット列データの連結操作のダイアグラム
表現２３と、図１（ｐ）に示すように前記ビット列デー
タの複製操作のダイアグラム表現２４と、図２（ａ）に
示すように前記ビット列データへの繰り返し処理のダイ
アグラム表現２５と、図２（ｂ）に示すように前記ビッ
ト列データ上の演算を定義するためのダイアグラム表現
２６を有する。

【００２９】本例のブロック暗号アルゴリズム仕様記述
法ではビット列データのみを扱う。変数は全てビット列
データを格納するためにのみ使用され、演算はビット列
データに対するもののみが使用可能である。

【００３０】例えば、図１（ａ）のダイヤグラム表現１
１は「６４ビットデータ」を格納するための「Ｂ」とい
う名前の変数を表している。図１（ｂ）のダイヤグラム
表現１２は「３２ビットデータ」を格納するための「Ｌ
＿０」という名前の添字付変数を表しており、変数名中
の「０」が添字である。図１（ｃ）のダイヤグラム表現
１３は「３２ビットデータ」を格納するための１６個
（ｉ＝１〜１６）の添字付変数「Ｌ＿１」〜「Ｌ＿１
６」を表している。図１（ｄ）のダイヤグラム表現１４
は「ｆ」という名前の演算を表している。

【００３１】図１（ｅ）〜（ｈ）は、よく使われる演算
の例であり、このような特殊な演算は必要に応じて導入
される。図１（ｅ）のダイヤグラム表現１５は、２つの
ビット列データの排他的論理和を表している。図１
（ｆ）のダイヤグラム表現１６は、「６４ビットデー
タ」を「５６ビットデータ」に縮小転字する演算を表し
ている。図１（ｇ）のダイヤグラム表現１７は、ビット
列データを「ＫＳビット」だけシフトする演算を表して
いる。図１（ｈ）のダイヤグラム表現１８は、「２ビッ
トデータ」と「４ビットデータ」に対して「４ビットデ
ータ」を代入する演算を表している。

【００３２】図１（ｉ）のダイヤグラム表現１９は、変
数中に格納されているビット列データを参照するための
表現であり、特に記述の対象となっているアルゴリズム
の入出力データを格納する変数には「ｉｎｐｕｔ」また
は「ｏｕｔｐｕｔ」というラベルを付ける。

【００３３】図１（ｊ）のダイヤグラム表現２０は、変
数「ＣＢ」に「６４ビット列データ」を代入するための
表現である。図１（ｋ）のダイヤグラム表現２１は、ビ
ット列データに対して「ｆ」という名前の演算を適用す
るための表現である。

【００３４】図１（ｍ）のダイヤグラム表現２２は、ビ
ット列データを分割し、複数ビット列データとして変数
Ｘ，Ｙに格納するための表現である。図１（ｎ）のダイ
ヤグラム表現２３は、複数個のビット列データを連結
し、１個のビット列データとするための表現である。図
１（ｐ）のダイヤグラム表現２４は、ビット列データを
複製し、複数の同じビット列データとするための表現で
ある。

【００３５】図２（ａ）のダイヤグラム表現２５は、ｉ
個（ｉ＝１〜１６）の添字付きの変数Ｘに格納されてい
るビット列データに対して、同じ処理を繰り返し適用
し、その結果を別の添字付きのｉ個（ｉ＝１〜１６）の
変数Ｙに格納するための表現である。点線内は繰り返し
の内容であり、前記の表現と、場合によってはさらに繰
り返しの表現を用いて記述される。繰り返し回数は左上
に「１６ ｔｉｍｅｓ」というように記述する。

【００３６】点線内の左側にある「ｉ」は、現在何度目
の繰り返しであるかを表す繰り返し変数である。この繰
り返し変数「ｉ」は「１」から始まって、順に「１」づ
つ加算され、繰り返し回数に達したところで繰り返し処
理は全て終了する。

【００３７】図２（ｂ）のダイヤグラム表現２６は、演
算を定義するための表現である。この表現によって定義
された演算は、ダイヤグラム表現１４の表現によって他
の場所で使用することができる。点線内は演算の内容で
あり、前記の表現を用いて記述される。

【００３８】同名の変数の異なる出現は同一の変数を表
す。変数へのデータの格納は１回のみ許される。変数の
参照は、何回行なっても構わないが、データの格納され
ていない変数の参照は許されない。

【００３９】［記述例］図３〜図５は、ブロック暗号ア
ルゴリズムである「ＤＥＳ」を本発明のブロック暗号ア
ルゴリズム仕様記述法によって記述したアルゴリズム構
成図であり、図３はブロック暗号アルゴリズムＤＥＳの
全体を表し、図４は図３で使われている演算「ｆ」１１
２の処理の詳細を表し、図５は図３で使われている変数
「Ｋ＿ｉ（ｉ＝１．．１６）１０９に格納される１６個
の鍵Ｋの生成処理を詳細に表したものである。

【００４０】これらの図３〜図５で使用されている転
字、シフト、代入の演算の詳細は、例えば図６に示すよ
うに別途与えられる。図６（ａ）は図３で使われている
転字演算「ＩＰ」の詳細であり、例えば、出力ビット列
の第１ビットが入力ビット列の第５８ビットである。図
６（ｂ）は図４で使われている拡大転字演算「ＥＰ」の
詳細であり、例えば、出力ビット列の第１ビットが入力
ビット列の第３２ビットである。図６（ｃ）は図４で使
われている代入演算「Ｓ＿１」の詳細であり、２ビット
入力で表される４通りの場合と４ビット入力の１６通り
の場合の組合せをマトリクスで表現しており、出力の４
ビット列の値は該マトリクスの各桝目の値となる。図６
（ｄ）は図５で使われているシフト演算の詳細であり、
例えば、「Ｋ＿１」は入力ビット列を１ビット左シフト
することを表している。

【００４１】図３のアルゴリズムの詳細は次のようにな
る。

【００４２】まず、暗号化の対象となる平文データは、
「Ｂ」という名前の６４ビット変数１０１に格納され
る。この変数「Ｂ」には「ｉｎｐｕｔ」というラベルが
付けられており、該アルゴリズムに対する入力であるこ
とが示されている。平文データは変数「Ｂ」の参照を表
す矢印１０２を経て、「ＩＰ」という名前の６４ビット
データに対する転字１０３に送られる。

【００４３】この転字処理結果である６４ビットデータ
は、データの分割を表す矢印１０４を経て、上位の３２
ビットデータは「Ｌ＿０」という名前の３２ビット変数
１０５に、下位の３２ビットデータは「Ｒ＿０」という
名前の３２ビット変数１０７に格納される。

【００４４】次に、繰り返し処理１１０に入り、この処
理内部において同様の処理が１６回（「１６ ｔｉｍｅ
ｓ」）行なわれる。

【００４５】第ｉ（ｉ＝１．．１６）回目の処理では、
「Ｌ＿（ｉ−１）」という名前の３２ビット変数１０５
または１０６と、「Ｒ＿（ｉ−１）」という名前の３２
ビット変数１０７または１０８と、「Ｋ＿ｉ」という名
前の４８ビット変数１０９のデータが参照され、処理結
果は「Ｌ＿ｉ」という名前の３２ビット変数１１４また
は１１５と、「Ｒ＿ｉ」という名前の３２ビット変数１
１６または１１７に格納される。

【００４６】この繰り返し処理１１０の内容の詳細は次
のようなる。変数「Ｒ＿（ｉ−１）」はデータの複製を
表す矢印１１１を経て、一方は変数「Ｌ＿ｉ」１１４ま
たは１１５に格納され、他方は演算「ｆ」１１２の二つ
の入力のうちの１つになる。

【００４７】演算「ｆ」１１２のもう１つの入力変数は
「Ｋ＿ｉ」である。この演算「ｆ」１１２の結果は、入
力変数「Ｌ＿（ｉ−１）」と共に排他的論理和１１３の
入力となる。この排他的論理和１１３の結果は出力変数
「Ｒ＿ｉ」１１６または１１７に格納される。

【００４８】このような繰り返し処理が全て終了する
と、「Ｌ＿１６」という名前の３２ビット変数１１５と
「Ｒ＿１６」という名前の３２ビット変数１１７のデー
タが、データの連結を表す矢印１１８を経て連結されて
６４ビットデータとなり、「ＩＰ＾−１」（転字ＩＰの
逆）という転字１１９に入力される。

【００４９】この転字１１９の処理結果が暗号文であ
り、データの格納を表す矢印１２０を経て、「ＣＢ」と
いう名前の６４ビット変数１２１に格納される。この変
数１２１には「ｏｕｔｐｕｔ」というラベルが付けられ
ており、ＤＥＳアルゴリズムからの出力であることが示
されている。

【００５０】なお、図３には、変数「Ｌ＿ｉ（ｉ＝
１．．１５）」の２つの出現１０６と１１５があるが、
同一の変数を表している。変数「Ｒ＿ｉ（ｉ＝１．．１
５）」についても同様である。

【００５１】図４の演算「ｆ」の定義１１２の詳細は次
の通りである。演算「ｆ」では３２ビットデータ「Ｒ」
１３２と４８ビットデータ「Ｋ」１３３の２つの入力か
ら、３２ビットデータ「ｆ（Ｒ，Ｋ）」１４９を計算す
る。

【００５２】入力データ「Ｒ」１３２は、３２ビットデ
ータの４８ビットデータへの拡大転字「ＥＰ」１３４に
よって、４８ビットデータ１３５に変換され、もう１つ
の４８ビットデータ「Ｋ」１３３と共に排他的論理和１
３６の入力となる。この排他的論理和１３６の演算結果
１３７は、８個（ｊ＝１．．８）の６ビットデータに分
割され、８個の６ビットデータ変数「Ｘ＿ｊ（ｊ＝
１．．８）」１３８に格納される。データの格納を表す
矢印１３７は、ここでは添字付変数の並びに接続されて
いるため、データの分割を表している。

【００５３】次に、繰り返し処理１３９に入り、８個の
６ビットデータ変数Ｘ＿ｊ（ｊ＝１．．８）のそれぞれ
に対して次の処理が行なわれる。

【００５４】まず、６ビットデータ変数「Ｘ＿ｊ」１３
８は１ビット、４ビット、１ビットのデータに分割さ
れ、それぞれ、１ビットデータ変数「ｒ１」１４０、４
ビットデータ変数「ｃ」１４１、１ビットデータ変数
「ｒ２」１４２に格納される。ここで、変数「ｒ１」１
４０、変数「ｃ」１４１、変数「ｒ２」１４２は、繰り
返し変数ｊが加算される毎に新しく用意される。

【００５５】変数「ｒ１」１４０と「ｒ２」１４１のデ
ータを連結した２ビットデータ１４３と、変数「ｃ」１
４２の４ビットデータ１４４が代入演算「Ｓ＿ｊ」１４
５に入力される。この演算結果は４ビット変数「Ｙ＿
ｊ」１４６に格納される。

【００５６】このような繰り返し処理が全て終了する
と、８個の４ビットデータ「Ｙ＿ｊ（ｊ＝１．．８）」
１４６が連結されて３２ビットデータ１４７となり、３
２ビットデータに対する転字「Ｐ」１４８に入力され
る。データ１４７の参照を表す矢印は、ここでは添字付
変数の並びからの参照になっているため、データの連結
を表してる。この演算結果が「ｆ（Ｒ，Ｋ）」１４９と
なる。

【００５７】図５に示す変数「Ｋ＿ｉ（ｉ＝１．．１
６）」１６７の生成処理の詳細は次の通りである。ま
ず、ＤＥＳアルゴリズムに対して入力される鍵（Ｋ）が
６４ビットデータ変数「Ｋ」１５１に格納される。この
６４ビットデータ変数「Ｋ」１５１は、矢印１５２を経
て、６４ビットから５６ビットへの縮小転字「ＫＰ」１
５３に入力され、５６ビットデータ１５４に変換され
る。

【００５８】この５６ビットデータ１５４は、２つの２
８ビットデータに分割され、それぞれ２８ビット変数
「ＫＬ＿０」１５５と「ＫＲ＿０」１５７に格納され
る。

【００５９】次に、繰り返し処理（１）１５９に入り、
各「ＫＬ＿（ｉ−１）」（ｉ＝１．．１６）１５５ある
いは１５６と、「ＫＲ＿（ｉ−１）（ｉ＝１．．１
６）」１５７あるいは１５８に対して、次の処理が行な
われ、「ＫＬ＿ｉ（ｉ＝１．．１６）」１６２と「ＫＲ
＿ｉ（ｉ＝１．．１６）」１６３が順次生成される。

【００６０】各「ＫＬ＿（ｉ−１）」１５５あるいは１
５６はシフト演算「ＫＳ＿ｉ」１６０の入力となる。こ
の演算結果は変数「ＫＬ＿ｉ」１６２に格納される。

【００６１】また、各変数「ＫＲ＿（ｉ−１）」１５７
あるいは１５８はシフト演算「ＫＳ＿ｉ」１６１の入力
となる。この演算結果は変数「ＫＲ＿ｉ」１６３に格納
される。

【００６２】上記の繰り返し処理の後であるいは並行し
て、各「ＫＬ＿ｉ（ｉ＝１．．１６）」１６２と「ＫＲ
＿ｉ（ｉ＝１．．１６）」１６３に対して、次の繰り返
し処理（２）１６４が行なわれる。

【００６３】各「ＫＬ＿ｉ」１６２と「ＫＲ＿ｉ」１６
３を連結した５６ビットデータ１６５に対して、５６ビ
ットから４８ビットへの縮小転字「ＰＣ」１６６が適用
され、その結果が４８ビット変数「Ｋ＿ｉ」１６７に格
納される。

【００６４】この記述例が示すように、本例のブロック
暗号アルゴリズム記述記法によれば、ブロック暗号アル
ゴリズムの詳細を厳密にかつ簡潔に記述することができ
る。

【００６５】［第１の実施形態］次に、上述したブロッ
ク暗号アルゴリズム仕様記述記法を使用して実現される
暗号アルゴリズム開発支援装置の実施形態について、図
面に従って具体的に説明する。

【００６６】図７は、ブロック暗号のアルゴリズム開発
支援装置の実施形態を示す機能構成図である。この第１
の実施形態のブロック暗号のアルゴリズム開発支援装置
は、前述した暗号アルゴリズムのダイアグラム表現をユ
ーザが記述及び編集するのを支援する暗号ダイアグラム
編集装置２０１と、記述および編集されたブロック暗号
アルゴリズムのダイアグラム表現を格納する暗号ダイア
グラム格納装置２０４と、ブロック暗号アルゴリズムの
ダイアグラム表現を解釈実行する暗号ダイアグラム解釈
実行装置２０２と、解釈実行中のブロック暗号アルゴリ
ズムのダイアグラム表現に現れる変数の状態を格納する
暗号ダイアグラム実行環境格納装置２０５と、暗号ダイ
アグラム実行環境格納装置２０５の内容を検査するため
の暗号ダイアグラム実行環境検査装置２０３とから構成
される。

【００６７】暗号ダイアグラム編集装置２０１は、図３
で示したようなブロック暗号アルゴリズムのダイアグラ
ム表現をユーザが記述及び編集するのを支援するための
ものであり、従来のダイアグラム編集技術によって実現
可能である。この暗号ダイアグラム編集装置２０１は、
図６のような演算の詳細を定義するための機能も持って
おり、この定義は暗号ダイアグラム格納装置２０４に格
納される。

【００６８】暗号ダイアグラム解釈実行装置２０２は、
ブロック暗号アルゴリズムのダイアグラム表現を解釈実
行するためのものであり、暗号ダイアグラム格納装置２
０４に格納されている暗号ダイアグラムの構成要素を計
算可能なものから順に計算して、その計算結果である値
を暗号ダイアグラム実行環境格納装置２０５に格納して
いく。ただし、ダイアグラムの構成要素が「計算可能で
ある」ことは次のように定義される。

【００６９】［構成要素の計算可能性の定義］ （ａ）アルゴリズムの入力変数は計算可能である。

【００７０】（ｂ）組み込み演算はその入力が全て値が
決まっていれば、出力は計算可能である。

【００７１】（ｃ）変数は代入される値が決まっていれ
ば、計算可能である。

【００７２】（ｄ）ｎ回の繰り返し部の第１回目は、繰
り返しの添字を「１」としたときに、入力変数全ての値
が決まっていれば、計算可能である。

【００７３】（ｅ）ｎ回の繰り返し部の第ｉ（ｉ＝
２．．ｎ）回目は、第１回目から第ｉ−１回目の出力変
数が決まっていて、繰り返しの添字をｉとしたときに入
力変数全ての値が決まっていれば、計算可能である。

【００７４】（ｆ）ユーザ定義演算は、入力変数全ての
値が決まっていれば、計算可能である。

【００７５】暗号ダイアグラム解釈実行装置２０２は、
図８の詳細構成図に示すように、暗号ダイアグラム格納
装置２０４に格納されている暗号ダイアグラムを読み取
るためのダイアグラム走査装置２０６と、暗号ダイアグ
ラムの走査結果に基づき当該暗号ダイアグラムの構成要
素の計算可能性を検査するための計算可能性検査装置２
０７と、暗号アルゴリズムの入力変数を設定するための
初期値設定装置２０８と、暗号ダイアグラムの構成要素
の値を計算するための値計算装置２０９から構成され
る。

【００７６】暗号ダイアグラム実行環境検査装置２０３
は、ユーザが暗号ダイアグラム実行環境格納装置２０５
の内容を検査するためのものであり、図９の詳細構成図
に示すように、暗号ダイアグラムの構成要素のうち、ユ
ーザから指定された要素の値を読み取るための検査対象
指定装置２１０と、読み取った値を表示するための検査
結果表示装置２１１から成る。

【００７７】この第１の実施形態の暗号アルゴリズム開
発支援装置の基本的な使用方法は、次のようになる。

【００７８】まず、ユーザは、暗号ダイアグラム編集装
置２０１を使用し、図３に示したような記法によるブロ
ック暗号アルゴリズムのダイアグラム表現を記述及び編
集し、暗号ダイアグラム格納装置２０４に格納する。

【００７９】次に、暗号ダイアグラム格納装置２０４に
格納したブロック暗号アルゴリズムがユーザの意図した
通りに動作することを確認するために、暗号ダイアグラ
ム解釈実行装置２０２を使用し、実際に前記ブロック暗
号アルゴリズムを実行させる。この実行結果は、暗号ダ
イアグラム実行環境格納装置２０５に、図１１〜図１３
に示すような表として格納される。

【００８０】最後に、ユーザは暗号ダイアグラム実行環
境検査装置２０３を使用して前記実行結果を詳細に調べ
る。

【００８１】以下、暗号ダイアグラム解釈実行装置２０
２の動作を図１０に示すフローチャートに基づき１ステ
ップずつを詳細に説明する。

【００８２】ステップ２１２ 暗号ダイアグラム格納装置２０４に格納されているダイ
アグラムの構成要素を、ダイアグラム走査装置２０６に
よって調べ、暗号ダイアグラム実行環境格納装置２０５
を初期化する。暗号ダイアグラム実行環境は、アルゴリ
ズム全体に対する表の他、各繰り返し部の各回に対応し
た表や、ユーザ定義演算に対応する表が作られて初期化
される。

【００８３】例えば、図３〜図５に示したＤＥＳ暗号ア
ルゴリズムの生成処理の場合、図１１（ａ）に示す暗号
アルゴリズムＤＥＳの生成処理全体の表１１００、図１
１（ｂ）に示すＤＥＳ全体の繰り返し部１３９に関する
表１１１０、図１２に示す鍵生成処理全体の表１１２
０、図１３（ａ）に示す鍵生成処理中の第１の繰り返し
部の各回の表１１３０、鍵生成処理中の第２の繰り返し
部の各回の表１１４０が作られて初期化される。

【００８４】ここで、これらの各表は、「構成要素」１
１０１、「計算可能か？」１１０２、「値」１１０３の
各欄から構成され、「構成要素」１１０１の欄にはブロ
ック暗号アルゴリズム中に記述した変数等のダイヤグラ
ム表現の名称が設定される。また、「計算可能か？」１
１０２の欄には初期段階では「ＮＯ」が設定され、計算
可能になった段階で「ＹＥＳ」が設定されるようになっ
ている。さらに、「値」１１０３の欄には、変数等のダ
イヤグラム表現の計算結果が設定されるようになってい
る。

【００８５】ステップ２１３ 計算可能性検査装置２０７によって、前記の計算可能性
の定義に従って、ダイアグラム表現の中で値１１０３が
計算可能なものを全て列挙する。このとき、構成要素間
の関係はダイアグラム走査装置２０６によって調べる。

【００８６】ステップ２１４ ステップ２１３で列挙された計算可能な構成要素の値１
１０３を値計算装置２０９によって計算する。このと
き、ダイアグラム走査装置２０６によって、計算に必要
な値を持つ他の構成要素を調べ、その値は暗号ダイアグ
ラム実行環境格納装置２０５から参照する。また、その
構成要素がアルゴリズムへの入力変数である場合は、初
期値設定装置２０８によって、ユーザによって指定され
た値を計算値とする。

【００８７】ステップ２１５ 暗号アルゴリズムの全ての出力変数に値が格納されたか
を調べる。そうであれば、実行を終了する。さもなけれ
ば、ステップ２１３に戻る。

【００８８】例えば、図５に示す暗号アルゴリズムＤＥ
Ｓの鍵生成処理においてｉ＝１の鍵である出力変数「Ｋ
＿１」１６７が生成されるまでの表１１２０，１１３
０，１１４０の内容は図１４〜図１６に示すようなもの
となる。

【００８９】すなわち、実行の開始直後のステップ２１
２で暗号ダイアグラム実行環境格納装置２０５が初期化
された時点では、条件が揃っていないために構成要素は
全て計算可能ではない。図１４〜図１６では、初期化さ
れた時点で計算可能か否かということを「開始」の欄１
４０１に「ＮＯ」で示している。

【００９０】次に、ステップ２１３で、計算可能性検査
装置２０７によって前記の計算可能性の定義に従って、
アルゴリズムの入力変数Ｋのみが計算可能な構成要素と
して列挙され、ステップ２１４で、値計算装置２０９と
初期値設定装置２０８によって、ユーザによって指定さ
れた値ＸがＫの計算値となる。図１４では、計算段階の
欄１４０２の（１）に入力変数Ｋ＝Ｘになったことを示
している。また、この時点で入力変数Ｋの「計算可能か
？」が「ＹＥＳ」に更新されたことを示している。

【００９１】ステップ２１５で、暗号アルゴリズムの全
ての出力変数に値が格納されたかを調べるが、そうでは
ないのでステップ２１３に戻る。２度目のステップ２１
３では、入力変数Ｋの値が決まっているので、計算可能
性検査装置２０７によって、前記の計算可能性の定義に
従って転字演算ＫＰが計算可能な構成要素として列挙さ
れる。そして、転字演算ＫＰの「計算可能か？」が「Ｙ
ＥＳ」に更新される。

【００９２】ステップ２１４で、値計算装置２０９によ
ってＫＰ（Ｘ）が計算され、ＫＰの値となる。図１４で
は、計算段階の欄１４０２の（２）にＫＰの値が求めら
れたことをＫＰ（Ｘ）で示している。続く、３度目のス
テップ２１３とステップ２１４では「ＫＬ＿０」と「Ｋ
Ｒ＿０」の値が計算される。図１４では、計算段階の欄
１４０２の（３）に「ＫＬ＿０」と「ＫＲ＿０」の値が
求められたことを示している。

【００９３】４度目のステップ２１３とステップ２１４
では、繰り返し部（１）のｉ＝１の場合が計算可能にな
り、その入力変数「ＫＬ＿０」と「ＫＲ＿０」の値が決
まる。図１５では、計算段階の欄１４０２の（４）に
「ＫＬ＿０」と「ＫＲ＿０」の値が求められたことを示
している。

【００９４】５度目のステップ２１３とステップ２１４
では、２つの「ＫＳ＿１」の値が計算され、６度目のス
テップ２１３とステップ２１４では、繰り返し部（１）
のｉ＝１の場合の出力変数である「ＫＬ＿１」と「ＫＲ
＿１」の値が決まる。図１５では、計算段階の欄１４０
２の（５）に「ＫＳ＿１」の値が求められたことを示
し、また計算段階の欄１４０２の（６）に「ＫＬ＿１」
と「ＫＲ＿１」の値が求められたことを示している。

【００９５】以下同様にして、図５のダイヤグラム表現
で記述された暗号アルゴリズムの実行が続けられる。こ
れによって、１２度目のステップ２１３とステップ２１
４で第１番目（ｉ＝１）の出力変数「Ｋ＿１」の値が決
まる。図１６では、計算段階の欄１４０２の（１２）に
「Ｋ＿１」の値が求められたことを示している。

【００９６】このような処理がｉ＝１６になるまで繰り
返し実行される。これによって、１６個の鍵に相当する
変数「Ｋ＿１」が生成される。なお、暗号アルゴリズム
ＤＥＳ全体の処理としては、変数「ＣＢ」の値が求まっ
た段階で終了する。変数「ＣＢ」の値が求まったなら
ば、図１１の表１１００の「計算可能か？」１１０２の
欄は、全て「ＹＥＳ」になる。

【００９７】このように、第１の実施形態によれば、前
述した記法によるブロック暗号アルゴリズムのダイアグ
ラム表現をユーザが記述及び編集するのを支援できる上
に、そのブロック暗号アルゴリズムのダイアグラム表現
を解釈実行し、当該ブロック暗号ダイアグラム実行環境
を詳細に調べることができ、ブロック暗号アルゴリズム
開発を効率的に行なうことができる。

【００９８】［第２の実施形態］次に、本発明を適用し
た暗号プログラムテストケース生成装置の実施形態につ
いて、図面に従って具体的に説明する。

【００９９】図１７は、暗号プログラムテストケース生
成装置の実施形態を示す機能構成図である。この実施形
態の暗号プログラムテストケース生成装置３００は、テ
ストケースを区別するためのＩＤ（識別情報）３０４１
と、暗号化鍵３０４２および平文３０４３並びに該平文
３０４３を暗号化鍵３０４２によって暗号化した暗号文
３０４４とからなるブロック暗号プログラムテストケー
ス３０４を格納するための暗号プログラムテストケース
格納装置３０５と、前記ＩＤ３０４１を生成するための
ＩＤ計数装置３０１と、前記暗号化鍵３０４２を生成す
るための鍵生成装置３０２と、前記平文３０４３を生成
するための平文生成装置３０３とから構成され、前記暗
号文３０４４を生成するために、前述の第１の実施形態
の暗号アルゴリズム開発支援装置２００を利用する。

【０１００】この実施形態の暗号プログラムテストケー
ス生成装置３００の基本的な使用方法は次のようにな
る。

【０１０１】ユーザは、前述した暗号アルゴリズム開発
支援装置２００を利用し、予めブロック暗号アルゴリズ
ムを開発しておく。すると、ユーザは、該ブロック暗号
アルゴリズムを実現するプログラムを検査する際に使用
するテストケースを、本実施形態の暗号プログラムテス
トケース生成装置３００使用して作成することができ
る。

【０１０２】まず、ＩＤ計数装置３０１によって新しい
テストケースのＩＤ３０４１を生成する。次に、鍵生成
装置３０２によって暗号化鍵３０４２を生成し、さらに
平文生成装置３０３によって暗号化の対象となる平文３
０４３を生成する。

【０１０３】鍵生成装置３０２と平文生成装置３０３は
乱数等の手段によって、暗号化鍵３０４２や平文３０４
３を生成する。この場合、ユーザが暗号化鍵３０４２や
平文３０４３を直接入力することもある。

【０１０４】暗号化鍵３０４２と平文３０４３を生成し
たならば、暗号アルゴリズム開発支援装置２００のブロ
ック暗号ダイアグラム解釈実行装置２０３に暗号化鍵３
０４２と平文３０４３とを入力し、前記第１の実施形態
で説明した手順によって、前記暗号アルゴリズムを解釈
実行することにより、前記平文３０４３を前記暗号アル
ゴリズムにより暗号化した暗号文３０４４が得られる。

【０１０５】そこで、前記ＩＤ３０４１と暗号化鍵３０
４２および平文３０４３と暗号文３０４４を一組にし、
テストケース３０４として暗号プログラムテストケース
格納装置３０５に格納蓄積する。

【０１０６】このように、第２の実施例によれば、新し
く開発されたブロック暗号アルゴリズムを実現するプロ
グラムをテストするためのテストケースを効率良く機械
的に生成することができる。

【０１０７】［第３の実施形態］次に、本発明の第３の
実施形態であるブロック暗号プログラム設計仕様生成装
置について、図面に従って具体的に説明する。

【０１０８】図１８は、ブロック暗号プログラム設計仕
様生成装置の機能構成図であり、この実施形態のブロッ
ク暗号プログラム設計仕様生成装置４００は、前記の暗
号アルゴリズム開発支援装置２００で作成したブロック
暗号アルゴリズムのダイアグラム表現の構文を解析する
ダイアグラム構文解析装置４０１と、その解析結果であ
るダイアグラム構文木を格納するダイアグラム構文木格
納装置４０３と、この格納装置４０３に格納されたダイ
アグラム構文木からプログラム設計仕様を生成する設計
仕様生成装置４０２と、ダイアグラムとプログラム設計
仕様の間の対応関係を定義したダイアグラム設計仕様対
応テーブル４０５と、生成された設計仕様を格納するた
めの暗号プログラム設計仕様格納装置４０４とから構成
される。

【０１０９】この第３の実施形態のブロック暗号プログ
ラム設計仕様生成装置の動作の詳細は次のようになる。

【０１１０】まず、前記ブロック暗号アルゴリズム開発
支援装置２００の暗号ダイアグラム格納装置２０４に格
納されている暗号ダイアグラムを、ダイアグラム構文解
析装置４０１によって構文解析する。

【０１１１】その解析結果は、ダイアグラム構文木格納
装置４０３に格納される。続いて、ダイアグラム設計仕
様対応テーブル４０５に従って、設計仕様生成装置４０
２によって、ダイアグラム構文木からプログラム設計仕
様を生成する。その生成された設計仕様は暗号プログラ
ム設計仕様格納装置４０４に格納される。

【０１１２】プログラム設計仕様の記述記法としてＰＡ
Ｄ（Problem Analysis Diagram）を使う場合、ダイアグ
ラム設計仕様対応テーブル４０５の詳細は例えば図１９
および図２０のように定義されている。

【０１１３】図１９および図２０において、項番（１）
は、ダイアグラム記述中にダイアグラム表現の欄４０５
２に示される変数があった場合、生成されるプログラム
設計仕様では、設計仕様（ＰＡＤ）表現の欄４０５３に
示されるような変数の宣言が生成されることを表してい
る。

【０１１４】項番（２）は、ダイアグラム記述中にダイ
アグラム表現の欄４０５２に示される添字付き変数の並
びがあった場合、生成されるプログラム設計仕様では、
設計仕様（ＰＡＤ）表現の欄４０５３に示されるような
添字付き変数の並びの宣言が生成されることを表してい
る。

【０１１５】項番（３）は、ダイアグラム記述中にダイ
アグラム表現の欄４０５２に示される転字演算があった
場合、生成されるプログラム設計仕様では、設計仕様
（ＰＡＤ）表現の欄４０５３に示されるような転字演算
の定義が生成されることを表している。この定義内容は
暗号ダイアグラム格納装置２０４内にある図６（ａ），
（ｂ）のような転字演算の詳細である。

【０１１６】項番（４）は、ダイアグラム記述中にダイ
アグラム表現の欄４０５２に示されるシフト演算があっ
た場合、生成されるプログラム設計仕様では、設計仕様
（ＰＡＤ）表現の欄４０５３に示されるようなシフト演
算の定義が生成されることを表している。この定義内容
は暗号ダイアグラム格納装置２０４内にある図６（ｃ）
のようなシフト演算の詳細である。

【０１１７】項番（５）は、ダイアグラム記述中にダイ
アグラム表現の欄４０５２に示される代入演算があった
場合、生成されるプログラム設計仕様では、設計仕様
（ＰＡＤ）表現の欄４０５３に示されるような代入演算
の定義が生成されることを表している。この定義内容は
暗号ダイアグラム格納装置２０４内にある図６（ｃ）の
ような代入演算の詳細である。

【０１１８】項番（６）は、ダイアグラム記述中にダイ
アグラム表現の欄４０５２に示される変数の参照を表す
表現があった場合、生成されるプログラム設計仕様で
は、設計仕様（ＰＡＤ）表現の欄４０５３に示されるよ
うな実行文中の式の部分的な式として、該変数の参照が
生成されることを表している。

【０１１９】項番（７）は、ダイアグラム記述中にダイ
アグラム表現の欄４０５２に示される変数への代入を表
す表現があった場合、生成されるプログラム設計仕様で
は、設計仕様（ＰＡＤ）表現の欄４０５３に示されるよ
うに、それまでの計算結果を該変数へ代入する実行文が
生成されることを表している。

【０１２０】項番（８）は、ダイアグラム記述中にダイ
アグラム表現の欄４０５２に示される演算の適用を表す
表現があった場合、生成されるプログラム設計仕様で
は、設計仕様（ＰＡＤ）表現の欄４０５３に示されるよ
うに、実行文中の式の部分的な式として、それまでの計
算結果に該演算を適用する式が生成されることを表して
いる。

【０１２１】項番（９）は、ダイアグラム記述中にダイ
アグラム表現の欄４０５２に示されるデータの分割を表
す表現があった場合、生成されるプログラム設計仕様で
は、設計仕様（ＰＡＤ）表現の欄４０５３に示されるよ
うに、それまでの計算結果を複数の変数へ代入する実行
文が生成されることを表している。

【０１２２】項番（１０）は、ダイアグラム記述中にダ
イアグラム表現の欄４０５２に示されるデータの連結を
表す表現があった場合、生成されるプログラム設計仕様
では、設計仕様（ＰＡＤ）表現の欄４０５３に示される
ように、実行文中の式の部分的な式として、それまでの
計算結果を表す複数の式を連結する表現が生成されるこ
とを表している。

【０１２３】項番（１１）は、ダイアグラム記述中にダ
イアグラム表現の欄４０５２に示されるデータの複製を
表す表現があった場合、生成されるプログラム設計仕様
では、設計仕様（ＰＡＤ）表現の欄４０５３に示される
ように、実行文中の式の部分的な式として、それまでの
計算結果を表す式が複数個生成されることを表してい
る。

【０１２４】項番（１２）は、ダイアグラム記述中にダ
イアグラム表現の欄４０５２に示される繰り返しを表す
表現があった場合、生成されるプログラム設計仕様で
は、設計仕様（ＰＡＤ）表現の欄４０５３に示されるよ
うに、実行文中の式の部分的な式として、ＰＡＤの繰り
返し構造の実行文が生成されることを表している。

【０１２５】項番（１３）は、ダイアグラム記述中にダ
イアグラム表現の欄４０５２に示される入力変数と出力
変数の表現があった場合、生成されるプログラム設計仕
様では、設計仕様（ＰＡＤ）表現の欄４０５３に示され
るように、該入力変数を引数とし、該出力変数の値を返
値とするＰＡＤの演算定義の表現が生成されることを表
している。

【０１２６】項番（１４）は、ダイアグラム記述中にダ
イアグラム表現の欄４０５２に示される演算定義の表現
があった場合、生成されるプログラム設計仕様では、設
計仕様（ＰＡＤ）表現の欄４０５３に示されるように、
ＰＡＤの演算定義の表現が生成されることを表してい
る。

【０１２７】この図１９および図２０で例示した対応テ
ーブル４０５は再帰的に適用される。例えば図３、図
４、図５のＤＥＳアルゴリズムの設計仕様を生成したな
らば、この対応テーブル４０５に従って、図２１および
図２２に示すようなプログラム設計仕様が得られる。

【０１２８】ここで、図２１のＰＡＤ表現によるプログ
ラム仕様は、図３と図５のダイアグラム記述を合わせた
ものに対応している。例えば、図２１の演算「ｄｅｓ＿
ｍａｉｎ」の定義４１１、出力変数ＣＢの宣言４１２、
出力変数ＣＢを演算結果として返す表現４２６は、図３
の「入力変数Ｂ」１０１、図５の「入力変数Ｋ」１５１
と図３の「出力変数ＣＢ」１２１に図２０の項番（１
５）の定義を適用した結果である。

【０１２９】同様に、図２１の変数及び種々の演算の宣
言４１３は、図３の「転字ＩＰ」１０３、変数の並び
「Ｌ＿ｉ（ｉ＝０．．１６）」１０５と１０６と１１
５、変数の並び「Ｒ＿ｉ（ｉ＝０．．１６）」１０７と
１０８と１１７、変数の並び「Ｋ＿ｉ（ｉ＝１．．１
６）」１０９、図５の「転字ＫＰ」１５３、変数の並び
「ＫＬ＿ｉ（ｉ＝０．．１６）」１５５と１６２、変数
の並び「ＫＬ＿ｉ（ｉ＝０．．１６）」１５７と１６
３、シフト演算の並び「ＫＳ＿ｉ（ｉ＝１．．１６）」
１６０、「転字ＰＣ」１６６に、図１９の項番（１），
（２），（３），（４）を適用した結果である。

【０１３０】図２１の４１４〜４１９は、図５の鍵生成
部から生成されたステップである。図２１の鍵生成の第
１ステップ４１４は、図５のデータの「参照」１５２に
図１９の項番（６）を適用し、データの「分割」１５４
に図１９の項番（９）を適用して生成されたステップで
ある。

【０１３１】図２１の鍵生成の第２ステップ（繰り返し
（１））４１５は、図５の「繰り返し処理（１）」１５
９に図２０の項番（１２）を適用して生成されたステッ
プである。また、繰り返し（１）の第１サブステップ４
１６は、変数「ＫＬ＿（ｉ−１）」の参照に図１９の項
番（６）を、シフト演算「ＫＳ＿ｉ」１６０の適用に図
１９の項番（８）を、変数「ＫＬ＿ｉ」への代入に図１
９の項番（７）を適用して生成されたステップである。
繰り返し（１）の第２サブステップ４１７も同様であ
る。鍵生成の第３ステップ（繰り返し（２））４１８
と、そのサブステップ４１９についても同様である。

【０１３２】図２１の４２０〜４２５は、図３のＤＥＳ
の全体の記述から生成されたステップであり、その生成
過程は前記の鍵生成部の場合と同様である。

【０１３３】図２２の演算「ｆ」の定義４２７と演算
「ｆ」の計算値を返すステップ４３３は、図４の演算
「ｆ」の定義１３９に図２０の項番（１４）を適用して
生成されたものである。ただし、演算「ｆ」の計算値を
返すステップ４３３では、図４のデータの連結１４７に
図１９の項番（１０）を、「転字演算Ｐ」１４８の適用
に図１９の項番（８）を適用して得られた表現が演算
「ｆ」の計算値となっている。

【０１３４】図２２の他のステップ４２８〜４３２は、
前記の例と同様にして生成される。

【０１３５】このように、ユーザは、本実施形態の暗号
プログラム設計仕様生成装置４００を使用し、ブロック
暗号アルゴリズム開発支援装置２００を利用して開発さ
れたブロック暗号アルゴリズムを実現するプログラムの
設計仕様を自動的に生成することができる。

【０１３６】なお、本実施形態では、プログラム設計仕
様表現としてＰＡＤを用いたが、フローチャート等の他
のプログラム設計仕様表現を使用した場合でも、同様に
して容易に実現可能である。

【０１３７】［第４の実施形態］次に、本発明の第４の
実施形態であるブロック暗号プログラム生成装置につい
て、図面に従って具体的に説明する。

【０１３８】図２３は、暗号プログラム生成装置５００
の機能構成図であり、この実施形態の暗号プログラム生
成装置５００は、暗号プログラム設計仕様生成装置４０
０の暗号プログラム設計仕様格納装置４０４に格納され
たブロック暗号プログラム設計仕様の構文を解析する設
計仕様構文解析装置５０１と、その解析結果である設計
仕様構文木を格納する設計仕様構文木格納装置５０３
と、この格納装置５０３に格納された設計仕様構文木か
らプログラムを生成するプログラム生成装置５０２と、
設計仕様とプログラムの間の対応会計を定義した設計仕
様プログラム対応テーブル５０５と、生成されたプログ
ラムを格納するための暗号プログラム格納装置５０４か
ら構成される。

【０１３９】この第４の実施形態のブロック暗号プログ
ラム生成装置の動作の詳細は次のようになる。

【０１４０】まず、前記暗号プログラム設計仕様生成装
置４００の暗号プログラム設計仕様格納装置４０４に格
納されている暗号プログラム設計仕様を、設計仕様構文
解析装置５０１によって、構文解析する。

【０１４１】その解析結果は、設計仕様構文木格納装置
５０３に格納される。続いて、設計仕様プログラム対応
テーブル５０５に従って、プログラム生成装置５０２に
よって、前記設計仕様構文木からプログラムを生成す
る。生成されたプログラムは暗号プログラム格納装置５
０４に格納される。

【０１４２】生成された暗号プログラムをコンパイラ／
リンカ５０６によってコンパイルし、ライブラリ５０７
とリンクすることにより、実行可能形式暗号プログラム
５０８が得られる。ライブラリ５０７には、生成された
暗号プログラムで使用されるビットデータの型や手続き
が含まれる。

【０１４３】プログラム設計仕様の記述記法としてＰＡ
Ｄ（Problem Analysis Diagram）を使い、プログラミン
グ言語としてＣ言語を使う場合、設計仕様プログラム対
応テーブル５０５の詳細は例えば図２４および図２５の
ように定義されている。

【０１４４】項番（１）は、プログラム設計仕様中に設
計仕様（ＰＡＤ）表現の欄５０５２に示される変数宣言
があった場合、生成されるプログラムでは、Ｃ言語表現
の欄５０５３に示すように、対応するビット数の型の変
数宣言が生成されることを表している。

【０１４５】項番（２）は、プログラム設計仕様中に設
計仕様（ＰＡＤ）表現の欄５０５２に示される変数並び
の宣言があった場合、生成されるプログラムでは、Ｃ言
語表現の欄５０５３に示すように、対応するビット数の
型の配列変数の宣言が生成されることを表している。

【０１４６】項番（３）は、プログラム設計仕様中に転
字定義があった場合、生成されるプログラムでは、Ｃ言
語表現の欄５０５３に示すように、ｉｎｔ型配列変数の
定義が生成されることを表している。

【０１４７】項番（４）は、プログラム設計仕様中に設
計仕様（ＰＡＤ）表現の欄５０５２に示されるシフト定
義があった場合、生成されるプログラムでは、ｉｎｔ型
変数の定義が生成されることを表している。

【０１４８】項番（５）は、プログラム設計仕様中に設
計仕様（ＰＡＤ）表現の欄５０５２に示される代入定義
があった場合、生成されるプログラムでは、Ｃ言語表現
の欄５０５３に示すように、ｉｎｔ型２次元配列変数の
定義が生成されることを表している。ただし、例えば入
力が２ビットと４ビットであれば、該配列の大きさは４
（＝２の２乗）×１６（＝２の４乗）となる。

【０１４９】項番（６）は、プログラム設計仕様中に設
計仕様（ＰＡＤ）表現の欄５０５２に示される変数の参
照を表す表現があった場合、生成されるプログラムで
は、文中の式の部分的な式として、該変数の参照が生成
されることを表している。

【０１５０】項番（７）は、項番（６）と同様であるが
添字付変数に対応するのは、配列要素の参照であること
を表している。

【０１５１】項番（８）は、プログラム設計仕様中に設
計仕様（ＰＡＤ）表現の欄５０５２に示される変数への
代入を表す表現があった場合、生成されるプログラムで
は、Ｃ言語表現の欄５０５３に示すように、代入文が生
成されることを表している。

【０１５２】項番（９）は、項番（８）と同様である
が、添字付変数に対応するのは、配列要素への代入であ
ることを表している。

【０１５３】項番（１０）は、プログラム設計仕様中に
設計仕様（ＰＡＤ）表現の欄５０５２に示される演算の
適用を表す表現があった場合、生成されるプログラムで
は、Ｃ言語表現の欄５０５３に示すように、実行文中の
式の部分的な式として、該演算を適用する式が生成され
ることを表している。

【０１５４】項番（１１）〜（１５）は、項番（１０）
と同様であるが、排他的論理和、転字、逆転字、シフ
ト、代入の各演算では、該演算に対応するＣ関数を用い
た特殊な式が対応することを表している。

【０１５５】項番（１６）は、プログラム設計仕様中に
設計仕様（ＰＡＤ）表現の欄５０５２に示されるデータ
の分割を表す表現があった場合、生成されるプログラム
では、Ｃ言語表現の欄５０５３に示すように、「ｄｉｖ
ｉｄｅ」というＣ関数を用いたデータ分割を表す実行文
が生成されることを表している。

【０１５６】項番（１７）は、プログラム設計仕様中に
設計仕様（ＰＡＤ）表現の欄５０５２に示されるデータ
の連結を表す表現があった場合、生成されるプログラム
では、Ｃ言語表現の欄５０５３に示すように、実行文中
の式の部分的な式として、「ｃｏｎｃａｔ」というＣ関
数を用いたデータ連結を表す式が生成されることを表し
ている。

【０１５７】項番（１８）は、プログラム設計仕様中に
設計仕様（ＰＡＤ）表現の欄５０５２に示される繰り返
しを表す表現があった場合、生成されるプログラムで
は、Ｃ言語表現の欄５０５３に示すように、「ｆｏｒ
文」が生成されることを表している。

【０１５８】項番（１９）は、プログラム設計仕様中に
設計仕様（ＰＡＤ）表現の欄５０５２に示される値を返
す（返値）表現があった場合、生成されるプログラムで
は、Ｃ言語表現の欄５０５３に示すように、「ｒｅｔｕ
ｒｎ文」が生成されることを表している。

【０１５９】項番（２０）は、プログラム設計仕様中に
設計仕様（ＰＡＤ）表現の欄５０５２に示される演算定
義の表現があった場合、生成されるプログラムでは、Ｃ
言語表現の欄５０５３に示すように、関数の宣言と定義
が生成されることを表している。この図２４および図２
５に示す内容の対応テーブル４０５は再帰的に適用され
る。

【０１６０】プログラミング言語としてＣ言語を使う場
合、前記ライブラリ５０７のヘッダーファイルは例えば
図２７に示すようになる。この中では、図２４および図
２５に示した内容の対応テーブル４０５のＣ言語表現で
使用されているデータ型や関数のプロトタイプが宣言さ
れている。

【０１６１】図２４および図２５に示した内容の対応テ
ーブル４０５に従って、例えば、図２１のＤＥＳアルゴ
リズムのプログラムを生成すると、図２６（ａ），
（ｂ）に示すようなプログラム４０４１，４０４２が得
られる。

【０１６２】図２６（ａ）は、図２１で示した設計仕様
から生成されたプログラムであり、同図（ｂ）は図２２
で示した設計仕様から生成されたプログラムである。

【０１６３】このように、本実施形態においては、前述
したブロック暗号アルゴリズム開発支援装置２００とブ
ロック暗号プログラム設計仕様生成装置４００を利用し
て開発されたブロック暗号アルゴリズムを実現するプロ
グラムを自動的に生成することができる。この生成され
たブロック暗号プログラムは、該ブロック暗号を使用す
る応用プログラムの開発時にスタブとして使用すること
ができる。

【０１６４】なお、本実施形態では、プログラム設計仕
様表現としてＰＡＤを用い、プログラミング言語として
Ｃ言語を用いたが、フローチャート等の他のプログラム
設計仕様表現と、Ｃ＋＋やＰａｓｃａｌ等の他のプログ
ラミング言語を使用した場合でも、同様にして実現可能
である。

【０１６５】［第５の実施形態］次に、本発明の第５の
実施形態であるブロック暗号プログラムテスト支援装置
について、図面に従って具体的に説明する。

【０１６６】図２８は、ブロック暗号プログラムテスト
支援装置の機能構成図であり、この実施形態のブロック
暗号プログラムテスト支援装置６００は、ブロック暗号
プログラムのテストスケジュールを格納するテストスケ
ジュール格納装置６０１と、格納されたテストスケジュ
ールに従ってテストケース３０４を選択するテストケー
ス選択装置６０２と、ブロック暗号プログラムを格納す
る暗号プログラム格納装置６０５と、格納されたブロッ
ク暗号プログラムに対し前記選択されたテストケース３
０４の構成要素である暗号鍵３０４２と平文３０４３を
与えて実行させるプログラム実行装置６０３と、その実
行結果である暗号文と前記選択されたテストケース３０
４の構成要素である暗号文３０４４とを比較するための
比較装置６０４と、前記選択されたテストケース３０４
の構成要素であるＩＤ３０４１と比較装置６０４の比較
結果とからなるテスト結果６０７を格納するための暗号
プログラムテスト結果格納装置６０６とから構成され
る。

【０１６７】この第５の実施形態のブロック暗号プログ
ラムテスト支援装置６００の動作の詳細は次のようにな
る。

【０１６８】まず、ユーザはあらかじめ、前述したブロ
ック暗号プログラムテストケース生成装置３００によっ
て、暗号プログラムのテストケース３０４を生成してお
く。

【０１６９】また、テスト対象となる暗号プログラムを
暗号プログラム格納装置６０５に格納しておき、図２９
に示すようなテストスケジュール６０１０をテストスケ
ジュール格納装置６０１に格納しておく。すると、本実
施形態のブロック暗号プログラムテスト支援装置６００
は、図３０に示すフローチャートに従って、暗号プログ
ラムのテストを順次実施し、その結果を蓄積していく。

【０１７０】まず、開始直後にステップ６０８でテスト
スケジュール６０１０で示される全ての項番のテストが
終了したかを調べる。そうであれば、処理を終了する。
さもなければステップ６０９に移る。

【０１７１】ステップ６０９では、テストケース選択装
置６０２によって、テストスケジュール格納装置６０１
に格納されている図２９に示すようなテストスケジュー
ル６０１０に従って、暗号プログラムテストケース格納
装置３０５から、次のテストケース３０４を選択する。

【０１７２】ステップ６１０では、プログラム実行装置
６０３によって、前記選択されたテストケース３０４の
構成要素である暗号鍵３０４２と平文３０４３とを、暗
号プログラム格納装置６０５に格納されているテスト対
象の暗号プログラムに与えて実行させ、暗号文を生成す
る。

【０１７３】ステップ６１１では、比較装置６０４によ
って、テスト対象の暗号プログラムの実行結果である暗
号文と前記選択されたテストケース３０４の構成要素で
ある暗号文３０４４とを比較する。

【０１７４】ステップ６１２では、前記選択されたテス
トケース３０４の構成要素であるＩＤ３０４１と比較装
置６０４の比較結果とからなるテスト結果６０７を暗号
プログラムテスト結果格納装置６０６に格納し、ステッ
プ６０８に戻る。

【０１７５】このように、第５の実施形態によれば、前
述のテストケース生成装置３００によって生成された暗
号プログラムテストケース３０４をテストスケジュール
６０１に従ってテスト対象の暗号プログラムに与え、そ
のテスト対象の暗号プログラムの信頼性をテストするこ
とができる。

【０１７６】なお、上記の各実施形態で説明した開発支
援装置における各機能ブロックは、コンピュータが実行
可能なプログラムによって実現することができ、そのプ
ログラムはＣＤＲＯＭ等の記憶媒体に格納されてユーザ
に提供される。

【０１７７】

【発明の効果】以上説明したように本発明によれば、予
め定義したブロック暗号アルゴリズム記法に基づいてブ
ロック暗号アルゴリズムの記述と編集を効率良く支援
し、新しい解読技術に耐えられる新しい暗号アルゴリズ
ムの開発を効率良く支援することができる。

【０１７８】また、ブロック暗号アルゴリズム記法によ
って記述されたブロック暗号アルゴリズムを直接解釈実
行することによって、該ブロック暗号アルゴリズムを実
現するプログラムをテストする際に使用できるテストケ
ースを自動的に生成し、暗号プログラムのテストを効率
良く支援することができる。

【０１７９】さらに、ブロック暗号アルゴリズム記法に
よって記述されたブロック暗号アルゴリズムから、プロ
グラム開発の目的に適したプログラムの設計仕様を自動
生成し、暗号プログラムの生成を効率良く支援すること
ができる。

【０１８０】また、ブロック暗号アルゴリズムから自動
生成された前記プログラム設計仕様から、該ブロック暗
号アルゴリズムを実現するプログラムを自動生成し、暗
号プログラムの生成を効率良く支援することができる。

【０１８１】さらに、暗号プログラム開発のテスト工程
において、ユーザによって指定されたスケジュールに従
って、自動生成されたテストケースを用いて、暗号プロ
グラムを効率良くテストすることができるなど、新しい
解読技術に耐えられる高信頼性の暗号プログラムを開発
するうえでの効率を向上させるのに極めて有効である。

【図面の簡単な説明】

【図１】本発明で用いる暗号アルゴリズム仕様記述記法
で使用するダイアグラム表現を示す図である。

【図２】図１と共に暗号アルゴリズム仕様記述記法で使
用するダイアグラム表現を示す図である。

【図３】ブロック暗号アルゴリズムＤＥＳの全体の機能
を記述した例を示すダイアグラム表現図である。

【図４】図３における演算定義の機能を記述した例を示
すダイアグラム表現図である。

【図５】図３におけるブロック暗号アルゴリズムＤＥＳ
の鍵生成部の機能を記述した例を示すダイアグラム表現
図である。

【図６】図３，図４，図５で使用されている転字，シフ
ト，代入の演算に用いるテーブルの詳細を示す図であ
る。

【図７】本発明の第１の実施形態であるブロック暗号ア
ルゴリズム開発支援装置の機能構成図である。

【図８】図７における暗号ダイアグラム解釈実行装置の
機能構成図である。

【図９】図７における暗号ダイアグラム実行環境検査装
置の機能構成図である。

【図１０】暗号ダイアグラム解釈実行装置２の動作を示
すフローチャートである。

【図１１】暗号ダイアグラム実行環境格納装置の内容の
例を示す図である。

【図１２】暗号ダイアグラム実行環境格納装置の内容の
例を示す図である。

【図１３】暗号ダイアグラム実行環境格納装置の内容の
例を示す図である。

【図１４】暗号ダイアグラム解釈実行装置の動作例を示
す説明図である。

【図１５】図１４の続きを示すフローチャートである。

【図１６】図１５の続きを示すフローチャートである。

【図１７】本発明の第２の実施形態であるブロック暗号
プログラムテストケース生成装置の機能構成図である。

【図１８】本発明の第３の実施形態であるブロック暗号
プログラム設計仕様生成装置の機能構成図である。

【図１９】ダイアグラム設計仕様対応テーブル４０５の
内容の定義例を示す説明図である。

【図２０】図１９の続きを示す説明図である。

【図２１】図３，図４，図５のＤＥＳアルゴリズムに対
応するプログラム設計仕様の例を示す説明図である。

【図２２】図２１の続きを示す説明図である。

【図２３】本発明の第４の実施形態であるブロック暗号
プログラム生成装置の機能構成図である。

【図２４】設計仕様プログラム対応テーブル５０５の内
容の定義例を示す説明図である。

【図２５】図２４の続きを示す説明図である。

【図２６】図２１，図２ののプログラム設計仕様に対応
して生成されたプログラムの例を示すプログラムリスト
図である。

【図２７】ビット演算用のＣ言語ライブラリのヘッダフ
ァイルの例を示す図である。

【図２８】本発明の第５の実施形態であるブロック暗号
プログラムテスト支援装置の機能構成図である。

【図２９】テストスケジュールの一例を示す図である。

【図３０】ブロック暗号プログラムテスト支援装置の動
作を示すフローチャートである。

【符号の説明】

２００…暗号アルゴリズム開発支援装置、２０１…暗号
ダイアグラム編集装置、２０２…暗号ダイアグラム解釈
実行装置、２０３…暗号ダイアグラム実行環境検査装
置、２０４…暗号ダイアグラム格納装置、２０５…暗号
ダイアグラム実行環境格納装置、２０６…ダイアグラム
走査装置、２０７…計算可能性検査装置、２０８…初期
値設定装置、２０９…値計算装置、２１０…検査対象指
定装置、２１１…検査結果表示装置、３００…暗号プロ
グラムテストケース生成装置、３０１…ＩＤ計数装置、
３０２…鍵生成装置、３０３…平文生成装置、３０４…
ブロック暗号プログラムのテストケース、３０５…暗号
プログラムテストケース格納装置、４００…暗号プログ
ラム設計仕様生成装置、４０１…ダイアグラム構文解析
装置、４０２…設計仕様生成装置、４０３…ダイアグラ
ム構文木格納装置、４０４…暗号プログラム設計仕様書
格納装置、４０５…ダイアグラム設計仕様対応テーブ
ル、５００…暗号プログラム生成装置、５０１…設計仕
様構文解析装置、５０２…プログラム生成装置、５０３
…設計仕様構文木格納装置、５０４…暗号プログラム格
納装置、５０５…設計仕様プログラム対応テーブル、５
０６…コンパイラ／リンカ、５０７…ライブラリ、５０
８…実行可能形式暗号プログラム、６００…暗号プログ
ラムテスト支援装置、６０１…テストスケジュール格納
装置、６０２…テストケース選択装置、６０３…プログ
ラム実行装置、６０４…比較装置、６０５…暗号プログ
ラム格納装置、６０６…暗号プログラムテスト結果格納
装置、６０７…テスト結果。

───────────────────────────────────────────────────── フロントページの続き (51)Int.Cl.⁶ 識別記号 ＦＩ Ｈ０４Ｌ 9/06 Ｈ０４Ｌ 9/00 ６１１Ｚ 9/10 ６２１Ｚ (72)発明者 堤 俊之 神奈川県横浜市中区尾上町６丁目81番地 日立ソフトウェアエンジニアリング株式会 社内

Claims (6)

【特許請求の範囲】
1. 【請求項１】 予め定義したブロック暗号アルゴリズム
   仕様記述記法によるブロック暗号アルゴリズムのダイア
   グラム表現をユーザが記述及び編集するのを支援する暗
   号ダイアグラム編集手段と、 該暗号ダイアグラム編集手段によって編集されたブロッ
   ク暗号アルゴリズムのダイアグラム表現を格納する暗号
   ダイアグラム格納手段と、 格納されたブロック暗号アルゴリズムのダイアグラム表
   現を解釈実行する暗号ダイアグラム解釈実行手段と、 解釈実行中のブロック暗号アルゴリズムのダイアグラム
   表現に現れる変数の状態を格納する暗号ダイアグラム実
   行環境格納手段と、 このブロック暗号ダイアグラム実行環境格納手段の内容
   を検査するための暗号ダイアグラム実行環境検査手段
   と、を備えることを特徴とするブロック暗号アルゴリズ
   ム開発支援装置。
2. 【請求項２】 ブロック暗号アルゴリズム仕様記述記法
   は、ビット列データを値とする変数のダイアグラム表現
   と、ビット列データ上の演算のダイアグラム表現とを構
   成要素として有し、前記変数と前記演算を組み合わせる
   ためのダイアグラム表現として、前記変数からの参照操
   作のダイアグラム表現と、前記変数への代入操作のダイ
   アグラム表現と、前記ビット列データへの前記演算の適
   用操作のダイアグラム表現と、前記ビット列データの分
   割操作のダイアグラム表現と、前記ビット列データの連
   結操作のダイアグラム表現と、前記ビット列データの複
   製操作のダイアグラム表現と、前記ビット列データへの
   繰り返し処理のダイアグラム表現と、前記ビット列デー
   タ上の演算を定義するためのダイアグラム表現とを備え
   ることを特徴とする請求項１記載のブロック暗号アルゴ
   リズム開発支援方法。
3. 【請求項３】 テストケースを区別するためのＩＤと暗
   号化鍵と平文と該平文を前記暗号化鍵によって暗号化し
   た暗号文からなるブロック暗号プログラムテストケース
   を格納するための暗号プログラムテストケース格納手段
   と、 前記ＩＤを生成するためのＩＤ計数手段と、 前記暗号化鍵を生成するための鍵生成手段と、 前記平文を生成するための平文生成手段とを備え、 前記暗号文を生成するブロック暗号アルゴリズム開発支
   援手段と、を備えることを特徴とするブロック暗号プロ
   グラム開発支援装置。
4. 【請求項４】 ブロック暗号アルゴリズムのダイアグラ
   ム表現の構文を解析するダイアグラム構文解析手段と、 その解析結果であるダイアグラム構文木を格納するダイ
   アグラム構文木格納手段と、 格納されたダイアグラム構文木からプログラム設計仕様
   を生成する設計仕様生成手段と、 ダイアグラムとプログラム設計仕様の間の対応関係を定
   義した対応テーブルと、 生成された設計仕様を格納するための暗号プログラム設
   計仕様格納手段とを備えることを特徴とするブロック暗
   号プログラム開発支援装置。
5. 【請求項５】 ブロック暗号プログラムの設計仕様の構
   文を解析する設計仕様構文解析手段と、 その解析結果である設計仕様構文木を格納する設計仕様
   構文木格納手段と、 格納された設計仕様構文木からプログラムを生成するプ
   ログラム生成手段と、 設計仕様とプログラムの間の対応関係を定義した対応テ
   ーブルと、 生成されたプログラムを格納するための暗号プログラム
   格納手段とを備えることを特徴とするブロック暗号プロ
   グラム開発支援装置。
6. 【請求項６】 ブロック暗号プログラムのテストスケジ
   ュールを格納するテストスケジュール格納手段と、 このテストスケジュール格納手段に格納されたテストス
   ケジュールに従ってテストケースを選択するテストケー
   ス選択手段と、 ブロック暗号プログラムを格納する暗号プログラム格納
   手段と、 格納されたブロック暗号プログラムに前記選択されたテ
   ストケースの構成要素である鍵と平文を与えて実行させ
   るプログラム実行手段と、 その実行結果である暗号文と前記選択されたテストケー
   スの構成要素である暗号文とを比較するための比較手段
   と、 前記選択されたテストケースのＩＤと該比較結果とから
   なるテスト結果を格納するための暗号プログラムテスト
   結果格納手段とを備えることを特徴とするブロック暗号
   プログラム開発支援装置。