JPH03151738A - 検証用データ生成装置 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明は、電子化されたファイルの検証用データ生成方
式に関する。

〔従来の技術〕

電子データの活用や保存が盛んになるに従い、ファイル
の正当性を認証する技術はますます重要になる。ファイ
ルの内容を圧縮文によって表す技術は、ファイル内容を
確認する有効な技術の１つである。これは大量のファイ
ルデータをハツシュ関数によって圧縮し、６４ビット長
程度の認証子（圧縮文）を作成する技術である。ファイ
ルデータの内容が１ビツトでも変わると、全く異なった
圧縮文を生成してしまうため、データ改ざんの有無を検
知するができる。この技術に、公開鍵暗号を応用し、上
記記載の電子取引の安全性を確保する電子捺印が提案さ
れている。

〔発明が解決しようとする課題〕

しかし、改ざんの有無を検知することができて（５） も、改ざんの箇所を検知することはできない。

この問題に対処するため、改良案を考案していた（特願
昭６２−３２１２２０号）。これはファイルを階層化し
、階層化した個々のファイルデータに対して圧縮文を生
成、保存することで、後日の改ざんを検知する。しかし
、この方法だと、個々の圧縮文を保存するため、保存す
べき情報量が多くなるという不満足な点があった。

〔課題を解決するための手段〕

」−記問題に対し、検証用データ生成方式を考案した。

これは、ファイルデータを分割し、分割した個々のファ
イルデータに対して作成した圧縮文を１ピツ１〜ずつず
らして論理演算を行う。あるいは、検知確率を向１−さ
せるために、個々の圧縮文を２つに分割し、最適に配置
し、配置し直した各圧縮文に対し、論理演算を行う。

〔作用〕

前記技術的手段により、次の効果が生じる。

１、ファイルの検証用データ（ｅ　ｘ、　４１６ビツト
）生成後、ファイルデータが改ざんされた場（６） 知することができる。

２．ファイル改ざん前後の検証用データの相違によって
、ファイルデータの改ざん位置をかなりの確率で検知す
ることが可能になる。

〔実施例〕

第１図〜第９図において、本発明の実施例を示す。

〔実施例１〕 第１図〜第４図において、電子的なメツセージＭの検証
用データ生成方式、およびメツセージ改ざん検証の一例
を示す。

第１図は、検証用データ生成の一方法を示すフロー図で
ある。第２図は、メツセージの改ざんを検知する一方法
を示すフロー図である。

第３図は、処理を行う計算機の一例である。

第４図は、第１図の検証用データ生成の実際のイメージ
を示す。

（７） 第３図において、計算機上のメモリ３０２に、検証対象
のメツセージ３０３．検証用データ生成プログラム３０
４．検証プログラム３０５、およびハツシュ関数３０６
が蓄えられており、これらを用いてＣＰυ３０１によっ
て検証用データ生成と検証を行う。検証用データ生成手
段を第１図のフローのステップ（ｓｔｅρ）に従って示
す。

５ｔｅｐｌ　ＯＯ：始め ｇｔｅｐｌ　Ｏ１：検証用データ生成の対象となるメツ
セージの名称Ｍを設定し、メツセージをｎ個に分割し、
個々をＭ（ｉ）（ｉ＝ｏ……ｎ）とする。

また、カウントｉをＯに設定する。

５ｔｅｐｌ　０２　：カウントｉが、ｉ　＜　ｎならば
５ｔｅｐ１０３に進み、ｉ≧ｎならば５ｔｅｐ　１０７
に進む。

５ｔｅｐｌ　０３　：メッセージＭ（ｉ）を読み込む。

５ｔｅｐｌ　Ｏ４：　Ｍ（ｉ　）に対して、部位圧縮文
Ｈ１（ｉ）（ｐビット）をハツシュ関数りを用いて生成
する。

５ｔｅｐｌ　Ｏ５：部位圧縮文Ｈ１（ｉ）をメモリ３０
２−Ｅに退避する。

（８） ｓｔｅｐｌ　Ｏ６：　ｉに１を加え、５ｔｅｐ　１０２
に進む。

５ｔｅｐｌ　Ｏ７：カウント１ｔｉ−０に設定する。

５ｔｅｐ　］、　０８　：カウントｉが、ｉ　＜　ｎな
らば５ｔｅｐ１０９に進み、ｉ≧ｎならば５ｔｅｐｌ　
１１に進む。

