JP4334021B2 - 読取り装置内の累積の証明方法 - Google Patents

Description

本発明は、読取り装置が支払い携帯用媒体（例えば、好適にはチップカード）を用いて使用されるときに、この読取り装置、または端末内の累積を証明する方法を対象とする。本出願において、チップカードという用語は電子回路の携帯用媒体の用語も含む。
累積は、主に金銭の（または単位に関する）算術演算を対象とし、証明は不正の予防に役立つ。しかし「累積」という語の下ではどのような種類の情報も全く同様に示すことができ、証明はこれらの任意の情報の認証を保証するのに使用される。以下常に累積を述べるが、理解を簡単にするために、いうまでもなく本発明は何らかの情報の証明に、またとくに単に取引の総額証明に適用される。
現状技術において、携帯用の物、実際にはチップカードによる支払いは次のように行われる。買い主は、自分の購入の支払いの際に、自分の銀行支払いチップカードを売り主が保有しているチップカード読取り装置内に置く。ついで売り主は支払いを行わせるが、その様子は、買い主には、読取り装置の画面に自己の買い物の総額が現れることによって、そしてこの買い主が自己のカードの暗証番号を押すように促されることによって具体化される。買い主が自己のカードの暗証番号を押して確定したとき、購入が終了する。実際、この終了の際に、読取り装置は２つのタイプの作業を実行する。第一に読取り装置は購入総額ならびに他の補助データ（日付、時刻、読取り装置または売り主のリファレンス）に対応する買い主の銀行連絡先を記憶する（買い主のカードが通されたときにそれを読み取っている）。他方で、読取り装置は、来店した、または同じ読取り装置を利用した以前の買い主が実施した購入の累積にこの買い主が実施した買い物の総額を加算することから成る累積作業を実施する。２つの情報は、したがって、一方では買い主の当座預金口座の借方に必要な情報であり、他方では、売り主の当座預金口座の貸方に必要な情報である。
したがって、この様に記録された累積は、金融価値を有し、この価値の完全性を不正操作から保護することが望ましい。これを達成するために、累積の証明を実施するＳＡＭ（セキュア アプリケーション モジュール）と呼ばれる、セキュリティ回路を読取り装置に備えることが知られている。証明は、暗号化アルゴリズムによる累積の暗号化作業の結果である、証明書、２進のキャラクタ列を計算することに帰着する。暗号化アルゴリズムは一般的にＤＥＳ型、ＲＳＡ型、その他である。このタイプのアルゴリズムの特徴は暗号化鍵によってパラメータ化できることである。暗号化鍵は通常秘密である：それはＳＡＭ回路内に記憶されている。上述の暗号化アルゴリズムは複雑なので、今日、これらのアルゴリズムは破壊できない、すなわち、暗号化され、暗号化の結果が分かっている、既知の、総額の知識から暗号化鍵を見つけることは不可能である、と認められている。暗号化の結果がまさにこの証明書である。
言い換えれば、このセキュリティシステムによって、壊れやすい情報、累積情報が、保護された情報の対、その証明書に組み合わされた累積に置換される。
一日の終わりに、売り主が金銭を勘定するときに、自己の読取り装置を中央局に、一般的に銀行の中央局、に接続する。このとき銀行に買い主に関する情報と売り主に関する情報、つまり自己の店舗で実施された購入の累積およびこの累積に添付された証明書、を送信する。中央局では、とくに証明書を用いて、検証が行われ、累積総額は売り主の口座の貸方に記入される。
中央の作業員にとって、時間も手伝って、毎晩接続される読取り装置の数はきわめて多数になることもある。数は数百万に達することもある。
現在よく理解できる慎重さの理由から、すべての読取り装置において、ＳＡＭ回路を定期的に変更する必要が認められている。その周期は、例えば、２、３年程度である。この作業は一方では高くつき、他方では、すべての箇所で一斉に実施することができないのに作業が不可欠であり、いずれにしても実用的でないことを考慮に入れると、実施がきわめて困難である。
さらにもっと一般的には、顧客の銀行支払いカードを電子財布型のカードに交換すると、問題はいっそう致命的になる。実際、カード、あるいは携帯用媒体、電子財布の場合、顧客の当座預金口座はもはや識別されない。財布は匿名とすることが可能で、通貨単位が収められている。さらに、この事実のためにもはや検証の可能性がない。
この最後の場合も、最初の場合と同様、巧妙な不正者は、ＳＡＭ回路のセキュリティを偽造するか、よくある作業によって、知ろうとすることが予想される。
本発明は読取り装置にセキュリティ回路を備えない工夫によって、この欠点を解消することを目的とする。このために、これらの読取り装置の管理は完全になくなることになる。管理は全くなくなる。ただし、証明書と組み合わされた累積システムによってもたらされたセキュリティの品質を維持するために、かかるシステムを保つことが想定される。しかしながら、本発明において、暗号化アルゴリズムのパラメータ化はもはや、読取り装置内に含められたセキュリティ回路内に含まれる秘密のプライベート鍵によってではなく、顧客のチップカードのメモリ内に含まれる秘密のプライベート鍵によって実施される。したがって、以下に読取り装置内にＳＡＭ回路を有する必要が全くないことを示す。実際には、暗号化アルゴリズムの実行はカードの中で実現すらされる。しかしながら、この実行は、この読取り装置のマイクロプロセッサによって読取り装置内で実行されるだろうが、ただし、この読取り装置はカードから、暗号化の秘密のプライベート鍵を受け取る必要がある。
したがって、本発明は読取り装置内の情報の証明方法において、
−カードのプライベート鍵とカードの公開鍵の、組み合わされた暗号化鍵の対をチップカード内に保存し、
−前回の情報に対応する前回の証明書と、前回の公開鍵を、チップカードに伝送し、
−前回の公開鍵を用いる前回の証明書の暗号化アルゴリズムによって前回の情報のイメージを、好適にはカード内に、見いだし、
−情報のイメージに整合性があることを検証し、
−前回の情報と取引情報に基づいて新規情報を計算し、
−新規パラメータ情報の暗号化アルゴリズムと、カードの秘密鍵によって、好適にはカード内で、新規証明書を計算し、新規情報に対応する新規証明書を取得し、
−新規情報に対応する新規証明書と、カードの公開鍵を読取り装置内に記憶する、
ことを特徴とする方法を対象とする。
ここで、組み合わされた２つの鍵から、鍵（例えば、プライベート鍵）でデータが署名され、すなわち暗号化され、組み合わされた鍵（例えば、公開鍵）でそれを解読することが、あるいはその逆が可能であることに注意しなければならない。他方で、組み合わされた鍵を、他方から一方に、一方方向にしか、見つけることができない：プライベート鍵は公開鍵を生み出すことができる。DES型のアルゴリズムの場合、親鍵と子鍵と呼ばれ、親鍵は複数の子を持つことができる。
したがって、本発明の原理は、総額と公開鍵CP0に関する証明書、CERTIFICAT 0を端末内に保存することである。公開鍵CP0はプライベート鍵CS0に対応し、それによって（カード内で）機密を保持する形で証明書CERTIFICAT 0が作成される。この公開鍵ＣＰ０はカードの公開鍵であり、それによって前回の取引は実行される。取引ごとに、端末内に記録された公開鍵は変更することができる。本発明では、取引ごとに、別の公開鍵が端末内に保存される。保存された公開鍵はプライベート鍵に対応し、それによって最新の証明書が計算される。この解決法によってカードは端末内に保存された累積、CUMUL 0が、この端末内に保存されたCERTIFICAT 0に正しく対応することを検証できるが、それは同じく端末内に保存された公開鍵（CERTIFICAT 0の公開鍵）と共に、好適にはカード内に、それが見つかるからである。
本発明は付属の図面を参照して以下の説明を読むことによっていっそう良く理解できるだろう。図面は例として挙げられたものであり、本発明を一切限定しない。図面は以下のものを示す。
−図１：本発明の方法を実施するために使用可能なチップカードと読取り装置を備えたシステム。
−図２と図３：本発明方法の異なる過程を示す、２つの推奨アルゴリズムの主要な過程。
−図４ａから４ｅ：カードおよび／または読取り装置の電子回路内で実施される作業の概略図。
図１は電子回路、チップ２を備えたチップカード１を示している。カード１は読取り装置３と通信するためのものである。読取り装置３自体は定期的に、中央局４、例えば、銀行の情報処理局と通信するための手段を備えている。読取り装置３と銀行の局４との間の通信は既知のタイプのものであり、発明の範囲には入らない。チップカードの電子回路２はバス６を介してプログラムメモリ７と接続されたマイクロプロセッサ５と、とくにレジスタ９から１３のセットを有するランダムアクセスメモリ８を備えている。バス６も不揮発性メモリ１４とコネクタ１５で表された接続インターフェイスと接続されている。プログラムメモリ７と不揮発性メモリ１４は例えば、ＥＰＲＯＭまたはＥＥＰＲＯＭタイプのメモリセルをベースに構成されるか、あるいはバックアップランダムアクセスメモリ型であり、一方メモリ８は揮発性のスタティックあるいはダイナミックメモリのセットを備えることになる。しかしながら、メモリ８は必ずしも揮発性でなくても良い。読取り装置３はチップカード１が読取り装置内に挿入されたときに該カードのコネクタ１５と接触するためのコネクタ１６を備えている。読取り装置３はさらに、好適には、バス１８を介してプログラムメモリ１９とデータメモリ２０に接続されたマイクロプロセッサ１７も備えている。好適には、メモリ１９とメモリ２０は不揮発性である。
プログラムメモリ７と１９は一方では本発明の方法に従ってとりわけ作業を実行し、他方ではメモリ２０に含まれる情報を銀行の局４に定期的に転送することを保証するためにそれぞれマイクロプロセッサ５と１７によって実行可能プログラムを備えている。方法を初期化したとき、サーバーセンター４はゼロに等しい累積に対応し、かつ架空のカードの初期のプライベート鍵でこのゼロ累積に対して実行した暗号化アルゴリズム（例えば、ＲＳＡ）の結果である証明書を、読取り装置３にダウンロードしてしまっていることがある。このゼロ累積に対応する公開鍵も読取り装置３内にダウンロードされている。この証明プライベート鍵は（カード発行者である）サーバーセンター４によって保存され、一方対応する証明公開鍵は端末にダウンロードされる。
本発明の方法にはカード１の回路２内に、とくに不揮発性メモリ１４内に、カード１のためのプライベート鍵、CS1、同じくカード１のための公開鍵、CP1、つまり組み合わされた暗号化鍵の対を保存することが含まれる。さらに、読取り装置のメモリ２０内に、好適には停電があったときに揮発しない仕方で、前回の証明書CERTIFICAT 0と、前回のチップカードに関する公開鍵CP0が保存され、それによって記憶された証明書、CERTIFICAT 0、が構成される。
CUMUL 0自体も読取り装置３内に保存されている好適な解決法を以下に説明する。しかしながら、以下に見るごとく、累積の冗長である証明を考慮して、この累積自体を保存する必要を避けることさえできるだろう。一応ここでは、前回の取引に関する、累積CUMUL 0もメモリ２０内に保存されているものとする。
第一の作業、図２または３の、過程２１において、カード１と読取り装置３を通信するプロトコルを実施する。このプロトコルは本発明に先行し、既知のタイプのものであり、本発明に関しては、特別なものは何も必要ない。しかしながら、一般的にこの認識および通信プロトコルは、暗証番号が読取り装置によって検証できるようにこの読取り装置のキーボード上で買い主が自分の暗証番号を入力する義務が含まれるだろう。
この方法の最初の過程、図２の過程２２は、この読取り装置内に記憶された最新累積状態を読取り装置３によってカード１に送信されることが含まれる。実際には、読取り装置はしたがって、CERTIFICAT 0、CERTIFICAT 0の公開鍵ＣＰ０と、好適には、CUMUL 0をカード１に送信する。カード１は過程２３の途中でこれらの要素を受信し、メモリ７内に含まれるプログラムが累積CUMUL 0を累積レジスタ９内に、証明書CERTIFICAT 0を証明書レジスタ１０内に、証明書CERTIFICAT 0の公開鍵CP0をメモリ８のレジスタ１１内に保存させる。
本発明によれば、カードは最初に読取り装置の整合性の検証作業を行う。実際は、情報の整合性、つまり公開鍵を用いたこの証明書の暗号化の後、証明書の構造またはフォーマットを検証する。カードは、読取り装置が偽造または不正なものでない、あるいは情報が操作されていないという事実をいわば試験するのである。この目的のために、好適な仕方で、カード内で、作業２４で、ここではCUMUL 0’と呼ばれる累積CUMUL 0のイメージを計算する。図４ａは過程２４の原理を機能的に示している。この過程はシステム内に採用されたタイプのアルゴリズム、例えば、ここでは、簡略にするために、ＲＳＡ型のアルゴリズムによって証明書CERTIFICAT 0（このときレジスタ１０内で利用可能）を暗号化することから成る。アルゴリズムの実行はこのときレジスタ１１内で利用可能な公開鍵ＣＰ０の使用によって実施される。
ここで、前回のカード０に関係する公開鍵CP0は未知のプライベート鍵CS0に組み合わされる。実際、プライベート鍵ＣＳ０は、機密を保持するように、アクセスできない前回のカード０内に含まれている。前回のカードによる証明書CERTIFICAT 0の構成は証明書CERTIFICAT 0が得られるようにプライベート鍵ＣＳ０によってCUMUL 0を暗号化することから成る。
鍵の組合せの上述の原理によれば、プライベート鍵ＣＳ０に組み合わされた公開鍵ＣＰ０を用いて累積CUMUL 0を見いだすことが可能である。図４ａにはCUMUL 0’であると示されているが、これは、実際には、好適には読取り装置３内に保存された、真のCUMUL 0が真正な累積であるか否かがわからないからである。作業２４が終わったときに、したがって、ランダムアクセスレジスタ12内でCUMUL 0’が利用可能になる。このときメモリ７のプログラムの命令によって累積CUMUL 0と累積CUMUL 0’を比較させること、作業２５、ができる。この比較によって差が示されたときは、プログラム７が取引を成立させず、先に進むことを拒絶するだろう。比較が正しいときは、作業が続行する。
好適には、メモリ７のプログラムを実行するマイクロプロセッサ５によって、累積CUMUL 0’の計算（作業２４）と、２つの累積の比較（作業２５）を行う。しかしながら、コネクタ１５と１６によってプログラム７の要素をマイクロプロセッサ１７に伝送し、このとき必ずしもメモリ１９内に含まれていないプログラムの一部をそれに対して実行させることも十分可能である。変型として、検証プログラムはメモリ１９内に含まれるが、マイクロプロセッサ５によって実行される。
くわえて、作業２４と２５で問題となり、累積CUMUL 0の保存と転送を含む検証は、計算済み累積CUMUL 0’の内在的な完全性の検証に代えることができる。実際、アルゴリズム、とりわけRSA型アルゴリズムにおいて、証明書CERTIFICAT 0と標準公開鍵CP0から計算された累積結果CUMUL 0’（図4a）は特定のビットの形態を持たなければならないことが知られている。このとき、この形態に対してフォーマット検証を行うことができる。例えば、５１２ビットに符号化される累積CUMUL 0’について、１０ビット程度だけが累積自体に用いられる。その他すべては形態（構造、フォーマット、識別子）ビットである。この例において、次にビットの、例えば、６４ビットのバッチを取り、それぞれのバッチのパリティは、鍵の種類によって、バッチごとに交互になるか、あるいはすべてが同一のパリティかまたは別にならなければならない。内在タイプのその他の検証も考えられる。これらの内在タイプの検証は、証明書CERTIFICAT 0がプライベート鍵CS0で作成されなかったとき（最終的に不正使用者がそれを知らず、公開鍵CP0をでっち上げたため）、この場合計算済み累積CUMUL 0’が整合性のある意味を全く持たないというものである。不正使用者が満足したとしても、累積に用いられたビットが非常に高い値を示し、アルゴリズムに固有の構造で、この結果が根本的に誤っていることがわかる。
前回の累積型検証作業が終了したとき、端末３は買い主との間で進行中の取引の総額をチップカード１に送信する。実際には総額の送信は後の過程２６においてではなく、過程２２と同時に実施することができる。
次の過程２７において、カードはこの総額を受信して、過程２８で新規累積、累積CUMUL 1を計算する。実際には累積CUMUL 1は累積CUMUL 0と実施中の取引の総額の総計になる。
作業２２から２５も読取り装置の画面２９に総額が表示される前に、また買い主が自分の暗証番号をキーボード３０で確定する前に行うことができる。
本発明の方法は図４ｂのマイクロプロセッサ５がメモリ７のプログラムを適用する、過程３１で続けられ、過程３１で証明書CERTIFICAT 1を計算する。証明書CERTIFICAT 1は、カード１のプライベート鍵CS1を用いる暗号化アルゴリズム（例えば、RSA型）を実行して、新規累積である、累積CUMUL 1を暗号化することで得られる。好適には、累積CUMUL 1をあらかじめ適合（フォーマット、構造、付加識別子）させてから暗号化する。これによってこの情報の整合性の検証または内在的な検査の過程が可能になる。この過程は読取り装置によって、あるいは次のカードによっても実施される。
カード１はつぎに過程３２において、計算されたばかりの証明書CERTIFICAT 1、およびプライベート鍵によって証明書CERTIFICAT 1が計算されたプライベート鍵CS1に組み合わされた公開鍵CP1を読取り装置３に送信する。推奨変型において、累積CUMUL 1自体が読取り装置３に送信される。
これらの情報は過程３３の途中で読取り装置３のメモリ２０内に受信される。これらの情報は前回の情報と置換されるか、あるいは次の記録２０’として、ファイル内に記録される。このときシステムは次の取引に利用可能であり、カード０に関して言われたことはカード１について真になる。
図３は本発明の推奨変型を示し、システムは不正利用者に対するもろさをさらになくすためにいっそう複雑にされている。これまで、カード内に組み合わせ鍵ＣＳ１とＣＰ１の対が存在するのを見てきた。カードの中で、鍵ＣＳ１は秘密領域内に格納され、表示や伝送のための読取ではアクセスできない。実際には、この観点から十分なセキュリティに達することができる。公開鍵ＣＰ１の方は、読取り装置３に伝送されるためのものであるので、アクセス不可能な領域内に保存されず、メモリ１４の完全に読み出し可能な領域内に保存される。
変型において、この鍵の対は鍵の対または三重項に置換される。変型の目的は、不正使用者が組み合わされたプライベートおよび公開鍵の、互換性のある、対を知っているような場合にこの不正利用者の行動を阻止することである。鍵の三重項は、先の場合と同様に、カードのプライベート鍵ＣＳ１を含んでいる。それは、公開鍵ＣＰ１の代わりに証明済み公開鍵ＣＰＣ１を含んでいる。この証明済み公開鍵ＣＰＣ１は、図４ｃにおいて、カード１の公開鍵ＣＰ１を暗号化アルゴリズムを用いる証明回路に通すことによって得られる。証明回路、したがって、アルゴリズムは、証明機関に既知の証明プライベート鍵ＣＳを使用した。ある例において、証明機関は中央機関であり、例えば、それは局４を管理する銀行である。この場合、証明プライベート鍵ＣＳは（局４を除く）誰にも知られていない。プライベート鍵ＣＳはチップカード１内にも、どの読取り装置３内にも保存されていない。他方、証明プライベート鍵ＣＳに組み合わされた証明公開鍵ＣＰは、それによって証明済み公開鍵ＣＰＣ１が作成されたのであるが、それ自体カード１内に、あるいは読取り装置３内に、さらには両者の中に保存されている。
好適には、それはカード１内だけに保存されている。この利点として、カードが交換されるにつれて、証明プライベート鍵／証明公開鍵の対自体を変えると同時に、システムが証明プライベート鍵／証明公開鍵の古い対で機能することを可能にする。
図３は、過程２１に続いて、前と同じように、読取り装置３がカードに累積CUMUL 0（前と同様に必要ではないが望ましい）、証明書CERTIFICAT 0とそれによって証明書CERTIFICAT 0が作成されたカードの証明済み公開鍵ＣＰＣ０が送信される過程３３を示している。作業３５の際、カード１はこれらの要素を受信し、作業３６の際カード０から公開鍵ＣＰ０の取り出しから開始する。他方で、この作業は図４ｄに示されている。この作業３６は証明公開鍵ＣＰを用いる暗号化アルゴリズム（RSA）を用いて証明書CERTIFICAT 0の証明済み公開鍵CPC0を暗号化することに帰着する。鍵ＣＰは証明プライベート鍵に組み合わされた鍵である。作業３６の際、このときそれによって証明書CERTIFICAT 0が（理論的に）作成されたカードの公開鍵CP0を生成することができる。これは図４ｄに示されている。随意ではあるが、望ましい作業３７（ダッシュで示した）の際、得られた鍵CP0の内在する整合性の検証が実現される。この整合性の検証は前で見たものに一致する。整合性が得られないとき、拒絶が行われ、作業は実行されない。この作業がうまくいったとき、次の過程３８において、過程２４（図４ｅ）のごとく、累積CUMUL 0’を計算する。次に、過程２５と同様に過程３９で累積CUMUL 0とCUMUL 0’の比較を実施する。この比較が失敗したとき、前と同様に拒絶作業が起きる。それ以外の場合、過程４０で、過程２６と同様に、総額が読取り装置によってカードに送られる。
総額は過程４１でカード内に受信され、新規累積であるCUMUL 1が過程４２で計算され、新規証明書、CERTIFICAT 1が過程４３（図４ｂ）で計算され、過程４４でカードは計算済みの要素、すなわち主としてCERTIFICAT 1、好適には推奨変型において、CUMUL 1と、他方では、カード１の証明済み公開鍵：ＣＰＣ１を読取り装置に送信する。一方で、証明公開鍵がカードの中に含まれ、他方で、必要に応じた作業４５の際、それらを定期的に変更することが予定されている場合、カード１はさらにそれが含んでいる証明公開鍵ＣＰを読取り装置に送信する。この様にして、証明機関が鍵の変更を決定したときに証明公開鍵ＣＰの容易なローテーションが保証される。機関はその顧客、買い主に、プライベート鍵によってカードの公開鍵ＣＰ１自体が証明されたプライベート鍵ＣＳに対応する新規証明公開鍵ＣＰを備えたチップカードを分配するだけでよい。
過程４６において、これらの情報は読取り装置内に受信され、先と同様にメモり２０内に記憶される。好適には、このとき読取り装置はそれに与えられたカード１の証明済み公開鍵の整合性検証作業４７を開始する。この整合性検証は先に見たものと同じタイプである。図４ｆに一部が示された作業４７は、最初に、同じように受信した証明公開鍵ＣＰをこの暗号化のために用いる暗号化アルゴリズムＲＳＡによって証明済み公開鍵CPC1を暗号化することで、この公開鍵ＣＰ１を計算することに帰着する。この整合性検証が失敗したとき、累積記憶の次の過程４８は着手されない。
拒絶されたとき、読取り装置３は最新の入力データとして、累積CUMUL 0と証明書CERTIFICAT 0を有するその初期状態に留まる。
一つの鍵はビットの大きな列である。ある例において、一つの鍵は長さが512または1024ビットである。
累積は複数のタイプとすることができる。それは支払い取引累積、または返済取引累積、あるいはまた読取り装置による２つの電子財布の間の転送累積などとすることができる。さらに、先に示したごとく、通貨単位の累積ではなく、認証されたなんらかの情報とすることができる。この場合、またとくに情報が単に取引総額であるとき、本発明の方法に前回の情報と取引の情報に基づいて新規情報を計算することから成る過程を含める必要はない。新規情報は受信され、演繹されまたはカードによって読み取られ、このカードのプライベート鍵で署名することができる。
鍵だけによって情報を暗号化、図４ａから４ｆ、する代わりにそれらを鍵によって、また別途既知である可変情報によって暗号化することができる。これらの可変情報は例えば、日付、カードの通番号、これらのカードに内蔵された回路のカウンタの状態である。この場合これらの要素は読取り装置がそれらを記憶し、かつ次の作業の際に、次のカードが証明書から累積を解読できるように次のカードに再伝送できるようにチップカードによって同じく読取り装置に伝送することができる。それらは遠隔収集の際にサーバーセンターにも伝送される。
読取り装置の遠隔収集の際に、電子取引および／または取引総額合計および組み合わされた証明書の全体を取得センターに転送することができる。このとき取得センターは下記の検査を実施することができる：
−それぞれの取引の電子署名の有効性を検証して、それによってそれが修正されていないことの保証、
−端末および組み合わされた証明書から受信した合計の整合性の検証、
−端末から受信した合計が電子取引累積に対応することの検証、その目的はどの取引も追加または削除されていないことを保証することである。

