メモリカードに記録されているデータの安全な変更方法
【課題】
本発明は、メモリカードとカードを読取るように構成されたリーダからなるカード処理システムにおけるデータの変更方法に関するものであり、このカードには、カードによる処理に関したデータ値を記録する少なくとも１つの位置を含む不揮発性、消去および書換可能なメモリが含まれる。各処理はデータ値の変更を生じるが、データ値は時間に関して単調である。書込み動作が正しく実行された最後には、第１位置は新しい値を含み、第２位置は値ゼロを含むように、各処理毎に、データ値書込み動作により、カウンタを形成するメモリの所定の２つの位置のうちの第１位置（Ｂ）に新しいデータ値（Ｙ）が書込まれ、この書込み動作により第２位置に記録された前のデータ値が消去される。
本発明は、メモリカードとカードを読取るように構成されたリーダからなるカード処理システムにおけるデータの変更方法に関するものであり、このカードには、カードによる処理に関したデータ値を記録する少なくとも１つの位置を含む不揮発性、消去および書換可能なメモリが含まれる。各処理はデータ値の変更を生じるが、データ値は時間に関して単調である。書込み動作が正しく実行された最後には、第１位置は新しい値を含み、第２位置は値ゼロを含むように、各処理毎に、データ値書込み動作により、カウンタを形成するメモリの所定の２つの位置のうちの第１位置（Ｂ）に新しいデータ値（Ｙ）が書込まれ、この書込み動作により第２位置に記録された前のデータ値が消去される。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、カードリーダを用いた処理が実行されるとき、スマートカードに記録されているデータ記録の一部を変更するためのシステムに関し、さらに詳細には、スマートカードに記録されているデータを、リーダを用いた処理の間に変更するための安全な方法に関する。
【背景技術】
【０００２】
チップカードとも呼ばれるスマートカードは、カード所有者のデータキャリアとして益々その使用は増加している。これらのカードには、カードに搭載されたアンテナと、関連するリーダとの間の情報交換を非接触電磁結合により行う非接触カードが含まれる。これは、アクセス制限領域へのアクセスカード又は電子財布として開発されてきた。
【０００３】
一般的に、スマートカードは不揮発性、消去および書換可能なＥＥＰＲＯＭ又はフラッシュＥＰＲＯＭ型メモリを使用するので、メモリのスイッチが切れているときでもデータはメモリに書込まれたままである。これらはさらに、１つ又はいくつかのメモリ位置を消去して新しいデータを書込むことによりデータ記録を更新することが出来る。
【０００４】
処理の間に、一般的にはカードの「突然の取出し」、即ち処理動作が完了する前の取出し、による偶発的停電によりメモリが壊れ、それにより新しいデータが記録されずにデータを喪失することがある。このリスクが特に大きいのは、カードが正しく作動できる空間的限度を認知することの出来ない非接触カードを用いるときである。
【０００５】
不揮発性ＥＥＰＲＯＭ型メモリの場合には、別のリスクがある。この場合、書込み動作が正常に終了する前に中断されてもデータは書込まれ、書込み動作の直後には正しく読取ることが出来るが、後の時点でこの読取りを繰返しても、これが正しく実行される保証はない。途中で中断された書込み動作の結果、メモリセル内の情報の保持が不十分だからである。
【０００６】
したがって、データの完全性を確保にするには、データが変更済み状態か、又は変更前の状態の何れかにあり、決して「突然の取出し」による未確定の中間状態にはならないことを確保することにより、このようなリスクに対してカードを保護することが望ましい。
【０００７】
処理の安全性の理由から、万一処理中に停電を生じ、処理を最初からやり直すことが出来ない場合は、重要データ（電子財布の預金残高など）の修復不能な喪失の危険を覚悟の上で、処理全体を再実行する必要がある。
【０００８】
上述の問題に対応して、データ変更を実行する前にデータ記録をバッファメモリに記憶することが考案されてきた。変更すべき記録に対する変更が全て完了すると、古い記録はバッファメモリから消去される。
【０００９】
残念なことに、この方法は、各記録毎に、バッファ領域への退避動作、変更すべき記録の消去動作、書換動作及びバッファ領域内の古い記録の消去動作と、全部で４つの動作を必要とする。したがってこの作業には、時間がかかる欠点があり、非接触カードにとっては重大な欠点である。
【００１０】
さらに、前のデータを消去する前にメモリ内の別の位置に退避させるには、変更作業が正しく実行されたか否かをフラグ値に従って示すための「フラグ」の存在を必要とする。このフラグは、変更が正しく行われたか否かに従ってゼロ又は１の値を取る単一ビットにすることが出来る。データと同一位置にチェックビットを記録する明白な理由が考えられない限り、唯一の解決策は、このフラグ（単一又は複数のチェックビット）を、この目的に予約されたメモリ位置に記録することであり、したがって単一ビット又は数ビットで十分であれば、このためのメモリは全体で１６ビット又は３２ビットのブロックである。
【００１１】
メモリ内の位置を浪費しないことが必須となる低容量のメモリのみが必要とされ、また処理毎に変更されるデータ値が時間の単調関数である特定の用途にスマートカードを使用する場合、上述の欠点はさらに重大である。このような用途において、メモリデータ記録は、写真複写機などのように時間と共に増加する増加カウンタか又は、記録の値が乗車毎に１単位ずつ減少する公共交通機関用カード若しくは記録の値が減少するだけの電子財布の場合の減少カウンタである。
【発明の開示】
【発明が解決しようとする課題】
【００１２】
したがって本発明の目的は、スマートカードの中のデータをカードの処理中に変更するための方法であって、処理中にカードが制限を受けるアクセス時間に対応する最少時間で実行できる方法を実現することにある。
【００１３】
本発明の別の目的は、非接触型のスマートカードの中のデータを変更するための方法であって、メモリ位置にチェックビット（フラグ）を予約する必要のない方法を実現することにある。
【課題を解決するための手段】
【００１４】
本発明の対象はしたがって、スマートカードなどや、カードがリーダに対し所定の位置関係にあるときカードを読取り可能なリーダと、を含むカード処理システムであって、そのカードは、カードによる処理に関するデータ値を記録するための少なくとも１つの位置を含む不揮発性、消去および書換可能なメモリを含み、各処理はデータ値の変更を生じ、データ値は時間に関し単調関数であるカード処理システムにおけるデータ変更方法である。データ値の書込み動作が、各処理毎に、メモリ内でカウンタを形成する所定の２つの位置のうちの第１位置に新しいデータ値の書込みを実行し、その書込み動作は、第２位置に記録される古いデータ値の消去を実行するので、正しく書込み動作が実行されると、第１位置に新しいデータ値を含み、第２位置に値ゼロを含む。
【発明を実施するための最良の形態】
【００１５】
本発明の対象及び特徴は、図面を参照して以下の記述を読むことにより、一層明確になる。
【００１６】
少量のメモリを必要とする用途に使用される布線論理メモリを有する型のチップカードでは、メモリ位置が限られている。このように、図１に示すようなチップカードのメモリはＥＰＲＯＭ型メモリであって、１６ビットの３２ワードの容量を有する。以下に記述する本発明により、メモリ内でワード全部の予約を必要とするチェック領域を省くことが出来る。そのためには、２層カウンタを形成する２つのメモリ位置（Ａ層、Ｂ層）が、リーダとスマートカードとの間で実行される各処理における新しいデータ値の記録に対して予約される。
【００１７】
本発明の原理は、それぞれの処理において変更されるデータ値が時間の単調関数である全ての用途において有効に利用される。アクセス制限領域へのアクセス、又は電子財布など別の用途において、データ値は減少するが、場合によっては（コピーをするのに使用されるカードなど）記録される値は増加する。しかし、カウンタは、減少させるよりも増加させる方が好ましい。実際問題として、突然の取出しが行われると、メモリに書込まれたビットが正しく保持されないリスクが発生する。この場合、各ビット１をゼロに切換られる可能性があるので、記録された値が減少することがありうる。減少させる方法を用いた場合、不正な書込み値が減少しているので、メモリの中の値が正常な減少の結果であるか、又はメモリ内容の異常減少の結果であるかを知ることが出来ない限り、その減少はカード所有者側のリスクになる。逆に、増加させる方法を用いた場合、突然の取出しの結果不正に記録される値の減少があるとき、当該値が増加する前の値である限り、メモリの減少は所有者側のリスクにならない。
【００１８】
減少させる方法の場合、データ値の２の補数バイナリを毎回考慮するのは容易である。したがって、以下においては、問題の用途に関係なくデータ値はそれぞれの処理において増加される。
【００１９】
本発明による方法は、値ゼロを含んだカウンタの層の変更の対象となった新しいデータ値の記録と、カウンタのもう一方の層の消去と値ゼロへの設定とを含む。逆にすることの出来ないこれら２つの位相は、処理時のリーダからの新しい値の書込み命令により始動する。
【００２０】
図２は、通常の動作経過を示す。最初に、カウンタの読取りによりＡ層に値Ｘ、Ｂ層に値ゼロがあらわれる。このとき書込み命令は、新しい値ＹのＢ層への書込み、続いてＡ層からの値Ｘの消去を実行する。こうして、カウンタは１つの命令で増加される。
【００２１】
残念なことに、特にチップカードが非接触カードの場合は、処理中にカードの突然の取出しが起こりうる。この場合、書込み動作が正しく進行せず、新しい値の書込みが正しく実行されていないか、又は古い値が消去されていないかの何れかになる。この場合、処理は不成立、あるいは有効とはならない。この結果、アクセス制限領域へのアクセスを許可するゲートの開放が認められないことや、電子財布の場合に小売端末機による購入が許可されないことが起こりうる。
【００２２】
したがってカード所有者は、自分のカードをリーダの中又は前を通過させることを含む動作を再始動する。先ずカウンタの読取りが実行され、この時カウンタの２つの層が何れもゼロでないことを示す。そこから突然の取出しがあったことが直ちに推定されるので、以下に記述するようにカウンタの修復が実行される。
【００２３】
図３〜７は、突然の取出しがあった場合のカウンタ修復動作を、この突然の取出しが書込み位相、書込み位相と消去位相との間、又は消去位相のいずれで発生したかに従って示す。
【００２４】
図３に示す第１状態においては、カードの突然の取出しは書込み位相で行われ、値Ｙは書込まれているが値Ｘは消去されていない。この場合、値Ｙは正しいが、この値のＢ層への保持は保証されない。したがって、値ＸをＡ層から消去してゼロに設定する前に、値Ｙは書換られる。メモリ位置への書込みは、そこにある値と新しい値との間のＯＲ関数であるので、新しい値は古い値がゼロに等しいか新しい値と同一のとき（この場合に相当）にのみ書込みが可能であることに注意すべきである。
【００２５】
図４に示す第２状態においては、突然の取出しは書込み位相で行われており、Ｂ層にＸとＹとの間の値Ｙ’が書込まれているが、値ＸはＡ層から消去されていない。この場合、第１書込み動作はＢ層へのＹ’の書換と、Ａ層からのＸの消去を実行する。次いで、書込み動作はＡ層へのＹの書込みと、Ｂ層からのＹ’の消去を実行するので、カウンタは１つの層が新しい値を含み、別の層がゼロを含む正常な状態に戻る。
【００２６】
図５に示す第３状態においては、突然の取出しは書込み位相で行われており、Ｂ層にＸより小さい値Ｙ’が書込まれているが、値Ｘは消去されていない。この場合、第１書込み動作はＡ層へのＸの書換とＢ層からのＹ’の消去を実行する。これは、カウンタの修復は常に最大値、この例ではＸ、を用いて実行されることをその根拠としている。次いで、書込み動作は、Ｂ層への値Ｙの書込みとＡ層からのＸの消去を実行する。
【００２７】
図６に示す第４状態においては、突然の取出しは書込み位相と消去位相との間で行われ、Ｂ層には値Ｙが記録されているが値ＸはＡ層から消去されていない。この場合、値Ｙの保持は保証されないので、書換動作によりＢ層への値Ｙの書換とＡ層からのＸの消去が実行される。
【００２８】
図７に示す第５状態においては、突然の取出しが消去位相で行われ、Ｂ層に値Ｙは書込まれているが、値Ｘが正しく消去されずＡ層には値Ｘ’が見られる。したがって、Ｂ層への値Ｙの書換動作の実行が必要であり、その結果Ａ層からの値Ｘ’の消去が可能になる。
【００２９】
上述の状態すべてにおいて、２つの層のいずれにもゼロを含まない場合にカウンタの修復は行われ、修復後は、２つの層のうち一方は新しいデータ値を含み、他方はゼロを含む。どの状態においても、カウンタのＡ層又はＢ層に見られる最大値が古い値（Ｘ）より小さい状態にはならないことに注意すべきである。
【図面の簡単な説明】
【００３０】
【図１】本発明による方法を実行するスマートカードのメモリの概略図である。
【図２】書込み動作の各位相に関するメモリの２層カウンタの内容の概略図である。
【図３】「突然の取出し」後の第１状態における書換動作の各位相に関するスマートカードの２層カウンタの概略図である。
【図４】「突然の取出し」後の第２状態における書換動作の各位相に関するスマートカードの２層カウンタの概略図である。
【図５】「突然の取出し」後の第３状態における書換動作の各位相に関するスマートカードの２層カウンタの概略図である。
【図６】「突然の取出し」後の第４状態における書換動作の各位相に関するスマートカードの２層カウンタの概略図である。
【図７】「突然の取出し」後の第５状態における書換動作の各位相に関するスマートカードの２層カウンタの概略図である。
【技術分野】
【０００１】
本発明は、カードリーダを用いた処理が実行されるとき、スマートカードに記録されているデータ記録の一部を変更するためのシステムに関し、さらに詳細には、スマートカードに記録されているデータを、リーダを用いた処理の間に変更するための安全な方法に関する。
【背景技術】
【０００２】
チップカードとも呼ばれるスマートカードは、カード所有者のデータキャリアとして益々その使用は増加している。これらのカードには、カードに搭載されたアンテナと、関連するリーダとの間の情報交換を非接触電磁結合により行う非接触カードが含まれる。これは、アクセス制限領域へのアクセスカード又は電子財布として開発されてきた。
【０００３】
一般的に、スマートカードは不揮発性、消去および書換可能なＥＥＰＲＯＭ又はフラッシュＥＰＲＯＭ型メモリを使用するので、メモリのスイッチが切れているときでもデータはメモリに書込まれたままである。これらはさらに、１つ又はいくつかのメモリ位置を消去して新しいデータを書込むことによりデータ記録を更新することが出来る。
【０００４】
処理の間に、一般的にはカードの「突然の取出し」、即ち処理動作が完了する前の取出し、による偶発的停電によりメモリが壊れ、それにより新しいデータが記録されずにデータを喪失することがある。このリスクが特に大きいのは、カードが正しく作動できる空間的限度を認知することの出来ない非接触カードを用いるときである。
【０００５】
不揮発性ＥＥＰＲＯＭ型メモリの場合には、別のリスクがある。この場合、書込み動作が正常に終了する前に中断されてもデータは書込まれ、書込み動作の直後には正しく読取ることが出来るが、後の時点でこの読取りを繰返しても、これが正しく実行される保証はない。途中で中断された書込み動作の結果、メモリセル内の情報の保持が不十分だからである。
【０００６】
したがって、データの完全性を確保にするには、データが変更済み状態か、又は変更前の状態の何れかにあり、決して「突然の取出し」による未確定の中間状態にはならないことを確保することにより、このようなリスクに対してカードを保護することが望ましい。
【０００７】
処理の安全性の理由から、万一処理中に停電を生じ、処理を最初からやり直すことが出来ない場合は、重要データ（電子財布の預金残高など）の修復不能な喪失の危険を覚悟の上で、処理全体を再実行する必要がある。
【０００８】
上述の問題に対応して、データ変更を実行する前にデータ記録をバッファメモリに記憶することが考案されてきた。変更すべき記録に対する変更が全て完了すると、古い記録はバッファメモリから消去される。
【０００９】
残念なことに、この方法は、各記録毎に、バッファ領域への退避動作、変更すべき記録の消去動作、書換動作及びバッファ領域内の古い記録の消去動作と、全部で４つの動作を必要とする。したがってこの作業には、時間がかかる欠点があり、非接触カードにとっては重大な欠点である。
【００１０】
さらに、前のデータを消去する前にメモリ内の別の位置に退避させるには、変更作業が正しく実行されたか否かをフラグ値に従って示すための「フラグ」の存在を必要とする。このフラグは、変更が正しく行われたか否かに従ってゼロ又は１の値を取る単一ビットにすることが出来る。データと同一位置にチェックビットを記録する明白な理由が考えられない限り、唯一の解決策は、このフラグ（単一又は複数のチェックビット）を、この目的に予約されたメモリ位置に記録することであり、したがって単一ビット又は数ビットで十分であれば、このためのメモリは全体で１６ビット又は３２ビットのブロックである。
【００１１】
メモリ内の位置を浪費しないことが必須となる低容量のメモリのみが必要とされ、また処理毎に変更されるデータ値が時間の単調関数である特定の用途にスマートカードを使用する場合、上述の欠点はさらに重大である。このような用途において、メモリデータ記録は、写真複写機などのように時間と共に増加する増加カウンタか又は、記録の値が乗車毎に１単位ずつ減少する公共交通機関用カード若しくは記録の値が減少するだけの電子財布の場合の減少カウンタである。
【発明の開示】
【発明が解決しようとする課題】
【００１２】
したがって本発明の目的は、スマートカードの中のデータをカードの処理中に変更するための方法であって、処理中にカードが制限を受けるアクセス時間に対応する最少時間で実行できる方法を実現することにある。
【００１３】
本発明の別の目的は、非接触型のスマートカードの中のデータを変更するための方法であって、メモリ位置にチェックビット（フラグ）を予約する必要のない方法を実現することにある。
【課題を解決するための手段】
【００１４】
本発明の対象はしたがって、スマートカードなどや、カードがリーダに対し所定の位置関係にあるときカードを読取り可能なリーダと、を含むカード処理システムであって、そのカードは、カードによる処理に関するデータ値を記録するための少なくとも１つの位置を含む不揮発性、消去および書換可能なメモリを含み、各処理はデータ値の変更を生じ、データ値は時間に関し単調関数であるカード処理システムにおけるデータ変更方法である。データ値の書込み動作が、各処理毎に、メモリ内でカウンタを形成する所定の２つの位置のうちの第１位置に新しいデータ値の書込みを実行し、その書込み動作は、第２位置に記録される古いデータ値の消去を実行するので、正しく書込み動作が実行されると、第１位置に新しいデータ値を含み、第２位置に値ゼロを含む。
【発明を実施するための最良の形態】
【００１５】
本発明の対象及び特徴は、図面を参照して以下の記述を読むことにより、一層明確になる。
【００１６】
少量のメモリを必要とする用途に使用される布線論理メモリを有する型のチップカードでは、メモリ位置が限られている。このように、図１に示すようなチップカードのメモリはＥＰＲＯＭ型メモリであって、１６ビットの３２ワードの容量を有する。以下に記述する本発明により、メモリ内でワード全部の予約を必要とするチェック領域を省くことが出来る。そのためには、２層カウンタを形成する２つのメモリ位置（Ａ層、Ｂ層）が、リーダとスマートカードとの間で実行される各処理における新しいデータ値の記録に対して予約される。
【００１７】
本発明の原理は、それぞれの処理において変更されるデータ値が時間の単調関数である全ての用途において有効に利用される。アクセス制限領域へのアクセス、又は電子財布など別の用途において、データ値は減少するが、場合によっては（コピーをするのに使用されるカードなど）記録される値は増加する。しかし、カウンタは、減少させるよりも増加させる方が好ましい。実際問題として、突然の取出しが行われると、メモリに書込まれたビットが正しく保持されないリスクが発生する。この場合、各ビット１をゼロに切換られる可能性があるので、記録された値が減少することがありうる。減少させる方法を用いた場合、不正な書込み値が減少しているので、メモリの中の値が正常な減少の結果であるか、又はメモリ内容の異常減少の結果であるかを知ることが出来ない限り、その減少はカード所有者側のリスクになる。逆に、増加させる方法を用いた場合、突然の取出しの結果不正に記録される値の減少があるとき、当該値が増加する前の値である限り、メモリの減少は所有者側のリスクにならない。
【００１８】
減少させる方法の場合、データ値の２の補数バイナリを毎回考慮するのは容易である。したがって、以下においては、問題の用途に関係なくデータ値はそれぞれの処理において増加される。
【００１９】
本発明による方法は、値ゼロを含んだカウンタの層の変更の対象となった新しいデータ値の記録と、カウンタのもう一方の層の消去と値ゼロへの設定とを含む。逆にすることの出来ないこれら２つの位相は、処理時のリーダからの新しい値の書込み命令により始動する。
【００２０】
図２は、通常の動作経過を示す。最初に、カウンタの読取りによりＡ層に値Ｘ、Ｂ層に値ゼロがあらわれる。このとき書込み命令は、新しい値ＹのＢ層への書込み、続いてＡ層からの値Ｘの消去を実行する。こうして、カウンタは１つの命令で増加される。
【００２１】
残念なことに、特にチップカードが非接触カードの場合は、処理中にカードの突然の取出しが起こりうる。この場合、書込み動作が正しく進行せず、新しい値の書込みが正しく実行されていないか、又は古い値が消去されていないかの何れかになる。この場合、処理は不成立、あるいは有効とはならない。この結果、アクセス制限領域へのアクセスを許可するゲートの開放が認められないことや、電子財布の場合に小売端末機による購入が許可されないことが起こりうる。
【００２２】
したがってカード所有者は、自分のカードをリーダの中又は前を通過させることを含む動作を再始動する。先ずカウンタの読取りが実行され、この時カウンタの２つの層が何れもゼロでないことを示す。そこから突然の取出しがあったことが直ちに推定されるので、以下に記述するようにカウンタの修復が実行される。
【００２３】
図３〜７は、突然の取出しがあった場合のカウンタ修復動作を、この突然の取出しが書込み位相、書込み位相と消去位相との間、又は消去位相のいずれで発生したかに従って示す。
【００２４】
図３に示す第１状態においては、カードの突然の取出しは書込み位相で行われ、値Ｙは書込まれているが値Ｘは消去されていない。この場合、値Ｙは正しいが、この値のＢ層への保持は保証されない。したがって、値ＸをＡ層から消去してゼロに設定する前に、値Ｙは書換られる。メモリ位置への書込みは、そこにある値と新しい値との間のＯＲ関数であるので、新しい値は古い値がゼロに等しいか新しい値と同一のとき（この場合に相当）にのみ書込みが可能であることに注意すべきである。
【００２５】
図４に示す第２状態においては、突然の取出しは書込み位相で行われており、Ｂ層にＸとＹとの間の値Ｙ’が書込まれているが、値ＸはＡ層から消去されていない。この場合、第１書込み動作はＢ層へのＹ’の書換と、Ａ層からのＸの消去を実行する。次いで、書込み動作はＡ層へのＹの書込みと、Ｂ層からのＹ’の消去を実行するので、カウンタは１つの層が新しい値を含み、別の層がゼロを含む正常な状態に戻る。
【００２６】
図５に示す第３状態においては、突然の取出しは書込み位相で行われており、Ｂ層にＸより小さい値Ｙ’が書込まれているが、値Ｘは消去されていない。この場合、第１書込み動作はＡ層へのＸの書換とＢ層からのＹ’の消去を実行する。これは、カウンタの修復は常に最大値、この例ではＸ、を用いて実行されることをその根拠としている。次いで、書込み動作は、Ｂ層への値Ｙの書込みとＡ層からのＸの消去を実行する。
【００２７】
図６に示す第４状態においては、突然の取出しは書込み位相と消去位相との間で行われ、Ｂ層には値Ｙが記録されているが値ＸはＡ層から消去されていない。この場合、値Ｙの保持は保証されないので、書換動作によりＢ層への値Ｙの書換とＡ層からのＸの消去が実行される。
【００２８】
図７に示す第５状態においては、突然の取出しが消去位相で行われ、Ｂ層に値Ｙは書込まれているが、値Ｘが正しく消去されずＡ層には値Ｘ’が見られる。したがって、Ｂ層への値Ｙの書換動作の実行が必要であり、その結果Ａ層からの値Ｘ’の消去が可能になる。
【００２９】
上述の状態すべてにおいて、２つの層のいずれにもゼロを含まない場合にカウンタの修復は行われ、修復後は、２つの層のうち一方は新しいデータ値を含み、他方はゼロを含む。どの状態においても、カウンタのＡ層又はＢ層に見られる最大値が古い値（Ｘ）より小さい状態にはならないことに注意すべきである。
【図面の簡単な説明】
【００３０】
【図１】本発明による方法を実行するスマートカードのメモリの概略図である。
【図２】書込み動作の各位相に関するメモリの２層カウンタの内容の概略図である。
【図３】「突然の取出し」後の第１状態における書換動作の各位相に関するスマートカードの２層カウンタの概略図である。
【図４】「突然の取出し」後の第２状態における書換動作の各位相に関するスマートカードの２層カウンタの概略図である。
【図５】「突然の取出し」後の第３状態における書換動作の各位相に関するスマートカードの２層カウンタの概略図である。
【図６】「突然の取出し」後の第４状態における書換動作の各位相に関するスマートカードの２層カウンタの概略図である。
【図７】「突然の取出し」後の第５状態における書換動作の各位相に関するスマートカードの２層カウンタの概略図である。
【特許請求の範囲】
【請求項１】
スマートカード等と、カードがリーダに対し所定の位置関係にあるときカードを読取り可能なリーダと、を含むカード処理システムにおいて、前記カードは、カードにより実行される処理に関するデータ値を記録するための少なくとも１つの位置を含む不揮発性、消去および書換可能なメモリを含み、各処理は前記データ値の変更を生じ、そのデータ値は時間に関し単調関数であるカード処理システムにおけるデータの変更方法であって；
各処理毎に、前記データ値の書込み動作は、前記メモリ内でカウンタを形成する所定の２つの位置のうちの第１位置（Ｂ）に新しいデータ値（Ｙ）の書込みを実行し、正しく実行される書込み動作の最後には、前記第１位置に新しいデータ値を含み、前記第２位置には値ゼロを含むように、その書込み動作は、前記２つの位置のうちの第２位置（Ａ）に記録されている古いデータ値（Ｘ）の消去を実行する、ことを特徴とする方法。
【請求項２】
前記２つの位置（Ａ又はＢ）のうち１つに記録されるデータ値が、書込み動作毎に増加することを特徴とする請求項１に記載の方法。
【請求項３】
処理過程における前記カードの突然の取出しの結果、前記書込み動作が正しく実行されないとの事実のため処理の正当性が確証されず、前記カウンタの２つの層の何れもがゼロに等しい値を記録しないことを特徴とする請求項２に記載の方法。
【請求項４】
前記新しい値の書込み位相中に突然の取出しが行われた場合に、前記新しい値（Ｙ）の前記第１位置（Ｂ）への書換と、前記古い値（Ｘ）の前記第２位置（Ａ）からの消去と、を含む書換動作による、前記カウンタの修復を更に含むことを特徴とする請求項２に記載の方法。
【請求項５】
前記第１位置（Ｂ）が前記古いデータ値（Ｘ）と前記新しいデータ値（Ｙ）との間に不正な値（Ｙ’）を含むとき、前記不正な値の前記第１位置への書換と、前記古い値の前記第２位置からの消去と、を含む書換動作による、及びそれに続く、前記新しい値の前記第２位置（Ａ）への書込みと、前記不正な値の前記第１位置からの消去と、を含む書換動作による、前記カウンタの修復を更に含むことを特徴とする請求項２に記載の方法。
【請求項６】
前記第１位置（Ｂ）が前記古い値（Ｘ）より小さい不正なデータ値（Ｙ’）を含むとき、前記第２位置（Ａ）への前記古いデータ値（Ｘ）の書換と、前記不正な値の消去とを含む書換動作による、及びそれに続く、前記新しいデータ値（Ｙ）の前記第１位置への書込みと、前記古いデータ値の前記第２位置からの消去とを含む書込み動作による、前記カウンタの修復を更に含むことを特徴とする請求項２に記載の方法。
【請求項７】
突然の取出しが前記新しいデータ値の書込み位相と前記古いデータ値の消去位相との間で起こるとき、前記第１位置（Ｂ）への前記新しいデータ値（Ｙ）の書換と、前記古いデータ値（Ｘ）の前記第２位置（Ａ）からの消去を含む書換動作による、前記カウンタの修復を更に含むことを特徴とする請求項２に記載の方法。
【請求項８】
突然の取出しが前記古いデータ値（Ｘ）の消去位相中に起こり、不正なデータ値（Ｘ’）が前記第２位置（Ａ）に記録されているとき、前記新しいデータ値（Ｙ）の前記第１位置（Ｂ）への書換と、前記不正な値の前記第２位置からの消去とを含む書換動作による、前記カウンタの修復を更に含むことを特徴とする請求項２に記載の方法。
【請求項９】
スマートカード等と、カードがリーダに対し所定の位置関係にあるときカードを読取り可能なリーダと、を含み、前記カードは、カードにより実行される処理に関するデータ値を記録するための少なくとも１つの位置を含む不揮発性、消去および書換可能なメモリを含み、各処理は前記データ値の変更を生じ、そのデータ値は時間に関し単調関数であるカード処理システムであって；
前記メモリが、カウンタを形成する所定の第１位置と所定の第２位置とを含み、書込み動作の最後には、前記第１位置に新しいデータ値を含み、前記第２位置には値ゼロを含むように、各処理は、前記第１位置（Ｂ）に対する新しいデータ値（Ｙ）の書込みと前記第２位置（Ａ）からの古いデータ値（Ｘ）の消去とを実行する書込み命令が生じる、ことを特徴とするカード処理システム。
【請求項１０】
前記スマートカードが非接触カードであることを特徴とする請求項９に記載のシステム。
【特許請求の範囲】
【請求項１】
スマートカード等と、カードがリーダに対し所定の位置関係にあるときカードを読取り可能なリーダと、を含むカード処理システムにおいて、前記カードは、カードにより実行される処理に関するデータ値を記録するための少なくとも１つの位置を含む不揮発性、消去および書換可能なメモリを含み、各処理は前記データ値の増加を生じる、カード処理システムにおけるデータの変更方法であって；
各処理毎に、前記データ値の書込み動作は、前記メモリ内でカウンタを形成する所定の２つの位置の中に値ゼロを含む第１位置（Ｂ）に新しいデータ値（Ｙ）の書込みを実行し、書込み動作の最後には、その書込み動作が正しく実行された場合は、前記第１位置に新しいデータ値を含み、前記第２位置には値ゼロを含み、処理の過程でカードの突然の取出しがあった結果、書込み動作が正しく実行されない場合には、前記カウンタの２つの位置のどちらにも値ゼロを含まないように、前記書込み動作は前記所定の２つの位置のうちの第２位置（Ａ）に記録されている古いデータ値（Ｘ）の消去を実行する、ことを特徴とするカード処理システムにおけるデータの変更方法。
【請求項２】
前記新しい値の書込み位相中に突然の取出しが行われた場合に、前記新しい値（Ｙ）の前記第１位置（Ｂ）への書換と、前記古い値（Ｘ）の前記第２位置（Ａ）からの消去と、を含む書換動作による、前記カウンタの修復を更に含むことを特徴とする請求項１に記載の方法。
【請求項３】
前記第１の位置（Ｂ）が前記古いデータ値（Ｘ）と前記新しいデータ値（Ｙ）の間の不正な値（Ｙ’）を含むとき、前記第１位置への前記不正な値の書換と、前記古い値の前記第２位置からの消去とを含む書換動作による、及びそれに続く、前記新しい値の前記第２位置（Ａ）への書込みと、前記不正な値の前記第１位置からの消去とを含む書込み動作による、前記カウンタの修復をさらに含むことを特徴とする請求項１に記載の方法。
【請求項４】
前記第１位置（Ｂ）が前記古い値（Ｘ）より小さい不正なデータ値（Ｙ’）を含むとき、前記第２位置（Ａ）への前記古いデータ値（Ｘ）の書換と、前記不正な値の消去とを含む書換動作による、及びそれに続く、前記新しいデータ値（ｙ）の前記第１位置への書込みと、前記古いデータ値の前記第２位置からの消去とを含む書込み動作による、前記カウンタの修復を更に含むことを特徴とする請求項１に記載の方法。
【請求項５】
突然の取出しが前記新しいデータ値の書込み位相と前記古いデータ値の消去位相との間で起こるとき、前記第１位置（Ｂ）への前記新しいデータ値（Ｙ）の書換と、前記古いデータ値（Ｘ）の前記第２位置（Ａ）からの消去を含む書換動作による、前記カウンタの修復を更に含むことを特徴とする請求項１に記載の方法。
【請求項６】
突然の取出しが前記古いデータ値（Ｘ）の消去位相中に起こり、不正なデータ値（Ｘ’）が前記第２位置（Ａ）に記録されているとき、前記新しいデータ値（Ｙ）の前記第１位置（Ｂ）への書換と、前記不正な値の前記第２位置からの消去とを含む書換動作による、前記カウンタの修復を更に含むことを特徴とする請求項１に記載の方法。
【請求項７】
スマートカード等と、カードがリーダに対し所定の位置関係にあるときカードを読取り可能なリーダと、を含み、前記カードは、カードにより実行される処理に関するデータ値を記録するための少なくとも１つの位置を含む不揮発性、消去および書換可能なメモリを含み、各処理は前記データ値の増加を生じるカード処理システムであって；
前記システムは、前記メモリが、カウンタを形成する所定の第１位置と所定の第２位置とを含み、書込み動作の最後には、その書込み動作が正しく実行された場合は、前記第１位置に新しいデータ値を含み、前記第２位置には値ゼロを含み、あるいは取引の過程でカードの突然の取出しがあった結果、前記書込み動作が正しく実行されない場合には、前記カウンタの２つの位置のどちらにも値ゼロを含まないように、各処理は、前記位置（Ｂ）から値ゼロを含む位置への新しいデータ値（Ｙ）の書込みと他方の位置（Ａ）からの古いデータ値（Ｘ）の消去と、を実行する書込み命令が生じる、ことを特徴とするカード処理システム。
【請求項８】
前記スマートカードが非接触カードであることを特徴とする請求項７に記載のシステム。
【請求項１】
スマートカード等と、カードがリーダに対し所定の位置関係にあるときカードを読取り可能なリーダと、を含むカード処理システムにおいて、前記カードは、カードにより実行される処理に関するデータ値を記録するための少なくとも１つの位置を含む不揮発性、消去および書換可能なメモリを含み、各処理は前記データ値の変更を生じ、そのデータ値は時間に関し単調関数であるカード処理システムにおけるデータの変更方法であって；
各処理毎に、前記データ値の書込み動作は、前記メモリ内でカウンタを形成する所定の２つの位置のうちの第１位置（Ｂ）に新しいデータ値（Ｙ）の書込みを実行し、正しく実行される書込み動作の最後には、前記第１位置に新しいデータ値を含み、前記第２位置には値ゼロを含むように、その書込み動作は、前記２つの位置のうちの第２位置（Ａ）に記録されている古いデータ値（Ｘ）の消去を実行する、ことを特徴とする方法。
【請求項２】
前記２つの位置（Ａ又はＢ）のうち１つに記録されるデータ値が、書込み動作毎に増加することを特徴とする請求項１に記載の方法。
【請求項３】
処理過程における前記カードの突然の取出しの結果、前記書込み動作が正しく実行されないとの事実のため処理の正当性が確証されず、前記カウンタの２つの層の何れもがゼロに等しい値を記録しないことを特徴とする請求項２に記載の方法。
【請求項４】
前記新しい値の書込み位相中に突然の取出しが行われた場合に、前記新しい値（Ｙ）の前記第１位置（Ｂ）への書換と、前記古い値（Ｘ）の前記第２位置（Ａ）からの消去と、を含む書換動作による、前記カウンタの修復を更に含むことを特徴とする請求項２に記載の方法。
【請求項５】
前記第１位置（Ｂ）が前記古いデータ値（Ｘ）と前記新しいデータ値（Ｙ）との間に不正な値（Ｙ’）を含むとき、前記不正な値の前記第１位置への書換と、前記古い値の前記第２位置からの消去と、を含む書換動作による、及びそれに続く、前記新しい値の前記第２位置（Ａ）への書込みと、前記不正な値の前記第１位置からの消去と、を含む書換動作による、前記カウンタの修復を更に含むことを特徴とする請求項２に記載の方法。
【請求項６】
前記第１位置（Ｂ）が前記古い値（Ｘ）より小さい不正なデータ値（Ｙ’）を含むとき、前記第２位置（Ａ）への前記古いデータ値（Ｘ）の書換と、前記不正な値の消去とを含む書換動作による、及びそれに続く、前記新しいデータ値（Ｙ）の前記第１位置への書込みと、前記古いデータ値の前記第２位置からの消去とを含む書込み動作による、前記カウンタの修復を更に含むことを特徴とする請求項２に記載の方法。
【請求項７】
突然の取出しが前記新しいデータ値の書込み位相と前記古いデータ値の消去位相との間で起こるとき、前記第１位置（Ｂ）への前記新しいデータ値（Ｙ）の書換と、前記古いデータ値（Ｘ）の前記第２位置（Ａ）からの消去を含む書換動作による、前記カウンタの修復を更に含むことを特徴とする請求項２に記載の方法。
【請求項８】
突然の取出しが前記古いデータ値（Ｘ）の消去位相中に起こり、不正なデータ値（Ｘ’）が前記第２位置（Ａ）に記録されているとき、前記新しいデータ値（Ｙ）の前記第１位置（Ｂ）への書換と、前記不正な値の前記第２位置からの消去とを含む書換動作による、前記カウンタの修復を更に含むことを特徴とする請求項２に記載の方法。
【請求項９】
スマートカード等と、カードがリーダに対し所定の位置関係にあるときカードを読取り可能なリーダと、を含み、前記カードは、カードにより実行される処理に関するデータ値を記録するための少なくとも１つの位置を含む不揮発性、消去および書換可能なメモリを含み、各処理は前記データ値の変更を生じ、そのデータ値は時間に関し単調関数であるカード処理システムであって；
前記メモリが、カウンタを形成する所定の第１位置と所定の第２位置とを含み、書込み動作の最後には、前記第１位置に新しいデータ値を含み、前記第２位置には値ゼロを含むように、各処理は、前記第１位置（Ｂ）に対する新しいデータ値（Ｙ）の書込みと前記第２位置（Ａ）からの古いデータ値（Ｘ）の消去とを実行する書込み命令が生じる、ことを特徴とするカード処理システム。
【請求項１０】
前記スマートカードが非接触カードであることを特徴とする請求項９に記載のシステム。
【特許請求の範囲】
【請求項１】
スマートカード等と、カードがリーダに対し所定の位置関係にあるときカードを読取り可能なリーダと、を含むカード処理システムにおいて、前記カードは、カードにより実行される処理に関するデータ値を記録するための少なくとも１つの位置を含む不揮発性、消去および書換可能なメモリを含み、各処理は前記データ値の増加を生じる、カード処理システムにおけるデータの変更方法であって；
各処理毎に、前記データ値の書込み動作は、前記メモリ内でカウンタを形成する所定の２つの位置の中に値ゼロを含む第１位置（Ｂ）に新しいデータ値（Ｙ）の書込みを実行し、書込み動作の最後には、その書込み動作が正しく実行された場合は、前記第１位置に新しいデータ値を含み、前記第２位置には値ゼロを含み、処理の過程でカードの突然の取出しがあった結果、書込み動作が正しく実行されない場合には、前記カウンタの２つの位置のどちらにも値ゼロを含まないように、前記書込み動作は前記所定の２つの位置のうちの第２位置（Ａ）に記録されている古いデータ値（Ｘ）の消去を実行する、ことを特徴とするカード処理システムにおけるデータの変更方法。
【請求項２】
前記新しい値の書込み位相中に突然の取出しが行われた場合に、前記新しい値（Ｙ）の前記第１位置（Ｂ）への書換と、前記古い値（Ｘ）の前記第２位置（Ａ）からの消去と、を含む書換動作による、前記カウンタの修復を更に含むことを特徴とする請求項１に記載の方法。
【請求項３】
前記第１の位置（Ｂ）が前記古いデータ値（Ｘ）と前記新しいデータ値（Ｙ）の間の不正な値（Ｙ’）を含むとき、前記第１位置への前記不正な値の書換と、前記古い値の前記第２位置からの消去とを含む書換動作による、及びそれに続く、前記新しい値の前記第２位置（Ａ）への書込みと、前記不正な値の前記第１位置からの消去とを含む書込み動作による、前記カウンタの修復をさらに含むことを特徴とする請求項１に記載の方法。
【請求項４】
前記第１位置（Ｂ）が前記古い値（Ｘ）より小さい不正なデータ値（Ｙ’）を含むとき、前記第２位置（Ａ）への前記古いデータ値（Ｘ）の書換と、前記不正な値の消去とを含む書換動作による、及びそれに続く、前記新しいデータ値（ｙ）の前記第１位置への書込みと、前記古いデータ値の前記第２位置からの消去とを含む書込み動作による、前記カウンタの修復を更に含むことを特徴とする請求項１に記載の方法。
【請求項５】
突然の取出しが前記新しいデータ値の書込み位相と前記古いデータ値の消去位相との間で起こるとき、前記第１位置（Ｂ）への前記新しいデータ値（Ｙ）の書換と、前記古いデータ値（Ｘ）の前記第２位置（Ａ）からの消去を含む書換動作による、前記カウンタの修復を更に含むことを特徴とする請求項１に記載の方法。
【請求項６】
突然の取出しが前記古いデータ値（Ｘ）の消去位相中に起こり、不正なデータ値（Ｘ’）が前記第２位置（Ａ）に記録されているとき、前記新しいデータ値（Ｙ）の前記第１位置（Ｂ）への書換と、前記不正な値の前記第２位置からの消去とを含む書換動作による、前記カウンタの修復を更に含むことを特徴とする請求項１に記載の方法。
【請求項７】
スマートカード等と、カードがリーダに対し所定の位置関係にあるときカードを読取り可能なリーダと、を含み、前記カードは、カードにより実行される処理に関するデータ値を記録するための少なくとも１つの位置を含む不揮発性、消去および書換可能なメモリを含み、各処理は前記データ値の増加を生じるカード処理システムであって；
前記システムは、前記メモリが、カウンタを形成する所定の第１位置と所定の第２位置とを含み、書込み動作の最後には、その書込み動作が正しく実行された場合は、前記第１位置に新しいデータ値を含み、前記第２位置には値ゼロを含み、あるいは取引の過程でカードの突然の取出しがあった結果、前記書込み動作が正しく実行されない場合には、前記カウンタの２つの位置のどちらにも値ゼロを含まないように、各処理は、前記位置（Ｂ）から値ゼロを含む位置への新しいデータ値（Ｙ）の書込みと他方の位置（Ａ）からの古いデータ値（Ｘ）の消去と、を実行する書込み命令が生じる、ことを特徴とするカード処理システム。
【請求項８】
前記スマートカードが非接触カードであることを特徴とする請求項７に記載のシステム。
【図１】
【図２】
【図３】
【図４】
【図５】
【図６】
【図７】
【図２】
【図３】
【図４】
【図５】
【図６】
【図７】
【公表番号】特表２００６−５１００９９（Ｐ２００６−５１００９９Ａ）
【公表日】平成１８年３月２３日（２００６．３．２３）
【国際特許分類】
【出願番号】特願２００４−５５９８２６（Ｐ２００４−５５９８２６）
【出願日】平成１５年１２月１２日（２００３．１２．１２）
【国際出願番号】ＰＣＴ／ＦＲ２００３／００３６９６
【国際公開番号】ＷＯ２００４／０５５７４１
【国際公開日】平成１６年７月１日（２００４．７．１）
【出願人】（５０１２８７８５０）
【氏名又は名称原語表記】ＡＳＫ Ｓ．Ａ．
【住所又は居所原語表記】Ｌｅｓ Ｂｏｕｉｌｌｉｄｅｓ，１５，ｔｒａｖｅｒｓｅ ｄｅｓ Ｂｒｕｃｓ，Ｓｏｐｈｉａ Ａｎｔｉｐｏｌｉｓ， Ｆ−０６５６０ Ｖａｌｂｏｎｎｅ， Ｆｒａｎｃｅ
【Ｆターム（参考）】
【公表日】平成１８年３月２３日（２００６．３．２３）
【国際特許分類】
【出願日】平成１５年１２月１２日（２００３．１２．１２）
【国際出願番号】ＰＣＴ／ＦＲ２００３／００３６９６
【国際公開番号】ＷＯ２００４／０５５７４１
【国際公開日】平成１６年７月１日（２００４．７．１）
【出願人】（５０１２８７８５０）
【氏名又は名称原語表記】ＡＳＫ Ｓ．Ａ．
【住所又は居所原語表記】Ｌｅｓ Ｂｏｕｉｌｌｉｄｅｓ，１５，ｔｒａｖｅｒｓｅ ｄｅｓ Ｂｒｕｃｓ，Ｓｏｐｈｉａ Ａｎｔｉｐｏｌｉｓ， Ｆ−０６５６０ Ｖａｌｂｏｎｎｅ， Ｆｒａｎｃｅ
【Ｆターム（参考）】
[ Back to top ]