５ｔｅｐｌ　Ｏ９：作成した部位圧縮文Ｈ１（ｉ）を１
ビットずつずらせて排他的論理和を求め、これを（ｐ＋
ｎ−１）ビットの検証用データＨ１とする。

つまり、ＨＩ（１）の２ビツト目とＨＩ　（２）の１ビ
ツト目の排他的論理和が検証用データの２ビツト目とな
る。

１−１１（１）の３ビツト目とＨＩ　（２）の２ビツト
目と、 Ｈｌ（３）の１ビツト目の排他的論理和が検証用データ
の３ビツト目となる。

５ｔｅｐｌ　１０　：　ｉに１を加え、５ｔｅｐｌ　Ｏ
８に進む。

５ｔｅｐｌ　１１　：検証用データＨＩを出力する。

５ｔｅｐｌ　１２　：終わり。

次に、上記の検証用データＨ１作成時のメツセージＭと
現時点でのメツセージＭ′が同等である力ごを検証する
例を第２図のフローに従って示す。

（９） ｓｔｅｐ２００　：始め ５ｔｅｐ２０１　：既に生成済みのＭの検証用データＨ
１を入力する。

５ｔｅｐ２０２　：検証の対象であるメツセージＭ“に
ついて、５ｔｅｐ　１００から５ｔｅｐｌ　１２に従い
、検証用データを生成し、これをＨｌ”とする。

５ｔｅｐ２０３　：検証用データＨ１と）Ｉ　Ｉ　’を
比較し、不一致部分を検知する。一致した場合は５ｔｅ
ｐ２０４に進み、不一致の場合にはｓｔｅρ２０５に進
机 ５ｔｅｐ２０４　：メッセージＭとＭ＃は同一であると
判定し、５ｔｅｐ２０７に進む。

５ｔｅｐ２０５　：メッセージＭとＭ“は同一でないと
判定する。

５ｔｅｐ２０６　：検知した不一致部分位置から、メツ
セージＭ′の改ざん部位を検知する。

例えば、第４図において、ＨｌとＨＩ　’を比較すると
ｄＨの位置が影響を受けていた場合、Ｈｌ（３）とＨｌ
”（３）が一致しなかったことが自明であり、この結果
Ｍ（３）が改ざんされたことが（］Ｏ） わかる。

５ｔｅｐ２０７　：終わり。

〔実施例２〕 第５図〜第８図において、電子的なメツセージＭの検証
用データ生成方式、およびデータ改ざんを検証する他の
例を示す。

第５図は、検証用データ生成の一方法を示すフロー図で
ある。第６図は、メツセージの改ざんを検知する一方法
を示すフロー図である。

第７図、第８図は、検証用データ生成の実際のイメージ
を示めす。

第５図、および第７図、第８図において、検証用データ
生成の手順を示す。

メツセージＭをｎ個に分割し、各分割メツセージに対し
てｐビットの部分圧縮文を生成し、部分圧縮文をＳ個に
分割し、これを再配置して検証用データの生成を行う。

この時、再配置における分散を高めるために、例えばｎ
、ｓ、ｐは次の関係式が成り立つようにする。

ｎ＞（２ｐ／ｓ−１）２ （１１） ここでは、ファイルＭを２６個に分割し、作成する各部
位圧縮文は６ビツ１〜とし、各部位圧縮文は２つに分割
して再配置する。各部位圧縮文より生成する検証用デー
タ３１ビツトとする。

５ｔｅｐ５００　：始め ｓｔｅ、ｐ５０１　：検証用データ生成の対象となるメ
ツセージの各称Ｍを設定し、メツセージを２６個に分割
し、個々をＭ（ｉ）（ｉ＝１．２・・・・・２６）とす
る。また、カウントｊをＯに設定する。

５ｔｅｐ５０２　：カウントｊが、ｉく２６ならば５ｔ
ｅｐ５０３に進み、ｉ≧２６ならば５ｔｅｐ５０７に進
む。

５ｔｅｐ５０３　：　Ｍ（ｉ　）を読み込む。

５ｔｅｐ５０４　：　Ｍ（ｉ　）に対して、ハツシュ関
数りを用いて部位圧縮文Ｈ１ｌ（ｉ）（６ビツト）を作
成する。

５ｔｅｐ５０５　：部位圧縮文Ｈ１ｌ（ｉ）をメモリ３
０２上に退避する。