Claims (11)

1. −携帯用媒体がプライベート鍵（ＣＳ１）と公開鍵（ＣＰ１）の、組み合わされた暗号化鍵の対を保存し、ここで、前記組み合わされた暗号化鍵の対は、該携帯用媒体に関係づけられたものであり、
   −該携帯用媒体が、先行する情報（CUMUL 0）に対応する先行する証明書（CERTIFICAT 0）と、先行する公開鍵（CP0）とを受信し（２３）、
   −該携帯用媒体が、該先行する公開鍵（ＣＰ０）を用いて該先行する証明書を暗号化するアルゴリズム（RSA）を用いて、該先行する情報のイメージ（CUMUL 0’）を当該先行する証明書（CERTIFICAT 0）から計算（２４）し、
   −該携帯用媒体が、該先行する情報の該イメージを、証明された情報（CUMUL 0）と比較し（２５）、この比較結果が正しい場合には、
   ・該携帯用媒体が、後続する情報（ＣＵＭＵＬ １）に、暗号化アルゴリズムを用いて該携帯用媒体の前記プライベート鍵（ＣＳ１）で署名することで、該後続する情報（ＣＵＭＵＬ １）に対応する証明書（３１）を取得し、
   ・該携帯用媒体が、当該証明書ならびに該携帯用媒体の該公開鍵（ＣＰ１）を読取り装置に送信し、
   ・該読取り装置が、該証明書と該携帯用媒体の該公開鍵とを記憶する、
   ことを特徴とする読取り装置内の情報の証明方法。
