スマートカード・システム
プログラマブル・デバイス（例えばスマートカード）は、オン・デバイス・ファイル・システムが、端末又はインターフェイス・デバイスにおける少なくとも１つのオフ・デバイス・ファイル及び／又はアプリケーションとインターフェイスすることを可能にする、ファイル・システム及びオペレーティング・ソフトウェアを担持する。スマートカードは、ファイル・システムの構造及び内容、又は、ファイル・システムにアクセスするために使用されるべきコマンド、又は、それに関連する任意のセキュリティ状態を修正するための、スクリプト・コマンドを走らせるためのスクリプト・エンジン等の手段を含む。本発明の改良版スマートカードでは、前記スクリプト・エンジンは、複数のスクリプト・コマンドを次々に走らせ、前記デバイスの入力／出力バッファをアキュムレータとして使用して、前記スクリプト・コマンドの内の１つ又は複数の制御下で、データ・ファイル内又は前記アキュムレータ自体の内に保持されている値に対する算術演算を可能にするように動作可能である。これにより、前記システムは、算術演算（ＡＤＤ（加算）、ＳＵＢＴＲＡＣＴ（減算）、又はＣＯＭＰＡＲＥ（比較）、或いは他の同様のカスタマイズされた演算等）を行うことが可能になる。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、国際特許出願の第ＷＯ０３／０４９０５６号パンフレットに記載のスマートカード・システムの改良版に関連し、より詳細には、当該出願に記載のスクリプト及びスクリプト・エンジン機構の機能を拡張することにおける可能性、並びに、実施され得る演算の範囲の拡大に関連する。
【背景技術】
【０００２】
国際特許出願の第ＷＯ０３／０４９０５６号パンフレットは、スマートカード・システムを記載し、そこでは、オペレーティング・ソフトウェアが、オン・カード及びオフ・カード・ファイル並びに／或いはアプリケーションを、自己記述型メッセージ向けのＷｅｂ（インターネット）標準言語（好ましくはＸＭＬ）でフォーマットされたファイルを用いて、互いにインターフェイスさせることを可能にする。このファイルは、オン・カード及びオフ・カード・ファイル並びに／或いはアプリケーション同士がインターフェイスすることを可能にする、ファイル・システムと、ファイル・システムにアクセスするためのコマンドと、の内の少なくとも幾つかを含む。カードは、ファイル・システムの構造及び内容、又は、ファイル・システムにアクセスするために使用されるべきコマンド、又は、それに関連する任意のセキュリティ状態を修正するために、ＸＭＬファイルから導出されるスクリプトを走らせるためのスクリプト・エンジンを、含む。
【０００３】
国際特許出願の第ＷＯ０３／０４９０５６号パンフレットに記載の既存のシステムを拡張するには、Ｒｅａｄ（読込み）、Ｕｐｄａｔｅ（更新）等のファイル・システム・コマンドに加えて他の演算も追加することが望ましいはずである。追加の演算は、ファイル内のレコード又はより簡易なデータ・オブジェクトの何れかに対する、ＡＤＤ（加算）、ＳＵＢＴＲＡＣＴ（減算）、又はＣＯＭＰＡＲＥ（比較）、或いは他の何らかのカスタマイズされた演算等の算術演算を含むことが好ましいはずである。しかし、かかる機能は、複雑なアプリケーションにおいて広く使用可能ではあるが、ＷＯ０３／０４９０５６に記載のシステムでは、かかる機能は、カードによって担持される簡易なスクリプト・エンジンに、システムのオペレーティング・システムと共に必要とされる演算を実行させることが可能になるような形で実装される必要がある。特に、
・システムは、入力データと、現在のアプリケーション状態と、変数とに基づいて、結果を返却し又は内部変数を更新するための機構をサポートすることができ、
・アプリケーション論理は、電子的な、例えばインターネット・ベースの分散システムを介してリモートの位置からフィールド単位で更新することができ、
・国際特許出願の第ＷＯ０３／０４９０５６号パンフレットのスマートカード・システムにおける既存のアーキテクチャは、サポートされ、
・アプリケーション論理の実行を制御するために、アクセス条件を課すことが可能であること、
が望ましい。
【発明の開示】
【課題を解決するための手段】
【０００４】
本発明によれば、上記で概略された種類のシステムにおいて使用するための及び国際特許出願の第ＷＯ０３／０４９０５６号パンフレットの主題についてのプログラマブル・デバイスが提供され、そのデバイスは、スクリプトを走らせるための手段が、複数のスクリプト・コマンドを次々に走らせ、前記デバイスの入力／出力バッファをアキュムレータとして使用して、前記スクリプト・コマンドの内の１つ又は複数の制御下で、データ・ファイル内又は前記アキュムレータ自体の内に保持されている値に対する算術演算を可能にするように動作可能である、ことを特徴とする。
【０００５】
国際特許出願の第ＷＯ０３／０４９０５６号パンフレットにおいて定義されるように、スクリプトは、その大部分がファイル・システムの操作に関するＩＳＯ ７８１６−４に従う、一続きの応用プロトコル・データ単位（Ａｐｐｌｉｃａｔｉｏｎ Ｐｒｏｔｏｃｏｌ Ｄａｔａ Ｕｎｉｔ：ＡＰＤＵ）である。
【０００６】
値は、好ましくは、オペレーティング・ソフトウェアのＲｅａｄ Ｒｅｃｏｒｄ（レコードの読込み）及びＵｐｄａｔｅ Ｒｅｃｏｒｄ（レコードの更新）コマンドをそれぞれ使用して、データ・ファイル又はアキュムレータから読み込まれ、そこに書き込まれてもよい。
【０００７】
従って、本発明者らは更に、マシン処理コードが、レジスタ間の比較及び算術演算を実施できることを理解している。標準的なＲＥＡＤ及びＵＰＤＡＴＥコマンドは、レジスタ（レコード）にデータを入れ、そこからデータを取り出す基本的な演算を実施するために使用されてもよい。これを行う１つの手法は、比較及び算術をより容易にし、必要とされる開発時間を遥かに少なくする、固定サイズのレジスタ（レコード）を有することのはずである。従って、各レコードをレジスタとして効果的に扱い、既存のマシン・コード処理を使用することにより、提案される種類の追加の機能を達成することが可能である。
【０００８】
スクリプトを走らせるための手段は、値の比較を実行することと、前記比較の結果に基づいて複数のスクリプト・コマンドの内の所定の１つに分岐することとが可能であることが、好ましい。
【０００９】
従って、スクリプト・エンジン自体が、ＣＯＮＤＩＴＩＯＮＡＬ（条件）ステートメント（もし（ＩＦ）・・・であれば（ＴＨＥＮ）、ＡＰＤＵ Ｘに移行（ＧＯ ＴＯ））を含むように拡張されている場合、この機能は、国際特許出願の第ＷＯ０３／０４９０５６号パンフレットに提案のオン・カード・スクリプト・エンジンによって走行され得るスクリプトとして構成される、電子財布処理（ｅｌｅｃｔｒｏｎｉｃ ｐｕｒｓｅ ｏｐｅｒａｔｉｏｎ）等のアプリケーションを可能にするように拡大されてもよい。かかる拡張版スクリプト・エンジンでは、次の一続きのＡＤＰＵが実行されるよう指令するために、ＣＯＭＰＡＲＥコマンドの結果が、使用されてもよい。このことは実際に、例えばトランザクションの履歴を検査した後でカードに複雑な判断を行わせる際に必要とされるような、マクロ式の処理を実施するためのスクリプトの構築を可能にする、スクリプト・プログラム・フロー機能を与える。
【００１０】
このプログラム・フロー機能をスクリプト・レベルで追加することにおける重大な利益は、低レベル通信等データ分離に関わる問題が全て、スマートカード・システムの下位層で対処されることである。カードのオペレーティング・システムだけではなく特定のアプリケーションのビジネス論理も、「カードから離れて（ｏｆｆ ｔｈｅ ｃａｒｄ）」構築され得、カード上で走るスクリプトに翻訳され得る、流れ図等のユーザ・フレンドリなインターフェイスを用いて非常に高いレベルで指定され捕捉され得る。ＸＭＬフォーマット化は恐らく、国際特許出願の第ＷＯ０３／０４９０５６号パンフレットに既に記載されているＸＭＬファイル・システム・モデルの拡張としての「擬似コード」の中間段階として使用されるはずであり、その場合は、当該システムの端末フレームワークへのビジネス論理入力として働く。国際特許出願の第ＷＯ０３／０４９０５６号パンフレットに記載の構成ツールも、要件エントリ・ポイント（ｒｅｑｕｉｒｅｍｅｎｔｓ ｅｎｔｒｙ ｐｏｉｎｔ）のような流れ図及びラダー・シーケンス図を含むように拡張され得る。
【００１１】
更に、この改良版システムでは、端末又はインターフェイス・デバイスから発行されるべきコマンド・シーケンスは、クレジット・カードの支払請求等、完全なビジネス・アプリケーションを構築するためのスクリプトの選択及び実行を含むはずである。
【００１２】
その利益は、アプリケーションの高レベルの機能要件（人的に生成される図）から、何れか又は両方のプラットフォーム上で走るより複雑なビジネス論理を含めたコードの走行に直接移行することにより、端末及びカード・アプリケーションの同時開発が可能になることである。
【００１３】
概略するために、国際特許出願の第ＷＯ０３／０４９０５６号パンフレットに記載のシステムは、ビジネス論理の生成を自動化しない。上記で概略され以下で更に詳細に説明されるシステムにおけるスクリプト機構の拡張は、カード上で走るビジネス論理コードの自動化された生成を可能にし、また、端末上で走るようにも拡張され得る。このため、それ自体既に高効率な従来の方法によって開発されることが委ねられるのは、端末設計におけるユーザ・インターフェイス及びホスト通信の諸側面だけである。
【発明を実施するための最良の形態】
【００１４】
ここで、かかるシステムに関する高レベル・アーキテクチャを示す添付の図面を参照して、本発明の一実施形態が、例示的な形で詳細に説明される。
【００１５】
１つ又は複数の作業変数及び幾つかのシステム変数を有するシステムでは、次のような１組の基本的な制御及び論理関数を与えることが望ましい。
【００１６】
【表１】
【００１７】
これらのコマンドは、単一の作業アキュムレータとＲＡＭに格納された複数のシステム変数とを用いて、簡易なコマンド・プロセッサ又はスクリプト・エンジン上でサポートされ得る。システムはまた、プログラム・カウンタ及び１組の状態フラグ、即ち、ＺＥＲＯ（ＥＱＵＡＬ）と、ＣＡＲＲＹ（ＧＥＡＴＥＲ ＴＨＡＮ）と、ＮＥＧＡＴＩＶＥとを必要とするはずである。
【００１８】
上記で列挙されたコマンドを実装するのに必要とされる高レベル・アーキテクチャの概要が、添付の図面に示される。演算は全て、アキュムレータ上で実施され、このアキュムレータを介して、一方の変数から他方の変数にその内容を移動させることが可能である。次に、プログラム・カウンタは、命令のそれぞれを１つずつ経由していき、命令が、分岐命令である場合は、分岐テストによって定義された該当する命令へと移行する。
【００１９】
アプリケーション論理は、国際特許出願の第ＷＯ０３／０４９０５６号パンフレットのシステムによってサポートされる既存のスクリプト処理機構及びデータ構造上に実装され得る。このシステム内では、システム変数には、入力／出力（「ＩＯ」）バッファを使用して、レコード及び実装されるアキュムレータが移植され得る。変数からデータをロードし、変数にデータを格納するための機構は、システムのＲｅａｄ Ｒｅｃｏｒｄ及びＵｐｄａｔｅ Ｒｅｃｏｒｄコマンドの形で、既にシステム内に存在する。システムのセキュリティ・マネージャは、データを入力し出力する際の安全なメッセージングのためのサポートを提供する、変数へのアクセスを制御するためのセキュリティ環境の創出を可能にする。
【００２０】
予期されるＡＰＤＵ内のコマンド・データの長さである「Ｌｃ」が、ＡＰＤＵ内で指定されている場合にも、スクリプト・マネージャは、スクリプトがデータを含んでいることを検査しないので、システムは、例えばＬｃ値を伴うがデータを伴わないＵｐｄａｔｅ Ｒｅｃｏｒｄコマンドのスクリプトを可能にすることになる。このコマンドは、以前のコマンドからのバッファ内のデータを使用することになる。この機構は、コマンドが、スクリプト・データ（絶対値）、又は、最終スクリプト結果からの既存のデータの何れか一方に対する演算を可能にする際に使用され得る。
【００２１】
国際特許出願の第ＷＯ０３／０４９０５６号パンフレットのシステムにおけるスクリプト・マネージャは既に、単一のコマンドを経由している。この追加のアプリケーション論理機能は、スクリプト（命令）のリスト内での分岐を可能にする。スクリプト・マネージャは既に、スクリプト内容の一貫性及び許可を検査するためのサポートを提供している。スクリプト・マネージャは、暗号化されたアプリケーション論理プログラムのダウンロードもサポートしている。
【００２２】
想定される種類のスマートカード・アプリケーションは、それ自体のアプリケーション・データ用の１つ又は複数のレコード・ファイルを使用することができる。このスマートカード・アプリケーションは、ファイル内に最大２５４個のレコードを有することができる。ＩＳＯ ７８１６ファイル・システムに定義される短いファイル識別子（ｓｈｏｒｔ ｆｉｌｅ ｉｄｅｎｔｉｆｉｅｒ：ＳＦＩ）を使用することにより、レコードの読込み、レコードの更新を行うためのコマンド、又は、他の任意のレコード・コマンドが、ファイル、レコード及び演算を指定する単一のコマンド・スクリプト内に、含まれてもよい。処理を簡略化するには、全てのレコードが、一定長であるべきである。４バイトのレコードを使用すると、−３２７６８〜＋３２７６７の範囲の符号付き整数をサポートできるシステムが、提供され得る。
【００２３】
上述の通り、システムのＲｅａｄ Ｒｅｃｏｒｄ及びＵｐｄａｔｅ Ｒｅｃｏｒｄコマンドは、Ｌｏａｄ及びＳｔｏｒｅ処理を実装するために使用され得る。ＡＮＤ、ＯＲ、及びＸＯＲ論理演算をサポートするには、追加のコマンドが、必要とされる。国際特許出願の第ＷＯ０３／０４９０５６号パンフレットのスマートカード・システム内には既に、ある程度のサポートが存在する。例えば、Ｗｒｉｔｅ Ｒｅｃｏｒｄコマンドが、ＺＥＲＯ（「Ｚ」）フラグを有効化し得るＡＮＤ又はＯＲ論理更新を実施することになる。
【００２４】
Ａｄｄ（加算）及びＳｕｂｔｒａｃｔ（減算）は、コマンド・データ内に保持される値を基に又はアキュムレータ内の値を基に、レコード内の値の加算又は減算を行う、新しいコマンドとして実装されるはずである。これらのコマンドは、Ｚ又はＮＥＧＡＴＩＶＥ（「Ｎ」）フラグを更新することもできる。
【００２５】
Ｃｏｍｐａｒｅコマンドは、単にコマンド内又はアキュムレータ内の値を指定されたレコード内の値と比較するだけの、新しいコマンドとして実装される必要があるはずである。このコマンドは、ＥＱＵＡＬ（「Ｚ」）又はＣＡＲＲＹ（「Ｃ」）フラグを更新することもできる。
【００２６】
Ｂｒａｎｃｈ（分岐）コマンドは、フラグの状態に基づいてスクリプト・ポインタを更新するコマンドとして実装される。スクリプト・ポインタは、Ｂｒａｎｃｈコマンド内で指定される固定数のスクリプト（肯定又は否定）単位で、それ自体の位置に関連して修正（相対分岐）されるはずである。
【００２７】
Ｅｘｉｔ（出口）コマンドは、結果又はエラーを伴うスクリプトから抜けるために必要とされる。出口データは、既存のシステムにおけるＳＷ１、ＳＷ２パラメータの形で返却されるエラー・コードを含むはずである。
【００２８】
国際特許出願の第ＷＯ０３／０４９０５６号パンフレットに記載の既存のシステム下では、レコード・ファイルは、レコード・データの更新を許可するように設定されたそれ自体のアクセス条件を有することができる。更新は、アクセス条件を何ら有さなくてもよく、或いは入力データの事前認証又は安全なメッセージングを必要としてもよい。レコード・ファイルは、それに伴うデータを返却するために使用され得るので、アクセス条件は、安全なメッセージング（「ＳＭ」）に設定されるはずである。最終スクリプトが、このレコード・ファイルを読み込んだ場合は、セキュリティ環境が、データに符号を付け、それにより応答が、証明される。
【００２９】
スクリプトには、符号が付けられ、任意選択で、それらが端末上に格納される前に、カード発行者／スキーム・オーナによって暗号化される。スクリプト・マネージャしか、検証済みのスクリプトを走らせることはないので、端末も他の如何なるものも、カード上にスクリプトをダウンロードし、そこでスクリプトを走らせ、或いは既存のスクリプトを修正することはできない。
【００３０】
以下の例は、電子財布スキームにおいて提案される論理の諸機能を示す。
【００３１】
（実施例）
電子財布は、４つの財布から成る。このスキームは、次の処理を必要とする：
・Ｒｅａｄ Ｂａｌａｎｃｅ（残高の読込み）
（残高が証明される）
・Ｄｅｃｒｅｍｅｎｔ Ｂａｌａｎｃｅ（残高の減分）
（資金が十分でない場合の、１つの財布から別の財布への構成可能な資金（ｆｕｎｄ）の自動振替（ａｕｔｏ ｔｒａｎｓｆｅｒ）。
財布内の資金が十分でない場合はエラーとし、財布の振替を行う）。
・Ｉｎｃｒｅｍｅｎｔ Ｂａｌａｎｃｅ（残高の増分）
（オンライン・ロードのみ）
・Ｔｒａｎｓｆｅｒ Ｂａｌａｎｃｅ（残高の振替）
（資金が十分でない場合は、エラーとする。
財布上限に到達した場合はエラーとする。）。
【００３２】
各財布毎に、レコード・ファイルが、作成される
・残高を伴うレコード。
【００３３】
次のレコードを伴うレコード・ファイルが、作成される
・減分され又は振り替えられるべき金額を指定するレコード。
【００３４】
このシステムのスクリプトは、次の処理を行うことになる：
・Ｒｅａｄ Ｂａｌａｎｃｅ（残高の読込み）
（残高の読込みは、通常のＲｅａｄ Ｒｅｃｏｒｄコマンドによってサポートされる。
ファイル用のＳＥは、値を証明するための読込み用のＳＭをサポートする。）
・Ｄｅｃｒｅｍｅｎｔ Ｂａｌａｎｃｅ（残高の減分）
（端末によってダウンロードされ走行される、指定された財布を指定された金額だけ減分するためのスクリプトが、作成される。）
・Ｉｎｃｒｅｍｅｎｔ Ｂａｌａｎｃｅ（残高の増分）
（通常のＵｐｄａｔｅ Ｒｅｃｏｒｄコマンドが、残高の増分をサポートする。ファイル用のＳＥは、更新用のＳＭにオンライン・ロードだけを許可するよう義務付ける。オンライン更新は、上限及び閾値を更新するためにも使用される。）
・Ｔｒａｎｓｆｅｒ Ｂａｌａｎｃｅ（残高の振替）
（端末によってダウンロードされ走行される、財布間で資金を振り替えるためのスクリプトが、作成される。財布及び金額が、入力される。）。
【００３５】
これらのステップを実施するための低レベル・コーディングは、次の通りとし得る。
【００３６】
Ｄｅｃｒｅｍｅｎｔ Ｂａｌａｎｃｅ（残高の増分）
【００３７】
【表２】
【００３８】
Ｔｒａｎｓｆｅｒ Ｆｕｎｄｓ（資金の振替）
【００３９】
【表３】
【００４０】
財布内の残高を減分するための要求は、以下の通り処理されるはずである。
スクリプトを適切な形で走らせるのに先立ち、システムは、取引先又は仕入先から、ユーザの財布において減分されるべき金額を取得する必要があるはずである。ファイルのアクセス条件は、スクリプトのロード及び走行を許可するために使用される。
【００４１】
【表４】
【００４２】
次いで、システムは、スクリプト・コマンド自体を次のように走らせる。
【００４３】
【表５】
【００４４】
このスクリプトは、１５個のスクリプト・コマンドを必要とし、暗号化及び符号付け前は、約１００バイトとなるはずである。
【００４５】
残高が振り替えられる場合のスクリプト・コマンド・シーケンスは、以下の通りである。ファイルのアクセス条件はここでも、スクリプトのロード及び走行を許可するために使用される。システムは、予備ステップとして、振り替えられるべき金額を取得する必要があるはずである。
【００４６】
【表６】
【００４７】
財布１＝財布からの振替であり、財布２＝財布への振替とする。
【００４８】
この場合のスクリプト・コマンドは、次のようになるはずである。
【００４９】
【表７】
【００５０】
従って、上記の記載を読めば、上述の改良版システムは、国際特許出願の第ＷＯ０３／０４９０５６号パンフレットのシステムにおいて利用されるスマートカード又は他のプログラマブル・デバイス上にダウンロードされ、そこで走行されることになるコードを制御する、アプリケーション論理を可能にすることが、理解されるであろう。上述の改良版システムは、簡易な１組の論理及び算術演算と制御機能とを提供し、使用されるプラットフォームとは独立したものである。
【図面の簡単な説明】
【００５１】
【図１】
【技術分野】
【０００１】
本発明は、国際特許出願の第ＷＯ０３／０４９０５６号パンフレットに記載のスマートカード・システムの改良版に関連し、より詳細には、当該出願に記載のスクリプト及びスクリプト・エンジン機構の機能を拡張することにおける可能性、並びに、実施され得る演算の範囲の拡大に関連する。
【背景技術】
【０００２】
国際特許出願の第ＷＯ０３／０４９０５６号パンフレットは、スマートカード・システムを記載し、そこでは、オペレーティング・ソフトウェアが、オン・カード及びオフ・カード・ファイル並びに／或いはアプリケーションを、自己記述型メッセージ向けのＷｅｂ（インターネット）標準言語（好ましくはＸＭＬ）でフォーマットされたファイルを用いて、互いにインターフェイスさせることを可能にする。このファイルは、オン・カード及びオフ・カード・ファイル並びに／或いはアプリケーション同士がインターフェイスすることを可能にする、ファイル・システムと、ファイル・システムにアクセスするためのコマンドと、の内の少なくとも幾つかを含む。カードは、ファイル・システムの構造及び内容、又は、ファイル・システムにアクセスするために使用されるべきコマンド、又は、それに関連する任意のセキュリティ状態を修正するために、ＸＭＬファイルから導出されるスクリプトを走らせるためのスクリプト・エンジンを、含む。
【０００３】
国際特許出願の第ＷＯ０３／０４９０５６号パンフレットに記載の既存のシステムを拡張するには、Ｒｅａｄ（読込み）、Ｕｐｄａｔｅ（更新）等のファイル・システム・コマンドに加えて他の演算も追加することが望ましいはずである。追加の演算は、ファイル内のレコード又はより簡易なデータ・オブジェクトの何れかに対する、ＡＤＤ（加算）、ＳＵＢＴＲＡＣＴ（減算）、又はＣＯＭＰＡＲＥ（比較）、或いは他の何らかのカスタマイズされた演算等の算術演算を含むことが好ましいはずである。しかし、かかる機能は、複雑なアプリケーションにおいて広く使用可能ではあるが、ＷＯ０３／０４９０５６に記載のシステムでは、かかる機能は、カードによって担持される簡易なスクリプト・エンジンに、システムのオペレーティング・システムと共に必要とされる演算を実行させることが可能になるような形で実装される必要がある。特に、
・システムは、入力データと、現在のアプリケーション状態と、変数とに基づいて、結果を返却し又は内部変数を更新するための機構をサポートすることができ、
・アプリケーション論理は、電子的な、例えばインターネット・ベースの分散システムを介してリモートの位置からフィールド単位で更新することができ、
・国際特許出願の第ＷＯ０３／０４９０５６号パンフレットのスマートカード・システムにおける既存のアーキテクチャは、サポートされ、
・アプリケーション論理の実行を制御するために、アクセス条件を課すことが可能であること、
が望ましい。
【発明の開示】
【課題を解決するための手段】
【０００４】
本発明によれば、上記で概略された種類のシステムにおいて使用するための及び国際特許出願の第ＷＯ０３／０４９０５６号パンフレットの主題についてのプログラマブル・デバイスが提供され、そのデバイスは、スクリプトを走らせるための手段が、複数のスクリプト・コマンドを次々に走らせ、前記デバイスの入力／出力バッファをアキュムレータとして使用して、前記スクリプト・コマンドの内の１つ又は複数の制御下で、データ・ファイル内又は前記アキュムレータ自体の内に保持されている値に対する算術演算を可能にするように動作可能である、ことを特徴とする。
【０００５】
国際特許出願の第ＷＯ０３／０４９０５６号パンフレットにおいて定義されるように、スクリプトは、その大部分がファイル・システムの操作に関するＩＳＯ ７８１６−４に従う、一続きの応用プロトコル・データ単位（Ａｐｐｌｉｃａｔｉｏｎ Ｐｒｏｔｏｃｏｌ Ｄａｔａ Ｕｎｉｔ：ＡＰＤＵ）である。
【０００６】
値は、好ましくは、オペレーティング・ソフトウェアのＲｅａｄ Ｒｅｃｏｒｄ（レコードの読込み）及びＵｐｄａｔｅ Ｒｅｃｏｒｄ（レコードの更新）コマンドをそれぞれ使用して、データ・ファイル又はアキュムレータから読み込まれ、そこに書き込まれてもよい。
【０００７】
従って、本発明者らは更に、マシン処理コードが、レジスタ間の比較及び算術演算を実施できることを理解している。標準的なＲＥＡＤ及びＵＰＤＡＴＥコマンドは、レジスタ（レコード）にデータを入れ、そこからデータを取り出す基本的な演算を実施するために使用されてもよい。これを行う１つの手法は、比較及び算術をより容易にし、必要とされる開発時間を遥かに少なくする、固定サイズのレジスタ（レコード）を有することのはずである。従って、各レコードをレジスタとして効果的に扱い、既存のマシン・コード処理を使用することにより、提案される種類の追加の機能を達成することが可能である。
【０００８】
スクリプトを走らせるための手段は、値の比較を実行することと、前記比較の結果に基づいて複数のスクリプト・コマンドの内の所定の１つに分岐することとが可能であることが、好ましい。
【０００９】
従って、スクリプト・エンジン自体が、ＣＯＮＤＩＴＩＯＮＡＬ（条件）ステートメント（もし（ＩＦ）・・・であれば（ＴＨＥＮ）、ＡＰＤＵ Ｘに移行（ＧＯ ＴＯ））を含むように拡張されている場合、この機能は、国際特許出願の第ＷＯ０３／０４９０５６号パンフレットに提案のオン・カード・スクリプト・エンジンによって走行され得るスクリプトとして構成される、電子財布処理（ｅｌｅｃｔｒｏｎｉｃ ｐｕｒｓｅ ｏｐｅｒａｔｉｏｎ）等のアプリケーションを可能にするように拡大されてもよい。かかる拡張版スクリプト・エンジンでは、次の一続きのＡＤＰＵが実行されるよう指令するために、ＣＯＭＰＡＲＥコマンドの結果が、使用されてもよい。このことは実際に、例えばトランザクションの履歴を検査した後でカードに複雑な判断を行わせる際に必要とされるような、マクロ式の処理を実施するためのスクリプトの構築を可能にする、スクリプト・プログラム・フロー機能を与える。
【００１０】
このプログラム・フロー機能をスクリプト・レベルで追加することにおける重大な利益は、低レベル通信等データ分離に関わる問題が全て、スマートカード・システムの下位層で対処されることである。カードのオペレーティング・システムだけではなく特定のアプリケーションのビジネス論理も、「カードから離れて（ｏｆｆ ｔｈｅ ｃａｒｄ）」構築され得、カード上で走るスクリプトに翻訳され得る、流れ図等のユーザ・フレンドリなインターフェイスを用いて非常に高いレベルで指定され捕捉され得る。ＸＭＬフォーマット化は恐らく、国際特許出願の第ＷＯ０３／０４９０５６号パンフレットに既に記載されているＸＭＬファイル・システム・モデルの拡張としての「擬似コード」の中間段階として使用されるはずであり、その場合は、当該システムの端末フレームワークへのビジネス論理入力として働く。国際特許出願の第ＷＯ０３／０４９０５６号パンフレットに記載の構成ツールも、要件エントリ・ポイント（ｒｅｑｕｉｒｅｍｅｎｔｓ ｅｎｔｒｙ ｐｏｉｎｔ）のような流れ図及びラダー・シーケンス図を含むように拡張され得る。
【００１１】
更に、この改良版システムでは、端末又はインターフェイス・デバイスから発行されるべきコマンド・シーケンスは、クレジット・カードの支払請求等、完全なビジネス・アプリケーションを構築するためのスクリプトの選択及び実行を含むはずである。
【００１２】
その利益は、アプリケーションの高レベルの機能要件（人的に生成される図）から、何れか又は両方のプラットフォーム上で走るより複雑なビジネス論理を含めたコードの走行に直接移行することにより、端末及びカード・アプリケーションの同時開発が可能になることである。
【００１３】
概略するために、国際特許出願の第ＷＯ０３／０４９０５６号パンフレットに記載のシステムは、ビジネス論理の生成を自動化しない。上記で概略され以下で更に詳細に説明されるシステムにおけるスクリプト機構の拡張は、カード上で走るビジネス論理コードの自動化された生成を可能にし、また、端末上で走るようにも拡張され得る。このため、それ自体既に高効率な従来の方法によって開発されることが委ねられるのは、端末設計におけるユーザ・インターフェイス及びホスト通信の諸側面だけである。
【発明を実施するための最良の形態】
【００１４】
ここで、かかるシステムに関する高レベル・アーキテクチャを示す添付の図面を参照して、本発明の一実施形態が、例示的な形で詳細に説明される。
【００１５】
１つ又は複数の作業変数及び幾つかのシステム変数を有するシステムでは、次のような１組の基本的な制御及び論理関数を与えることが望ましい。
【００１６】
【表１】
【００１７】
これらのコマンドは、単一の作業アキュムレータとＲＡＭに格納された複数のシステム変数とを用いて、簡易なコマンド・プロセッサ又はスクリプト・エンジン上でサポートされ得る。システムはまた、プログラム・カウンタ及び１組の状態フラグ、即ち、ＺＥＲＯ（ＥＱＵＡＬ）と、ＣＡＲＲＹ（ＧＥＡＴＥＲ ＴＨＡＮ）と、ＮＥＧＡＴＩＶＥとを必要とするはずである。
【００１８】
上記で列挙されたコマンドを実装するのに必要とされる高レベル・アーキテクチャの概要が、添付の図面に示される。演算は全て、アキュムレータ上で実施され、このアキュムレータを介して、一方の変数から他方の変数にその内容を移動させることが可能である。次に、プログラム・カウンタは、命令のそれぞれを１つずつ経由していき、命令が、分岐命令である場合は、分岐テストによって定義された該当する命令へと移行する。
【００１９】
アプリケーション論理は、国際特許出願の第ＷＯ０３／０４９０５６号パンフレットのシステムによってサポートされる既存のスクリプト処理機構及びデータ構造上に実装され得る。このシステム内では、システム変数には、入力／出力（「ＩＯ」）バッファを使用して、レコード及び実装されるアキュムレータが移植され得る。変数からデータをロードし、変数にデータを格納するための機構は、システムのＲｅａｄ Ｒｅｃｏｒｄ及びＵｐｄａｔｅ Ｒｅｃｏｒｄコマンドの形で、既にシステム内に存在する。システムのセキュリティ・マネージャは、データを入力し出力する際の安全なメッセージングのためのサポートを提供する、変数へのアクセスを制御するためのセキュリティ環境の創出を可能にする。
【００２０】
予期されるＡＰＤＵ内のコマンド・データの長さである「Ｌｃ」が、ＡＰＤＵ内で指定されている場合にも、スクリプト・マネージャは、スクリプトがデータを含んでいることを検査しないので、システムは、例えばＬｃ値を伴うがデータを伴わないＵｐｄａｔｅ Ｒｅｃｏｒｄコマンドのスクリプトを可能にすることになる。このコマンドは、以前のコマンドからのバッファ内のデータを使用することになる。この機構は、コマンドが、スクリプト・データ（絶対値）、又は、最終スクリプト結果からの既存のデータの何れか一方に対する演算を可能にする際に使用され得る。
【００２１】
国際特許出願の第ＷＯ０３／０４９０５６号パンフレットのシステムにおけるスクリプト・マネージャは既に、単一のコマンドを経由している。この追加のアプリケーション論理機能は、スクリプト（命令）のリスト内での分岐を可能にする。スクリプト・マネージャは既に、スクリプト内容の一貫性及び許可を検査するためのサポートを提供している。スクリプト・マネージャは、暗号化されたアプリケーション論理プログラムのダウンロードもサポートしている。
【００２２】
想定される種類のスマートカード・アプリケーションは、それ自体のアプリケーション・データ用の１つ又は複数のレコード・ファイルを使用することができる。このスマートカード・アプリケーションは、ファイル内に最大２５４個のレコードを有することができる。ＩＳＯ ７８１６ファイル・システムに定義される短いファイル識別子（ｓｈｏｒｔ ｆｉｌｅ ｉｄｅｎｔｉｆｉｅｒ：ＳＦＩ）を使用することにより、レコードの読込み、レコードの更新を行うためのコマンド、又は、他の任意のレコード・コマンドが、ファイル、レコード及び演算を指定する単一のコマンド・スクリプト内に、含まれてもよい。処理を簡略化するには、全てのレコードが、一定長であるべきである。４バイトのレコードを使用すると、−３２７６８〜＋３２７６７の範囲の符号付き整数をサポートできるシステムが、提供され得る。
【００２３】
上述の通り、システムのＲｅａｄ Ｒｅｃｏｒｄ及びＵｐｄａｔｅ Ｒｅｃｏｒｄコマンドは、Ｌｏａｄ及びＳｔｏｒｅ処理を実装するために使用され得る。ＡＮＤ、ＯＲ、及びＸＯＲ論理演算をサポートするには、追加のコマンドが、必要とされる。国際特許出願の第ＷＯ０３／０４９０５６号パンフレットのスマートカード・システム内には既に、ある程度のサポートが存在する。例えば、Ｗｒｉｔｅ Ｒｅｃｏｒｄコマンドが、ＺＥＲＯ（「Ｚ」）フラグを有効化し得るＡＮＤ又はＯＲ論理更新を実施することになる。
【００２４】
Ａｄｄ（加算）及びＳｕｂｔｒａｃｔ（減算）は、コマンド・データ内に保持される値を基に又はアキュムレータ内の値を基に、レコード内の値の加算又は減算を行う、新しいコマンドとして実装されるはずである。これらのコマンドは、Ｚ又はＮＥＧＡＴＩＶＥ（「Ｎ」）フラグを更新することもできる。
【００２５】
Ｃｏｍｐａｒｅコマンドは、単にコマンド内又はアキュムレータ内の値を指定されたレコード内の値と比較するだけの、新しいコマンドとして実装される必要があるはずである。このコマンドは、ＥＱＵＡＬ（「Ｚ」）又はＣＡＲＲＹ（「Ｃ」）フラグを更新することもできる。
【００２６】
Ｂｒａｎｃｈ（分岐）コマンドは、フラグの状態に基づいてスクリプト・ポインタを更新するコマンドとして実装される。スクリプト・ポインタは、Ｂｒａｎｃｈコマンド内で指定される固定数のスクリプト（肯定又は否定）単位で、それ自体の位置に関連して修正（相対分岐）されるはずである。
【００２７】
Ｅｘｉｔ（出口）コマンドは、結果又はエラーを伴うスクリプトから抜けるために必要とされる。出口データは、既存のシステムにおけるＳＷ１、ＳＷ２パラメータの形で返却されるエラー・コードを含むはずである。
【００２８】
国際特許出願の第ＷＯ０３／０４９０５６号パンフレットに記載の既存のシステム下では、レコード・ファイルは、レコード・データの更新を許可するように設定されたそれ自体のアクセス条件を有することができる。更新は、アクセス条件を何ら有さなくてもよく、或いは入力データの事前認証又は安全なメッセージングを必要としてもよい。レコード・ファイルは、それに伴うデータを返却するために使用され得るので、アクセス条件は、安全なメッセージング（「ＳＭ」）に設定されるはずである。最終スクリプトが、このレコード・ファイルを読み込んだ場合は、セキュリティ環境が、データに符号を付け、それにより応答が、証明される。
【００２９】
スクリプトには、符号が付けられ、任意選択で、それらが端末上に格納される前に、カード発行者／スキーム・オーナによって暗号化される。スクリプト・マネージャしか、検証済みのスクリプトを走らせることはないので、端末も他の如何なるものも、カード上にスクリプトをダウンロードし、そこでスクリプトを走らせ、或いは既存のスクリプトを修正することはできない。
【００３０】
以下の例は、電子財布スキームにおいて提案される論理の諸機能を示す。
【００３１】
（実施例）
電子財布は、４つの財布から成る。このスキームは、次の処理を必要とする：
・Ｒｅａｄ Ｂａｌａｎｃｅ（残高の読込み）
（残高が証明される）
・Ｄｅｃｒｅｍｅｎｔ Ｂａｌａｎｃｅ（残高の減分）
（資金が十分でない場合の、１つの財布から別の財布への構成可能な資金（ｆｕｎｄ）の自動振替（ａｕｔｏ ｔｒａｎｓｆｅｒ）。
財布内の資金が十分でない場合はエラーとし、財布の振替を行う）。
・Ｉｎｃｒｅｍｅｎｔ Ｂａｌａｎｃｅ（残高の増分）
（オンライン・ロードのみ）
・Ｔｒａｎｓｆｅｒ Ｂａｌａｎｃｅ（残高の振替）
（資金が十分でない場合は、エラーとする。
財布上限に到達した場合はエラーとする。）。
【００３２】
各財布毎に、レコード・ファイルが、作成される
・残高を伴うレコード。
【００３３】
次のレコードを伴うレコード・ファイルが、作成される
・減分され又は振り替えられるべき金額を指定するレコード。
【００３４】
このシステムのスクリプトは、次の処理を行うことになる：
・Ｒｅａｄ Ｂａｌａｎｃｅ（残高の読込み）
（残高の読込みは、通常のＲｅａｄ Ｒｅｃｏｒｄコマンドによってサポートされる。
ファイル用のＳＥは、値を証明するための読込み用のＳＭをサポートする。）
・Ｄｅｃｒｅｍｅｎｔ Ｂａｌａｎｃｅ（残高の減分）
（端末によってダウンロードされ走行される、指定された財布を指定された金額だけ減分するためのスクリプトが、作成される。）
・Ｉｎｃｒｅｍｅｎｔ Ｂａｌａｎｃｅ（残高の増分）
（通常のＵｐｄａｔｅ Ｒｅｃｏｒｄコマンドが、残高の増分をサポートする。ファイル用のＳＥは、更新用のＳＭにオンライン・ロードだけを許可するよう義務付ける。オンライン更新は、上限及び閾値を更新するためにも使用される。）
・Ｔｒａｎｓｆｅｒ Ｂａｌａｎｃｅ（残高の振替）
（端末によってダウンロードされ走行される、財布間で資金を振り替えるためのスクリプトが、作成される。財布及び金額が、入力される。）。
【００３５】
これらのステップを実施するための低レベル・コーディングは、次の通りとし得る。
【００３６】
Ｄｅｃｒｅｍｅｎｔ Ｂａｌａｎｃｅ（残高の増分）
【００３７】
【表２】
【００３８】
Ｔｒａｎｓｆｅｒ Ｆｕｎｄｓ（資金の振替）
【００３９】
【表３】
【００４０】
財布内の残高を減分するための要求は、以下の通り処理されるはずである。
スクリプトを適切な形で走らせるのに先立ち、システムは、取引先又は仕入先から、ユーザの財布において減分されるべき金額を取得する必要があるはずである。ファイルのアクセス条件は、スクリプトのロード及び走行を許可するために使用される。
【００４１】
【表４】
【００４２】
次いで、システムは、スクリプト・コマンド自体を次のように走らせる。
【００４３】
【表５】
【００４４】
このスクリプトは、１５個のスクリプト・コマンドを必要とし、暗号化及び符号付け前は、約１００バイトとなるはずである。
【００４５】
残高が振り替えられる場合のスクリプト・コマンド・シーケンスは、以下の通りである。ファイルのアクセス条件はここでも、スクリプトのロード及び走行を許可するために使用される。システムは、予備ステップとして、振り替えられるべき金額を取得する必要があるはずである。
【００４６】
【表６】
【００４７】
財布１＝財布からの振替であり、財布２＝財布への振替とする。
【００４８】
この場合のスクリプト・コマンドは、次のようになるはずである。
【００４９】
【表７】
【００５０】
従って、上記の記載を読めば、上述の改良版システムは、国際特許出願の第ＷＯ０３／０４９０５６号パンフレットのシステムにおいて利用されるスマートカード又は他のプログラマブル・デバイス上にダウンロードされ、そこで走行されることになるコードを制御する、アプリケーション論理を可能にすることが、理解されるであろう。上述の改良版システムは、簡易な１組の論理及び算術演算と制御機能とを提供し、使用されるプラットフォームとは独立したものである。
【図面の簡単な説明】
【００５１】
【図１】
【特許請求の範囲】
【請求項１】
ファイル・システム及びオペレーティング・ソフトウェアを担持するプログラマブル・デバイスであって、
オン・デバイスのファイル・システムは、少なくとも１つのオフ・デバイス・ファイル及び／又はアプリケーションとインターフェイスすることを可能にし、
前記デバイスは、
前記ファイル・システムの構造及び内容、又は、前記ファイル・システムにアクセスするために使用されるべきコマンド、又は、それに関連する任意のセキュリティ状態を修正するための、スクリプト・コマンドを走らせるための手段を含み、
前記スクリプトを走らせるための前記手段は、複数のスクリプト・コマンドを次々に走らせ、前記デバイスの入力／出力バッファをアキュムレータとして使用して、前記スクリプト・コマンドの内の１つ又は複数の前記制御下で、データ・ファイル内又は前記アキュムレータ自体の内に保持されている値に対する算術演算を可能にするように動作可能である、ことを特徴とするプログラマブル・デバイス。
【請求項２】
請求項１に記載のデバイスであって、前記スクリプトを走らせるための前記手段は、値の比較を実行することと、前記比較の結果に基づいて前記複数のスクリプト・コマンドの内の所定の１つに分岐することとが可能である、デバイス。
【請求項３】
請求項１又は請求項２に記載のデバイスであって、値は、前記オペレーティング・ソフトウェアのＲｅａｄ Ｒｅｃｏｒｄ及びＵｐｄａｔｅ Ｒｅｃｏｒｄコマンドをそれぞれ使用して、データ・ファイル又は前記アキュムレータから読み込まれ、そこに書き込まれる、デバイス。
【請求項４】
請求項１〜請求項３の何れか１項に記載のプログラマブル・デバイスであって、前記オン・デバイスのファイル・システムの前記構造及び内容、前記ファイル・システムにアクセスするために使用されるべき前記コマンド、及び、それに関連する任意のセキュリティ状態は、自己記述型メッセージ向けのＷｅｂ（インターネット）標準言語でフォーマットされた少なくとも１つのファイルによって定義される、プログラマブル・デバイス。
【請求項５】
請求項１〜請求項４の何れか１項に記載のプログラマブル・デバイスであって、自己記述型メッセージ向けの前記Ｗｅｂ（インターネット）標準言語は、拡張可能マークアップ言語（ＸＭＬ）であり、前記少なくとも１つのファイルは、ＸＭＬドキュメントである、プログラマブル・デバイス。
【請求項６】
請求項１に記載のデバイスであって、前記スクリプトを走らせるための前記手段は、アキュムレータ内のデータとレジスタ内のデータとの間の、加算又は減算演算を実行することが可能である、デバイス。
【請求項７】
請求項１に記載のデバイスであって、前記スクリプトを走らせるための前記手段は、アキュムレータ内のデータとレジスタ内のデータとの間の、論理ＡＮＤ、ＯＲ、及びＸＯＲ演算を実行することが可能である、デバイス。
【請求項８】
請求項１に記載のデバイスであって、１つ又は複数のフラグは、実行されたスクリプト・コマンドの結果に基づいて、セットされ、クリアされ得、その結果、実行すべき次の１つ又は複数のスクリプトにおけるフローは、論理的に制御され得る、デバイス。
【請求項１】
ファイル・システム及びオペレーティング・ソフトウェアを担持するプログラマブル・デバイスであって、
オン・デバイスのファイル・システムは、少なくとも１つのオフ・デバイス・ファイル及び／又はアプリケーションとインターフェイスすることを可能にし、
前記デバイスは、
前記ファイル・システムの構造及び内容、又は、前記ファイル・システムにアクセスするために使用されるべきコマンド、又は、それに関連する任意のセキュリティ状態を修正するための、スクリプト・コマンドを走らせるための手段を含み、
前記スクリプトを走らせるための前記手段は、複数のスクリプト・コマンドを次々に走らせ、前記デバイスの入力／出力バッファをアキュムレータとして使用して、前記スクリプト・コマンドの内の１つ又は複数の前記制御下で、データ・ファイル内又は前記アキュムレータ自体の内に保持されている値に対する算術演算を可能にするように動作可能である、ことを特徴とするプログラマブル・デバイス。
【請求項２】
請求項１に記載のデバイスであって、前記スクリプトを走らせるための前記手段は、値の比較を実行することと、前記比較の結果に基づいて前記複数のスクリプト・コマンドの内の所定の１つに分岐することとが可能である、デバイス。
【請求項３】
請求項１又は請求項２に記載のデバイスであって、値は、前記オペレーティング・ソフトウェアのＲｅａｄ Ｒｅｃｏｒｄ及びＵｐｄａｔｅ Ｒｅｃｏｒｄコマンドをそれぞれ使用して、データ・ファイル又は前記アキュムレータから読み込まれ、そこに書き込まれる、デバイス。
【請求項４】
請求項１〜請求項３の何れか１項に記載のプログラマブル・デバイスであって、前記オン・デバイスのファイル・システムの前記構造及び内容、前記ファイル・システムにアクセスするために使用されるべき前記コマンド、及び、それに関連する任意のセキュリティ状態は、自己記述型メッセージ向けのＷｅｂ（インターネット）標準言語でフォーマットされた少なくとも１つのファイルによって定義される、プログラマブル・デバイス。
【請求項５】
請求項１〜請求項４の何れか１項に記載のプログラマブル・デバイスであって、自己記述型メッセージ向けの前記Ｗｅｂ（インターネット）標準言語は、拡張可能マークアップ言語（ＸＭＬ）であり、前記少なくとも１つのファイルは、ＸＭＬドキュメントである、プログラマブル・デバイス。
【請求項６】
請求項１に記載のデバイスであって、前記スクリプトを走らせるための前記手段は、アキュムレータ内のデータとレジスタ内のデータとの間の、加算又は減算演算を実行することが可能である、デバイス。
【請求項７】
請求項１に記載のデバイスであって、前記スクリプトを走らせるための前記手段は、アキュムレータ内のデータとレジスタ内のデータとの間の、論理ＡＮＤ、ＯＲ、及びＸＯＲ演算を実行することが可能である、デバイス。
【請求項８】
請求項１に記載のデバイスであって、１つ又は複数のフラグは、実行されたスクリプト・コマンドの結果に基づいて、セットされ、クリアされ得、その結果、実行すべき次の１つ又は複数のスクリプトにおけるフローは、論理的に制御され得る、デバイス。
【図１】
【公表番号】特表２００７−５１７３０１（Ｐ２００７−５１７３０１Ａ）
【公表日】平成１９年６月２８日（２００７．６．２８）
【国際特許分類】
【出願番号】特願２００６−５４６３２７（Ｐ２００６−５４６３２７）
【出願日】平成１６年１２月２３日（２００４．１２．２３）
【国際出願番号】ＰＣＴ／ＧＢ２００４／００５４３４
【国際公開番号】ＷＯ２００５／０６４５５５
【国際公開日】平成１７年７月１４日（２００５．７．１４）
【出願人】（５０４２１８３６９）エセブス・リミテッド (6)
【Ｆターム（参考）】
【公表日】平成１９年６月２８日（２００７．６．２８）
【国際特許分類】
【出願日】平成１６年１２月２３日（２００４．１２．２３）
【国際出願番号】ＰＣＴ／ＧＢ２００４／００５４３４
【国際公開番号】ＷＯ２００５／０６４５５５
【国際公開日】平成１７年７月１４日（２００５．７．１４）
【出願人】（５０４２１８３６９）エセブス・リミテッド (6)
【Ｆターム（参考）】
[ Back to top ]