５ｔｅｐ５０６　：　ｉに１を加え、５ｔｅｐ５０１に
進む。

ｓｔｅρ５０７：カウントｉをＯに設定する。

（１２） ｓｔｅｐ５０８　：カウントｉが、］く２６ならば５ｔ
ｅｐ５０９に進み、ｉ≧２６ならば５ｔｅｐ５１２に進
む。

５ｔｅｐ５０９　：作成した部位圧縮文ＨＩ［（ｉ）（
ｉ＝１，２・・・・・・２６）の左側３ビツトをＨＩＩ
（ｉ）Ｌ、右側３ビツトをＨ■（ｉ）Ｒとする。

ＨＩＩ　’　（ｉ　）　Ｌ　＝　ＨＩＩ　（ｉ　）　Ｌ
　（ｉ　＝　１　、２・・・・・・２６）とする。

Ｈ■’　　（ｉ）Ｒ＝Ｈｎ（，１）Ｒ（ｉ　＝１．２・
・・・・・２６）とし、ｊを次のルールに従い再配置す
る。

（１）１≦ｊ≦２６であり、 （２）Ｈ■（ｊ）Ｒ＃ＨＩＩ’　（ｐ）Ｒ（ｐ＜ｊ）で
あり、（３）Ｈｎ’　（ｉ）Ｒが影響を与えるＨＩＥ’
　（ｋ）Ｒ（ｉ−２≦ｋ＜ｉ＋ｉ＜ｋ≦ｉ＋２）は、Ｈ
ＩＩ’（、ｉ）Ｌが影響を与えるＨｌｌ（ｆ）Ｒ（、ｉ
−２≦ｆ＜ｊ、ｊ＜ｆ≦Ｊ＋２）でなく、（４）　ＨＩ
ｆ　（、ｊ　）Ｌが影響を与えるＨ１ｌ’　（ｍ）Ｒ（
ｊ−５≦ｍ≦ｊ−１）には、ＨＩＩ’（ｉ）Ｌが影響を
与えるＨｌｌ（ｎ）Ｒ（ｉ＋１≦ｎ≦ｉ＋４）ではない
。

５ｔｅｐ５１０　：作成した部位圧縮文Ｈ’ＩＩ（ｉ）
を１ピツ１〜ずつずらせて排他的論理和を求め、これを
（ｐ＋ｎ−１）ビットの検証用データＨ■とする。つま
り、ＨＩＥ’　（１）の２ビツト目とＨ１ｌ’（２）の
１ビツト目の排他的論理和が検証用データの２ビツト目
となる。ＨＩＩ’　（１）の３ビツト目とＨＩＩ’　（
２）の２ビット目と、Ｈｎ’　（３）の１ビツト目の排
他的論理和が検証用データの３ビツト目となる。

ｓｔｅρ５１１：ｉに１を加え、５ｔｅｐ５０８に進む
。

５ｔｅｐ５１２　：検証用データＨｌｌを出力する。

５ｔｅｐ５１３　：終わり。

上記手順に従い生成した検証用データの例が第７図であ
る。

次に、−１；記の検証用データＨＩＩ作成時のメツセー
ジＭと現時点でのメツセージＭ′が同等であるかを検証
する例を第６図のフローに従って示す。

５ｔｅｐ６００　：始め ５ｔｅｐ６０１　：既に生成済みのＭの検証用データＨ
ＩＩを入力する。

（１３） （１４） ５ｔｅｐ６０２　：検証の対象であるメツセージＭ“に
ついて、５ｔｅｐ５００から５ｔｅｐ５１３に従って、
検証用データＨ１ｌ生成と同じ型の再配列を行い、メツ
セージＭ“の検証用データを生成し、これをＨＩＩ”と
する。

５ｔｅｐ６０３　：検証用データＨ１ｌとＨ１ｌ’を比
較し、一致した場合は５ｔｅｐ６０４に進み、不一致の
場合には５ｔｅｐ６０５に進む。

ｓｔｅρ６０４：メツセージＭとＭ′は同一であると判
定し、ｓｔｅρ６０７に進む。

ｓｔｅρ６０５：メツセージＭとＭ＃は同一でないと判
定される。

ｓｔｅρ６０６：フアイルデータ改ざん前後の改ざん検
知用圧縮文ＨとＨＩＩ″の比較する。Ｍ（５）が改ざん
された場合には、検証用データＨＩＩ″′において、Ｄ
ｌ、およびＤ２の部分で一致しない。