2. −携帯用媒体がプライベート鍵（CS1）と証明済み公開鍵（CPC1）の、組み合わされた暗号化鍵の対を保存し、ここで、前記組み合わされた暗号化鍵の対は、該携帯用媒体に関係づけられたものであり、
   −該携帯用媒体と読取り装置のうちの少なくとも一つが証明公開鍵（ＣＰ）を保存し、該証明公開鍵は、証明プライベート鍵（ＣＳ）に組み合わされているものであり、
   該携帯用媒体内に保存された該携帯用媒体の前記証明済み公開鍵とは、該証明プライベート鍵を用いる暗号化アルゴリズムによって、該携帯用媒体の公開鍵を暗号化して得られたものであり、
   −該携帯用媒体が、先行する情報（ＣＵＭＵＬ ０）に対応する先行する証明書（CERTIFICAT 0）と、先行する携帯用媒体の証明済み公開鍵（CPC0）を該読取り装置から受信し（23）、
   −該携帯用媒体が、該証明公開鍵（ＣＰ）を用いる該先行する携帯用媒体の受信した該証明済み公開鍵（ＣＰＣ０）の暗号化アルゴリズムを用いて該先行する携帯用媒体の公開鍵を計算し（図４ｄ）、
   −該携帯用媒体が、あらかじめ取り出された該先行する携帯用媒体の公開鍵（CP0）を用いて該先行する証明書を暗号化するアルゴリズムを使用して、該先行する情報のイメージ（CUMUL 0’）を計算し（２４）、
   −該携帯用媒体が、該先行する情報の該イメージを、証明された情報（ＣＵＭＵＬ ０）と比較し（２５）、この比較結果が正しい場合には、
   ・該携帯用媒体が、後続する情報（ＣＵＭＵＬ １）に、該携帯用媒体の該プライベート鍵を用いる暗号化アルゴリズムを用いて該携帯用媒体の該プライベート鍵（ＣＳ１）で署名することで、当該情報（ＣＵＭＵＬ １）に対応する証明書を取得し、
   ・該携帯用媒体が、当該証明書と、該携帯用媒体の該証明済み公開鍵とを該読取り装置に送信し、
   ・該読取り装置が、当該証明書と該携帯用媒体の該証明済み公開鍵を記憶する（４６）、
   ことを特徴とする読取り装置内の情報の証明方法。