従って、改ざん部位の構成より、次のように判断できる
。

改ざん部位＝Ｄ１ｎＤ２ ＝（Ｈｎ（３）ＬＵＨｎ（４）ＬＵＨＩＩ（５）ＬＬＩ
ＨＩＩ（６）ＬＵＨＩＩ（７））Ｌ（１５） ｔＪ（８４１（７）ＲＵＨＩＩ　（１０）ＲＵＨＩＩ（
１３）ＲＵＨＩＩ（１６）Ｒ）（Ｈｎ（１７）ＬＬＪＨ
ｎ（１８）ＬＬＩＨＩ［（１９）ＬＵＨＴＩ（２０）Ｌ
ＬＪＨ■（２１））ＬＵ（Ｈｌｌ（２３）ＲＵＨＩＩ（
２６）ＲＬＩＨＩＩ（５）ＲＵＩ旧１（１）ＲＬＪＩ旧
１（１１）Ｒ）＝Ｈ（５） Ｍ（５）が改ざんされたことが検知できる。

ただし、ここでのｎは、論理積であり、ＬとＲが対とな
っていることを意味する ５ｔｅｐ６０７　：終り。

〔変形例１〕 実施例１．実施例２の検ＮｉＥ用データ生成において、
生成した各部位圧縮文を、排他的論理和以外の論理演算
（論理和、論理積等）によって処理しても同等の機能を
実現することができる。

〔変形例２〕 実施例１．実施例２の検証用データ生成において、生成
した各部位の圧縮文をｍ（１≦ｍ≦ｐ）ビットずつずら
せて論理演算処理を行っても同等の機能を実現すること
ができる（ｍが多いほど保（］６） 持する検証用データが多くなり、一方、改ざん位置の検
知確率は向上する）。

〔変形例３〕 実施例２において、分割した部位の各圧縮文を、３以上
に複数に分割する。例えば、ＨＩＩを３分割しＨｎＬ（
ｉ）、Ｉ（ｎＭ（ｊ）、ＨｎＲ（ｉ）（ｉ＝１゜２……
ｎ）とし、 Ｈｎ’　（ｉ）Ｌ＝ＨＩｌ（ｉ）Ｌ（ｉ＝１．２−・＝
２６）とする。

Ｈ１ｌ’　（ｉ）Ｍ＝ＨＩＩ（ｊ）Ｒ（ｉ＝１．２・・
・・・・２６）とし１．うを次のルールに従い再配置す
る。

（１）１≦ｊ≦２６であり、 （２）１≦に≦２６であり、Ｈ１ｌ’　（ｊ）Ｍが影響
を与える範囲に存在するｋに関して、ＨＩＴ’（、ｊ）
Ｍ≠ＨＩＩ’　（ｋ）Ｍとする。

また、Ｈ１ｌ’　（ｉ）Ｒ，＝ＨＩＩＩ（ｊ）Ｒ（ｉ＝
１．２・・２６）とし、ｊを次のルールに従い再配置す
る。

（１）１≦ｊ≦２６であり、 （２）１≦に≦２６であり、ＨＩ［’　（ｊ）Ｒが影響
を（１７） 与える範囲に存在するｋに関して、Ｈｎ’（ｊ）Ｒ≠Ｈ
ｎ’　（ｋ）Ｒとする。

再配置した部位圧縮文Ｈ’ＩＩ（ｉ）を１ビツトずつず
らせて排他的論理和を求め、これを（ｐ＋ｎ１）ビット
の検証用データＨ１１とすることも可能である。

〔変形例４〕 実施例１．実施例２で生成の検証用データ生成方式は、
電子取引認証における電子捺印に利用することができる
。

５ｔｅｐ９１１　：取引伝標９００を３５３の部位に分
割し、各部位の圧縮文（６４ビツト）を作成し、改ざん
部位検知用圧縮文９０３（４１６ビツト）を、実施例１
、あるいは２によって作成する。

５ｔｅｐ９１２　：取引伝標９００の圧縮文９０２（ｈ
　（Ｍ）　）を作成する。

５Ｌｅｐ９１３　：　　（圧縮文９０２１１改ざん部位
検知用圧縮文９０３１１３２ビットの時刻等の状況デー
タ９０４）を電子捺原文（５１２ビツト）９０１とし、
公開鍵暗号で暗号処理する。

（１８） 〔変形例５〕 実施例１．実施例２で生成の検証用データ生成方式は、
ファイル認証における認証子として利用するこができる
。

〔変形例６〕 検証用データの生成、および検証をＩＣカード上で実施
することも可能である。

〔変形例７〕 生成した検証用データを、ＩＣカードに保存することも
可能である。

〔変形例８〕 実施例２において、検証用データを用いて検証行う場合
に、確率的評価を加えることが可能である。実施例２で
は、メツセージＭ（５）の改ざんに伴い、Ｄｌ、および
Ｄ２に影響が生じているが、Ｄｉに最も影響を与える確
率が高いのはＨＩＩＬ（５）、ＨＩＩＲ（１０）であり
、 Ｄ２に最も影響を与える確率が高いのはＨＩＩＬ（１９
）、ＨＩＩ　Ｒ（５）であることから、改ざん部位＝Ｄ
１ｎＤ２ （１９） ＝（ＨＩＩ（５）ＬＵＨＩＩ（１０）Ｒ）（Ｈｌｌ（１
９）ＬＵＨＩＩ（５）Ｒ）＝Ｈ（５） と検証することができる。

複数箇所の改ざん場所検知等の適用に有効である。

〔効果〕

本発明において、ファイル分割情報があり、かつファイ
ル改ざん前後のファイル圧縮文、および改ざん検知用圧
縮文が生成できる場合、次のような効果が得られる。

１、改ざん前のファイルの改ざん検知用圧縮文（ｅｘ、
４１６ビツト）生成後、ファイルデータが改ざんされた
場合、 ることか可能になる。

２、ファイル改ざん前後の改ざん検証用データにより、
ファイルデータの改ざん位置をかなりの（２０） 確率で検知することが可能になる。

【図面の簡単な説明】

各図は本発明の実施例を示し、第１図は検証用データ生
成の一方法を示すフロー図、第２図は、メツセージの改
ざんを検知する方法を示すフロー図、第３図は、処理を
行う計算機の一例を示すブロック図、第４図は、第１図
の検証用データ生成の実際のイメージを示す説明図、第
５図は、検証用データ生成の他の方法を示すフロー図、
第６図は、メツセージの改ざんを検知する一方法を示す
フロー図、第７図と第８図は、第５図の検証用データ生
成の実際のイメージを示す説明図、第９図は、検証用デ
ータ生成方式を電子捺印に適用した実施例の説明図であ
る。 （２１） 符開平 ａ−１，）１１５５（′Ｏｊ） へへへへへへへへへ −へつ聾ｈζトへ塾 、＋ｓｗ　（、’＋＋　（（”　（ −ｅｈ　Ｋ　−ｅ　＝　ｍ　＝　−ｃｓ　’ｃ＞　−ｃ
ｓ冨’：Ｃ：２：　：Ｃ：　ｘ：で≧２で℃　凌 特開平３ １５１７３８（１１）

Claims (1)