3. −該読取り装置が、該携帯用媒体の該公開鍵が、該携帯用媒体の該証明済み公開鍵（ＣＰＣ１）であるかどうかを検証する（４７）、
   ことを特徴とする請求項２に記載の方法。
4. −該携帯用媒体が、該取り出された公開鍵（CP0）が正しい公開鍵かどうかを検証（３７）する、
   ことを特徴とする請求項２または請求項３に記載の方法。
5. −該先行する情報のイメージの内在的な完全性の検証が、該先行する情報の該イメージと証明された情報との比較に取って代わることを特徴とする請求項１から４のいずれか一つに記載の方法。
6. −該先行する情報（ＣＵＭＵＬ ０）を該読取り装置が該携帯用媒体に伝送し、
   −該携帯用媒体が、該先行する情報の該イメージが該証明された情報であるかどうかを検証し、
   −該後続する情報（ＣＵＭＵＬ １）を該携帯用媒体が該読取り装置に伝送（３２または４４）する、
   ことを特徴とする請求項１から５のいずれか一つに記載の方法。
7. −鍵の証明用の該証明公開鍵（ＣＰ）を該携帯用媒体が保存する、
   ことを特徴とする請求項２から６のいずれか一つに記載の方法。
8. −該読取り装置が、連続する情報、証明書および公開鍵を記憶する（20’）、
   ことを特徴とする請求項１から７のいずれか一つに記載の方法。
9. −該先行する情報が累積を表し、該後続する情報（ＣＵＭＵＬ １）が取引総額を表す、
   ことを特徴とする請求項１から８のいずれか一つに記載の方法。
10. 該携帯用媒体が該先行する情報と取引情報に基づいて該後続する情報（ＣＵＭＵＬ １）を計算することを特徴とする、請求項１から９のいずれか一つに記載の方法。
11. 該読取り装置が該取引総額を該携帯用媒体に送信（２６または４０）することを特徴とする、請求項９に記載の方法。

Images