1. 【特許請求の範囲】 １、電子的なメッセージＭの検証用データ生成方式にお
   いて、 該メッセージＭをｎ個に分割し、Ｍ＝Ｍ（１）｜｜Ｍ（
   ２）｜｜……｜｜Ｍ（ｉ）｜｜……｜｜Ｍ（ｎ）とし、
   分割したｎ個の該メッセージＭ（ｉ）（ｉ＝１、２……
   ｎ）に対し、ハッシュ関数ｈによつてｐビットの圧縮文
   Ｈ（ｉ）（Ｈ（ｉ）＝ｈ（Ｍ（ｉ）））（ｉ＝１、２…
   …ｎ）を作成し、 該圧縮文Ｈ（ｉ）（ｉ＝１、２……ｎ）をｍビット（１
   ≦ｍ≦ｐ）ずつずらして論理演算を施した（ｐ＋ｍ（ｎ
   −１））ビットのデータを上記メッセージＭと対応する
   検証用データＨとすることを特徴とする検証用データ作
   成方式。 ２、電子的なメッセージＭの検証用データ生成方式にお
   いて、 該メッセージＭをｎ個に分割し、Ｍ＝Ｍ（１）｜｜Ｍ（
   ２）｜｜……｜｜Ｍ（ｉ）｜｜……｜｜Ｍ（ｎ）とし、
   分割したｎ個の該メッセージＭ（ｉ）（ｉ＝１、２……
   ｎ」に対し、ハッシュ関数ｈによつてｐビットの圧縮文
   Ｈ（ｉ）（Ｈ（ｉ）＝ｈ（Ｍ（ｉ）））（ｉ＝１、２…
   …ｎ）を作成し、 該Ｈ（ｉ）（ｉ＝１、２……ｎ）の左半分をＨ（ｉ）Ｌ
   （ｉ＝１、２……ｎ）、右半分をＨ（ｉ）Ｒ（ｉ＝１、
   ２……ｎ）とし、 Ｈ′（ｉ）Ｌ＝Ｈ（ｊ）Ｌ（１≦ｊ≦ｎであり、Ｈ′（
   ｊ）Ｌ≠Ｈ′（ｐ）Ｌ（ｐ＜ｉ））となるようにＨ（ｉ
   ）Ｌを再配置したＨ′（ｉ）Ｌ（ｉ＝１、２……ｎ）を
   生成し、 Ｈ′（ｉ）Ｒ＝Ｈ（ｊ）Ｒは、１≦ｊ≦ｎであり、Ｈ′
   （ｊ）Ｒ≠Ｈ′（ｐ）Ｒ（ｐ＜ｉ）であり、Ｈ′（ｆ）
   Ｒ（ｉ−２≦ｆ＜ｉ、ｉ＜ｆ≦ｉ＋２）≠Ｈ（ｋ）Ｒ（
   ｊ−２≦ｋ＜ｊ、ｊ＜ｋ≦ｊ＋２）であり、 Ｈ′（ｍ）Ｒ（ｊ−５≦ｍ≦ｊ−１）≠Ｈ（ｎ）Ｒ（ｉ
   ＋１≦ｎ≦ｉ＋５）となるようにＨ（ｉ）Ｒを再配置し
   たＨ′（ｉ）Ｒ（ｉ＝１、２……ｎ）を生成し、 該再配列した結果をＨ′（ｉ）（ｉ＝１、２……ｎ）と
   し、 該Ｈ′（ｉ）（ｉ＝１、２……ｎ）をｍビットずつずら
   して論理演算を施した（ｐ＋ｍ（ｎ−１））ビットのデ
   ータを上記メッセージＭと対応する検証用データＨ′と
   することを特徴とする検証用データ作成方式。 ３、請求項２に記載の検証用データ生成方式において、 作成したｐビットの部位圧縮文Ｈ（ｉ）（ｉ＝１、２…
   …ｎ）の各々を、 ｓ（ｐの公約数であり、ｓ≠１、２、ｐ）個で分割し、
   Ｈ（ｉ）（１）、Ｈ（ｉ）（２）、………Ｈ（ｉ）（ｒ
   ）、………Ｈ（ｉ）（ｓ）（ｉ＝１、２……ｎ）とし、 Ｈ′（ｉ）（１）＝Ｈ（ｊ）（１）（１≦ｊ≦ｎであり
   、Ｈ′（ｊ）（１）Ｌ≠Ｈ′（ｐ）（１）（ｐ＜ｉ））
   となるようにＨ（ｉ）（１）を再配置したＨ′（ｉ）（
   １）（ｉ＝１、２……ｎ）を生成し、 １＜ｒ≦ｓのｒについて、 （１≦ｘ≦ｎ）であり、Ｈ′（ｉ）（ｒ）が影響を及ぼ
   すｐビットの範囲に存在するｘに関し、 Ｈ′（ｉ）（ｒ）≠Ｈ（ｘ）（ｒ）でないようにＨ（ｉ
   ）（ｒ）を再配置したＨ（ｉ）′（ｒ）（ｉ＝１、２…
   …ｎ）を生成し、 該再配列した結果をＨ′（ｉ）（ｉ＝１、２……ｎ）と
   する再配列方式。 ４、請求項２もしくは３に記載の検証用データ生成方式
   において、 ｎ個に分割したメッセージ ｎ＞（２ｐ／ｓ−１）＾２の関係式が成立する検証用デ
   ータ生成方式。 ５、ファイルＭの圧縮文に、請求項１乃至４のいずれか
   に記載の、検証用データを付加することを特徴とするフ
   ァイル認証方式。 ６、請求項１乃至５のいずれかに記載のファイルの圧縮
   文に、時刻等の状況データを付加したデータを、公開鍵
   暗号の秘密鍵を用いて、公開鍵暗号で暗号処理し、これ
   を該ファイルの認証データとすることを特徴とする電子
   捺印方式。