"計算環境に関連付けられた現在の資産集合についての識別子を入手する方法であって、前記現在の資産集合に関連付けられた現在の資産パラメータを入手するステップと、前記現在の資産パラメータと、前記計算環境に関連付けられ、前記計算環境の元の資産集合に基づくフィンガープリントとを所定の機能に従って処理して符号シンボルを入手するステップと、前記符号シンボルに誤り訂正アルゴリズムを適用して前記識別子を入手するステップとを備える、方法。請求項1に記載の方法であって、前記所定の機能は、各々の現在の資産パラメータを少なくとも1つのハッシュ値に換算して一連のハッシュ値を入手するステップを含む、方法。請求項2に記載の方法であって、前記所定の機能は、更に、前記フィンガープリントに従って前記一連のハッシュ値を前記符号シンボルにマッピングするステップを含む、方法。請求項3に記載の方法であって、前記フィンガープリントには変換パラメータが関連付けられ、前記一連のハッシュ値を前記符号シンボルにマッピングするステップは、前記変換パラメータに従って実行される、方法。請求項4に記載の方法であって、前記一連のハッシュ値を前記符号シンボルにマッピングするステップは、前記一連のハッシュ値と前記変換パラメータとの間でXOR演算を実行するステップを含む、方法。請求項1から5のいずれかに記載の方法であって、前記資産のうち少なくとも1つには、チャレンジ応答装置が関連付けられ、前記現在の資産パラメータを入手するステップは、少なくとも1つのチャレンジを前記チャレンジ応答装置に入力するステップと、前記少なくとも1つのチャレンジの各々についての応答を前記チャレンジ応答装置から受け取るステップとを含み、各々の前記応答は現在の資産パラメータを構成する、方法。請求項6に記載の方法であって、前記チャレンジ応答装置は、物理複製不可能回路デバイス、ドングル、及びスマートカードのうち少なくとも1つを含む、方法。請求項1から7のいずれかに記載の方法であって、前記誤り訂正アルゴリズムはリードソロモン誤り訂正符号を含む、方法。元の資産収集が関連付けられた計算環境についてのフィンガープリントを定義する方法であって、符号ワード生成アルゴリズムに従って符号ワードシンボルを生成するステップと、前記フィンガープリントを入手するために、前記元の資産集合に関連付けられた資産パラメータ及び前記符号ワードシンボルを所定の機能に従って処理するステップとを備える、方法。請求項9に記載の方法であって、前記符号ワードシンボルを生成するステップは、識別子を前記符号ワード生成アルゴリズムに入力値として与えるステップを含む、方法。請求項9又は10に記載の方法であって、前記処理するステップに先立って、前記資産にアクセスして前記資産パラメータを入手するステップが行われる、方法。請求項9から11のいずれかに記載の方法であって、前記処理するステップは、各々の資産パラメータを少なくとも1つのハッシュ値に換算して一連のハッシュ値を入手するステップを含む、方法。請求項12に記載の方法であって、前記フィンガープリントは、一連の変換パラメータを含み、前記所定の機能は、前記符号ワードシンボルに従って、前記一連のハッシュ値を前記一連の変換パラメータに対してマッピングする、方法。請求項9から13のいずれかに記載の方法であって、前記処理するステップに先立って、前記資産パラメータを入手するステップが行われる、方法。請求項14に記載の方法であって、前記資産のうち少なくとも1つには、チャレンジ応答装置が関連付けられ、前記資産パラメータを入手するステップは、少なくとも1つのチャレンジを前記チャレンジ応答装置に入力するステップと、前記少なくとも1つのチャレンジの各々についての応答を前記チャレンジ応答装置から受け取るステップとを含み、各々の前記応答は資産パラメータを構成する、方法。請求項15に記載の方法であって、前記チャレンジ応答装置は、物理複製不可能回路デバイス、ドングル、及びスマートカードのうち少なくとも1つを含む、方法。請求項9から16のいずれかに記載の方法であって、前記符号ワード生成アルゴリズムはリードソロモン誤り訂正符号を含む、方法。命令を含む有形の非遷移型コンピュータ可読媒体であって、前記命令をプロセッサによって実行すると、前記プロセッサが、計算環境に関連付けられた現在の資産集合についての識別子を入手する方法を実行し、前記方法は、前記現在の資産集合に関連付けられた現在の資産パラメータを入手するステップと、前記現在の資産パラメータと、前記計算環境に関連付けられ、前記計算環境の元の資産集合に基づくフィンガープリントとを所定の機能に従って処理して符号シンボルを入手するステップと、前記符号シンボルに誤り訂正アルゴリズムを適用して前記識別子を入手するステップとを備える、コンピュータ可読媒体。請求項18に記載のコンピュータ可読媒体であって、前記所定の機能は、各々の現在の資産パラメータを少なくとも1つのハッシュ値に換算して一連のハッシュ値を入手するステップを含む、コンピュータ可読媒体。請求項19に記載のコンピュータ可読媒体であって、前記所定の機能は、更に、前記フィンガープリントに従って前記一連のハッシュ値を前記符号シンボルにマッピングするステップを含む、コンピュータ可読媒体。請求項20に記載のコンピュータ可読媒体であって、前記フィンガープリントには変換パラメータが関連付けられ、前記一連のハッシュ値を前記符号シンボルにマッピングするステップは、前記変換パラメータに従って実行される、コンピュータ可読媒体。請求項21に記載のコンピュータ可読媒体であって、前記一連のハッシュ値を前記符号シンボルにマッピングするステップは、前記一連のハッシュ値と前記変換パラメータとの間でXOR演算を実行するステップを含む、コンピュータ可読媒体。請求項18から22のいずれかに記載のコンピュータ可読媒体であって、前記資産のうち少なくとも1つには、チャレンジ応答装置が関連付けられ、前記現在の資産パラメータを入手するステップは、少なくとも1つのチャレンジを前記チャレンジ応答装置に入力するステップと、前記少なくとも1つのチャレンジの各々についての応答を前記チャレンジ応答装置から受け取るステップとを含み、各々の前記応答は現在の資産パラメータを構成する、コンピュータ可読媒体。請求項23に記載のコンピュータ可読媒体であって、前記チャレンジ応答装置は、物理複製不可能回路デバイス、ドングル、及びスマートカードのうち少なくとも1つを含む、コンピュータ可読媒体。請求項1から7のいずれかに記載のコンピュータ可読媒体であって、前記誤り訂正アルゴリズムはリードソロモン誤り訂正符号を含む、コンピュータ可読媒体。命令を含む有形の非遷移型コンピュータ可読媒体であって、前記命令をプロセッサによって実行すると、前記プロセッサが、元の資産収集が関連付けられた計算環境についてのフィンガープリントを定義する方法を実行し、前記方法は、符号ワード生成アルゴリズムに従って符号ワードシンボルを生成するステップと、前記フィンガープリントを入手するために、前記元の資産集合に関連付けられた資産パラメータ及び前記符号ワードシンボルを所定の機能に従って処理するステップとを備える、コンピュータ可読媒体。請求項26に記載のコンピュータ可読媒体であって、前記符号ワードシンボルを生成するステップは、識別子を前記符号ワード生成アルゴリズムに入力値として与えるステップを含む、コンピュータ可読媒体。請求項26又は27に記載のコンピュータ可読媒体であって、前記処理するステップに先立って、前記資産にアクセスして前記資産パラメータを入手するステップが行われる、コンピュータ可読媒体。請求項26から28のいずれかに記載のコンピュータ可読媒体であって、前記処理するステップは、各々の資産パラメータを少なくとも1つのハッシュ値に換算して一連のハッシュ値を入手するステップを含む、コンピュータ可読媒体。請求項29に記載のコンピュータ可読媒体であって、前記フィンガープリントは、一連の変換パラメータを含み、前記所定の機能は、前記符号ワードシンボルに従って、前記一連のハッシュ値を前記一連の変換パラメータに対してマッピングする、コンピュータ可読媒体。請求項26から30のいずれかに記載のコンピュータ可読媒体であって、前記処理するステップに先立って、前記資産パラメータを入手するステップが行われる、コンピュータ可読媒体。請求項31に記載のコンピュータ可読媒体であって、前記資産のうち少なくとも1つには、チャレンジ応答装置が関連付けられ、前記資産パラメータを入手するステップは、少なくとも1つのチャレンジを前記チャレンジ応答装置に入力するステップと、前記少なくとも1つのチャレンジの各々についての応答を前記チャレンジ応答装置から受け取るステップとを含み、各々の前記応答は資産パラメータを構成する、コンピュータ可読媒体。請求項31に記載のコンピュータ可読媒体であって、前記チャレンジ応答装置は、物理複製不可能回路デバイス、ドングル、及びスマートカードのうち少なくとも1つを含む、コンピュータ可読媒体。請求項26から33のいずれかに記載のコンピュータ可読媒体であって、前記符号ワード生成アルゴリズムはリードソロモン誤り訂正符号を含む、コンピュータ可読媒体。このような方法の1つの問題は、記録されたデバイス識別子と取り出されたパラメータとの比較工程が攻撃に弱いということである。記録されたデバイス識別子が存在することがこのような攻撃を可能にする主な原因である。従って、悪意のある攻撃に対する耐性を有しながら、計算環境における変化への許容力を有するシステム識別子を生成する方法を提供することが望ましい。第1の局面において、本開示は、計算環境に関連付けられた現在の資産集合についての識別子を入手する方法を提供する。この方法は、前記現在の資産集合に関連付けられた現在の資産パラメータを入手するステップと、前記現在の資産パラメータと、前記計算環境に関連付けられ、前記計算環境の元の資産集合に基づくフィンガープリントfingerprintとを所定の機能に従って処理して符号シンボルを入手するステップと、前記符号シンボルに誤り訂正アルゴリズムを適用して前記識別子を入手するステップとを備える。前記所定の機能は、各々の現在の資産パラメータを少なくとも1つのハッシュ値に換算して一連のハッシュ値を入手するステップを含み得る。前記所定の機能は、更に、前記フィンガープリントに従って前記一連のハッシュ値を前記符号シンボルにマッピングするステップを含み得る。前記フィンガープリントには変換パラメータが関連付けられ、前記一連のハッシュ値を前記符号シンボルにマッピングするステップは、前記変換パラメータに従って実行されるようにしても良い。前記一連のハッシュ値を前記符号シンボルにマッピングするステップは、前記一連のハッシュ値と前記変換パラメータとの間でXOR演算を実行するステップを含み得る。前記資産のうち少なくとも1つには、チャレンジ応答装置が関連付けられ、前記現在の資産パラメータを入手するステップは、少なくとも1つのチャレンジを前記チャレンジ応答装置に入力するステップと、前記少なくとも1つのチャレンジの各々についての応答を前記チャレンジ応答装置から受け取るステップとを含み、各々の前記応答は現在の資産パラメータを構成するようにしても良い。前記チャレンジ応答装置は、物理複製不可能回路PUFデバイス、ドングル、及びスマートカードのうち少なくとも1つを含み得る。前記誤り訂正アルゴリズムはリードソロモン誤り訂正符号を含み得る。第2の局面において、本開示は、元の資産集合が関連付けられた計算環境についてのフィンガープリントを定義する方法を提供する。この方法は、符号ワード生成アルゴリズムに従って符号ワードシンボルを生成するステップと、前記フィンガープリントを入手するために、前記元の資産集合に関連付けられた資産パラメータ及び前記符号ワードシンボルを所定の機能に従って処理するステップとを備える。前記符号ワードシンボルを生成するステップは、識別子を前記符号ワード生成アルゴリズムに入力値として与えるステップを含み得る。前記処理するステップに先立って、前記資産にアクセスして前記資産パラメータを入手しても良い。前記処理するステップは、各々の資産パラメータを少なくとも1つのハッシュ値に換算して一連のハッシュ値を入手するステップを含み得る。前記フィンガープリントは、一連の変換パラメータを含み、前記所定の機能は、前記符号ワードシンボルに従って、前記一連のハッシュ値を前記一連の変換パラメータに対してマッピングするようにしても良い。前記処理するステップに先立って、前記資産パラメータを入手しても良い。前記資産のうち少なくとも1つには、チャレンジ応答装置が関連付けられ、前記資産パラメータを入手するステップは、少なくとも1つのチャレンジを前記チャレンジ応答装置に入力するステップと、前記少なくとも1つのチャレンジの各々についての応答を前記チャレンジ応答装置から受け取るステップとを含み、各々の前記応答は資産パラメータを構成するようにしても良い。前記チャレンジ応答装置は、物理複製不可能回路PUFデバイス、ドングル、及びスマートカードのうち少なくとも1つを含む。前記符号ワード生成アルゴリズムはリードソロモン誤り訂正符号を含む。本開示は、取り出された資産パラメータと計算環境に関連付けられた誤り訂正フィンガープリントとに基づいて計算環境識別子を算出するセキュアで且つ変化許容力を有する方法を提供する。この識別子を用いて、計算環境で実行されているアプリケーションの機能に影響を与えたり、これを判定したりすることができる。本開示においては、変化許容力を有するという用語は、フォールトトレラント及び変更許容力を有すると類似のものであり、計算環境の誤り訂正フィンガープリントを得る工程の後に計算環境の一部の資産が変化した場合でも識別子を入手することができることを意味する。この明細書中では、資産とは、あらゆるデータ、アプリケーション、デバイス、ノード、又はその他の計算環境の構成要素である。一般的に、資産には、ハードウェア例えばサーバ及びスイッチ、ソフトウェア例えばミッションクリティカルアプリケーション及びサポートシステム及び機密情報等が含まれる。この明細書中では、計算環境及びコンピュータシステムという用語は交換可能であり、単一のコンピュータ及びその他の装置であって、プロセッサ、分散計算システム、その構成要素、記憶された又はその他の態様で関連付けられたデータを含み、且つ、そのようなコンピュータシステム、取り付けられた又はアクセス可能な周辺機器、ソフトウェアアプリケーション及び基本ソフト並びにこれらの組み合わせのユーザに関連付けられたデータを含むものを包括的に意味する。この明細書中では、資産パラメータとは、所与のクラスの資産、状況又はエリアについて出現頻度が限られた、割り当て又は決定されたパラメータを意味する。資産パラメータは、一意であるか、又は少なくともパラメータが割り当て又は決定される時点で資産を排他的に識別することができる。資産パラメータは、例えば、数字、シンボル、数字又は文字の列、又は関数として表現され得る。他の形態では、資産パラメータは一意でなく、資産パラメータの組み合わせが一意であるようにしても良い。この方法が用いられ得るシステムの一例として、コンピュータ計算環境であって、シリアル番号又は他の割り当てられた資産パラメータ等の、多少なりとも一意のデバイス識別子を各々が有する或る数の周辺機器を有するコンピュータがある。一般的に、このようなデバイス識別子は、製造者によってデバイスに割り当てられる。この方法はまた、各々のマイクロコントローラが一意の識別子を有する埋め込みマイクロコントローラのネットワークに適用しても良い。このような構成は、マイクロコントローラモジュール全体を交換することで修理される比較的複雑なシステム例えば航空機、自動車、産業用機械で一般的に見られる。このような機械においては、コントローラのためのファームウェアを特定の上記ネットワークにリンクすることが有益であり得る。コンピュータシステムに関連付けられ又はここに記憶されたデータソースもまた資産と見做すことができる。その例として、住所録、ユーザ選択設定、名前、住所、日付又は他の比較的変化の頻度の低いパラメータが含まれる。資産パラメータは、1つ又は複数の資産に関連付けられたパラメータに関数を適用することで入手することができる。例えば、資産パラメータは、コンピュータメモリに関連付けられたパラメータ、特定のアプリケーション又はファイル集合を入力値とする関数から得ることができる。資産パラメータによっては、この明細書に記載の方法によって処理できるようになるために、ユーザによる入力例えばパスワード、質問への答え例えば好きな色、母親の旧姓等、取り外し可能なデータソースの挿入、又は指紋のスキャンを必要とするものもある。更に、資産によっては、資産パラメータが関連付けられないものもあり得る。従って、誤り訂正フィンガープリントを定義する際、及び計算環境の識別子を決定する際、資産パラメータの不在が有効な入力と見做されることがある。本開示では、信頼性の低い通信リンク経由で信頼性の高いデータ伝送を可能にする誤り訂正符号の技術分野における諸概念を用いる。前方向誤り訂正符号FECの主要な変種として、固定データブロックに対して働くブロック符号や、データストリームに対して働く畳み込み符号がある。用途によっては、これら2種類の符号を組み合わせて、シャノン限界に近いデータ速度を達成する。性能を向上させるためにターボ符号又はLDPC符号低密度寄偶検査符号を用いても良い。本開示にはあらゆる誤り訂正符号化を適用することができるが、本開示の一部の実施例の説明は、最大距離分離符号等の線形符号に基づくものである。最大距離分離符号の周知の例がリードソロモン符号である。最大距離分離符号以外の誤り訂正符号を用いても本開示の範囲を逸脱することはない。当該技術で公知のように、誤り訂正ブロック符号は、k個のシンボルからなるメッセージxを、n個のシンボルからなる符号ワードcにマッピングすることができる。このメッセージはx1,x2,...xkと表記することができ、符号ワードはc1,c2,...cnと表記することができる。メッセージ及び符号ワードにおけるシンボルは、サイズqを有する固定のアルファベットから選択される。線形誤り訂正符号は、k行及びn列からなる生成行列Gによって表すことができ、各々のメッセージxにつきc=xGという性質を有する。符号長はnであり、kは符号の次元と称する。符号ワードcが送信され、受信された符号ワードがrと等しい場合、復号化アルゴリズムを用いてrからxを取り出す。誤り訂正符号の誤り訂正能力は、符号の最小距離に依存し得る。最小距離は、任意の2つの符号ワードが異なるシンボル位置の最小数と定義され、dと表記される。最小距離dの符号は、最大でFloord-1/2個の誤りを訂正することができる。長さn、次元k、最小距離dの線形誤り訂正符号は、[n,k,d]q符号と称することができる。リードソロモン符号は、[n,k,n-k1]q符号である。言い換えると、最小距離dはn-k1に等しい。また、リードソロモン符号は消失チャネルで用いることもでき、ここで符号は、任意の組のn-k個のシンボル消失失われたシンボルを訂正することができる。リードソロモン符号に関する更なる情報は、インターネットで入手可能なバーナードスクラーBernardSklarによる記事リードソロモン符号Reed-SolomonCodesに記載されている。更なる情報は、例えば以下に記載されている。ライアン、ウィリアムERyan,WilliamE.、シューリンShuLin著チャネル符号:古典と現代ChannelCodes:ClassicalandModern、2009年、ケンブリッジ大学出版CambridgeUniversityPress、ISBN:978-0-521-84868-8。ロバートHモレロスザラゴザRobertH.Morelos-Zaragoza著誤り訂正符号化技術TheArtofErrorCorrectingCoding、第2版、ジョンワイリーアンドサンズJohnWileySons、2006年、ISBN:0470015586。図1Aは、本開示に従う初期化方法の一例を示す。図1Aの方法は、計算環境に存在する資産集合についてフィンガープリント誤り訂正フィンガープリントとも称するを生成する態様を示す。初期化の際に存在するこの資産集合は、元の資産集合とも称する。ステップ20にて、元の資産集合の資産パラメータが取り出される。ステップ22にて、所定の識別子に対して誤り訂正演算を実行し、符号ワードシンボルを生成する。ステップ24にて、所定の関数が符号ワード及び取り出された資産パラメータに対して働いて、計算環境の誤り訂正フィンガープリントを生成する。誤り訂正フィンガープリントは、元の資産集合及び識別子の関数である。図1Bは、計算環境の現在の資産集合についての識別子を入手する方法の一例を示す。計算環境には、誤り訂正フィンガープリントが関連付けられる。誤り訂正フィンガープリントとは、計算環境が元の資産集合を有していた初期化段階における資産パラメータの関数である。ステップ30にて、現在の資産集合の資産パラメータを取り出す。ステップ32にて、取り出された資産パラメータ及びフィンガープリントを処理して符号シンボルを入手する。ステップ34にて、誤り訂正演算、例えばリードソロモン誤り訂正演算を符号シンボルに適用して識別子を入手する。現在の資産集合が元の資産集合と同一であれば、識別子は常に正しい。現在の資産集合が元の資産集合と異なれば、どの資産が異なるのか、いくつの資産が異なるのか、及びフィンガープリントの入手に用いられた誤り訂正演算に依存して、識別子は正しいことも正しくないこともある。図2は、本開示に従うもう1つの初期化方法の例を示す。即ち、図2は、本開示に従い計算システムの誤り訂正フィンガープリントを算出する態様を示す。ステップ501~50nにて、計算環境内の資産から資産パラメータp1,p2,...pnを取り出す例えば読み出す、又は他の態様で入手する。これらの資産が元の資産集合を構成する。ステップ521~52nにて、取り出された資産パラメータp1,p2,...pnを、ハッシュ関数を通じて処理してハッシュ値h1,h2,...hnを入手する。本開示の範囲を逸脱することなく、あらゆる好適なハッシュ関数を用いることができる。ハッシュ値h1,h2,...hnは、ステップ541~54nに示す変換関数Tへの入力値となる。変換生成関数Tへのもう1つの入力値が、誤りに対して保護された符号ワードcであり、c=c1,c2,...cnと定義される。シンボルc1,c2,...cnは、識別子生成部58で生成され得る識別子x1,x2,...xkの関数として符号ワード生成モジュール56によって符号ワード生成アルゴリズムを用いて生成された符号ワードシンボルである。識別子生成部58はまた、識別情報メッセージサーバ又はメッセージ生成部とも称する。各々の符号ワードシンボルci及びハッシュ値hiにつき、変換関数TT=Tci,hiは、符号ワードシンボルciの関数として変換パラメータtiを生成する。変換パラメータt1,t2,...tnは、ハッシュ値及び符号ワードシンボルの関数として誤り訂正フィンガープリント42を定義する。後述するように、符号ワード生成モジュール56は、符号ワード生成アルゴリズムリードソロモン誤り符号を含み得るを用いて、識別子の関数として符号ワードシンボルを生成する。識別子は、特定の計算環境に特有の一意の鍵と見做すことができる。識別子はランダムに生成することができる。用途によっては、識別子は公開鍵暗号システムにおける鍵を表す場合があり、この場合、このような鍵のランダムな生成を妨げる或る特別な制約がある場合がある。データ暗号化標準DES暗号化アルゴリズムに用いられる鍵は、56ビットを用いる。次世代暗号化標準AESでは128ビット又は256ビットの鍵を用いる。リベストシャミアエーデルマンRSAアルゴリズムでは、2048ビット又は3072ビットの鍵長を用いる。従って、上述の暗号化技術を用いた場合、識別子のサイズは約48ビットから3Kビットの範囲とすることができる。一般的に、優れた暗号化アルゴリズムでは、解読にしらみつぶしの鍵探索が必要であるため、鍵において1ビット追加されるたびに鍵を見つけるための探索数は二倍になる。識別子は、ランダム数生成部を用いて生成することができ、各計算システムを区別化するために、且つ辞書攻撃に抵抗できるために十分の長さであることが求められる。一般的に、符号ワード生成アルゴリズム及び誤り訂正符号は、少なくとも識別子長さ、資産パラメータ数、及びハッシュアルゴリズムに従って選ぶことが求められる。計算環境におけるアプリケーションの初期化に関し、実施例によっては、アプリケーションの初期化部分が資産パラメータを読み出し、これをサーバに送る。サーバは、資産パラメータの関数として、且つ符号ワード生成アルゴリズムリードソロモン誤り訂正符号を含み得るに従って、計算環境の誤り訂正フィンガープリントを算出し、このフィンガープリントを、計算環境で実行されているアプリケーションに返す。サーバはまた、アプリケーションの実例instanceを生成することができ、誤り訂正フィンガープリントが新しいアプリケーションに埋め込まれる。この場合、サーバはアプリケーション実例を計算プラットフォーム計算環境に送ることで実行又はインストールできるようにする。誤り訂正フィンガープリントによって、アプリケーションは後でより詳細に説明するように資産パラメータをシステム識別子に換算することが可能となる。図3は、図1Bの方法の実現例を示す。図3は、n個の資産パラメータp’1,p’2,...p’nを有する計算環境に関する。資産パラメータは、ステップ361~36nにて計算環境内の資産から取り出される例えば読み出される、又は他の態様で入手される。ステップ381~38nにて、取り出された資産パラメータp’1,p’2,...p’nをハッシュ関数で処理してハッシュ値h’1,h’2,...h’nを入手する。ハッシュ関数は、初期化段階で用いられるものと同じである。一般的に、ハッシュ値は、資産パラメータに依存することになる。ステップ401~40nにて、ハッシュ値h’1,h’2,...h’nを、マッピング演算Lによって、誤り訂正フィンガープリント42の変換パラメータt1,t2,...tnの関数として、それぞれの符号シンボルc’1,c’2,...c’nにマッピングする。所定の変換パラメータt1,t2,...tnは、誤り訂正フィンガープリント42を規定し、図2の例に記載のような初期化段階で決定される。ステップ44にて、誤り訂正モジュール46は、誤り訂正アルゴリズムを符号シンボルc’1,c’2,...c’nに適用して識別子x’1,x’2,...x’kを入手する。誤り訂正アルゴリズムは、リードソロモン誤り訂正符号又は他の任意の好適な種類の誤り訂正符号を含み得る。誤り訂正モジュール46によって適用される誤り訂正アルゴリズムは、図2の符号ワード生成モジュール56によって適用される符号ワード生成アルゴリズムと機能的に反対のものである。資産パラメータp’1,p’2,...p’nが資産パラメータp1,p2,...pn図2と同じ場合、又は誤り訂正モジュール46図2によって適用される特定の誤り訂正符号にとって許容可能な量以下しか異ならない場合、誤り訂正モジュール46の出力部で入手される識別子x’1,x’2,...x’kは、符号ワード生成モジュール56図2に入力される識別子x1,x2,...xkと同じとなる。即ち、資産パラメータp’1,p’2,...p’nとp1,p2,...pnとにおける差異誤りは、誤り訂正モジュール46によって許容され得るものを上回らない場合に上記が該当する。ルックアップ関数L図3のステップ401~40nは、変換パラメータtiによって構成される。その結果得られるルックアップ関数は、資産パラメータp’iが初期化の際に存在する資産パラメータpiと同じ、即ちh’i=hiの場合、ハッシュ値h’iを符号ワードシンボルciにマッピングする。h’iが他の値であって、初期化の際に存在する資産パラメータに対応しない場合、tiで構成されるルックアップ関数Lは、ciに等しくない出力値を生成する。誤り訂正符号がサポートするのであれば、資産パラメータの不在を表す符号化値のための変換マッピング関数を生成するための特別な規定を設けても良い。用途によっては、変換パラメータ生成関数Tを、hi及びciに対するXOR関数として実現することが有益であり得る。その他の関数表現を用いても良い。一般的に、テーブルルックアップは任意の関数を表現し得る。ルックアップテーブルの代わりに、実際に算出工程を用いて同じ結果を生成することも可能である。XORはそのような演算算出の一例である。これに代えて、Lについての単なる加算及びTについての減算を用いても良い。変換関数Tとルックアップ関数Lとの関係の一例を図4に示す。図4は、変換関数T54i及びルックアップ関数L40iを合わせて使用する態様を示す。変換関数T54iは、符号ワードシンボルci及び初期ハッシュ値hiを変換パラメータtiにマッピングする。或るh’iの値に対し、ルックアップ関数L40iは、h’iがhiと等しい場合にのみciの初期値と等しい符号シンボルc’iを生成する。他の全てのh’iの値の場合、ルックアップ関数Lは、ciとは異なる受け取りシンボル値c’iを生成する。即ち、初期化の際に存在した元の資産が、代わりの資産と交換された場合、代わりの資産に対応する符号シンボル値は、元の資産に対応する符号ワードシンボルとは異なることになる。図2及び図3の例では、各々の資産パラメータにつきただ1つのハッシュ値を生成している。しかしながら、これに限定されない。例えば、図5に示すように、単一の資産パラメータpiが2つ以上のハッシュ値を生成しても良い。図5の例では、ステップ62で読み出された資産パラメータp3をハッシュして2つのハッシュ値h3及びh4とし、これらをルックアップ関数64,66への別個の入力値として用いて、変換パラメータt3,t4に従って符号ワードc3,c4を生成し、これらを用いて誤り訂正フィンガープリントを生成することが可能である。これにより、異なる重みを資産パラメータに割り当てることが可能になる。例えば、2つ以上のハッシュ値が関連付けられた資産パラメータは、一般的に、ただ1つのハッシュ値が関連付けられた資産パラメータよりも、計算環境識別子の決定においてより大きな役割を有する。一方で、多数の資産パラメータが単一のハッシュ値を生成しても良い。例えば、ハッシュ関数を、個々の資産パラメータに適用する代わりに、複数の資産パラメータを合計したものに適用しても良い。即ち、ハッシュ関数Hp1,Hp2の代わりに、Hp1p2を用いても良い。初期化段階の後、資産の一方又は両方における変化、及びこれに伴いそれぞれの資産パラメータにおける変化は、一般的に、回復された識別子に対して同じ影響を及ぼす。その一例を図6に示す。図6では、ステップ68で取り出された資産パラメータp1と、ステップ72で取り出された資産パラメータp2とを、ステップ70にて合計する。合計した資産パラメータp1p2を、次に、ステップ74にてハッシュしてハッシュ値h1を生成し、これをルックアップ関数75に入力して、変換パラメータtiの関数として符号ワードc1を生成する。また、資産パラメータを多数の部分に分割してからハッシュして多数のハッシュパラメータにしても本開示の範囲を逸脱しない。また、ハッシュの生成前又はハッシュ関数の適用後に相当程度の処理を行っても良い。このような誤り訂正モジュールの間接的使用もまた本開示の範囲内である。図7は、3つの資産と、リードソロモン4,2誤り訂正符号とを用いるアプリケーションソフトウェアアプリケーションに関する本開示の例を示す。この例では、アプリケーションは、1つの主要な資産が正しく、残りの2つの資産のうち少なくとも1つが正しい場合にのみ有効な結果有効な識別子を生成するものである。主要な資産又は他の2つの資産両方に誤りがあれば、有効な識別子は生成されず、アプリケーションは意図した機能を行うことができなくなる。この例では、資産パラメータp3を有する資産が主要な資産であり、この資産パラメータには、2つのハッシュ値h3,h4が関連付けられる。まず、3つの資産を含む計算資産について誤り訂正フィンガープリントを決定する態様を説明する。ステップ76にて、識別子生成部78は識別子x=x1,x2を生成し、この識別子は符号ワード生成部80に入力される。符号ワード生成部80は、この例では、リードソロモン4,2誤り訂正符号を用いる符号ワード生成アルゴリズムを用いる符号ワード生成部であり、識別子xの関数として符号ワードc=c1,c2,c3,c4を出力する。各々の符号ワードシンボルciを変換関数Tに入力する。変換関数Tもまた、誤り訂正フィンガープリント84が決定されている元の資産集合から入手したハッシュ値を入力値とする。これらハッシュ値は、h1,h2,h3,h4である。図7に示すように、資産パラメータp3と、これに伴いその関連の資産とには、2つのハッシュ値h3,h4が関連付けられる。これらのハッシュ値なしには有効な識別子を入手することはできない。変換関数821は変換パラメータt1を出力し、変換関数822は変換パラメータt2を出力し、変換関数823は変換パラメータt3を出力し、変換関数824は変換パラメータt4を出力する。変換パラメータt1,t2,t3,t4は、誤り訂正フィンガープリント84を構成する。3つの資産についての識別子の決定の際、これが誤り訂正フィンガープリント84の決定に用いられた元の3つの資産であれ、又は他の資産であれ、ステップ861~863にて資産パラメータp1,p2,p3を取り出す。ステップ881にて、資産パラメータp1の関数としてハッシュ値h1を入手する。ステップ882にて、資産パラメータp2の関数としてハッシュ値h2を入手する。ステップ883にて、資産パラメータp3の関数としてハッシュ値h3、h4を入手する。その後、各々のハッシュ値hii=1~4及び対応する変換パラメータtiをルックアップ関数Lhi,tiに入力し、このルックアップ関数は符号シンボルc’iを出力する。これをステップ901~904で示す。符号シンボルc’iの決定に用いられた資産パラメータが、変換パラメータtiの決定に用いられた資産パラメータと同じである場合にのみ、c’iは符号ワードシンボルciと同一となる。符号シンボルc’1,c’2,c’3,c’4を誤り訂正モジュール92リードソロモン4,2誤り訂正モジュールに入力し、誤り訂正モジュール92は識別子x’=x’1,x’2を出力する。c’3=c3及びc’4=c4且つ少なくともc’1=c1又はc’2=c2の場合にのみ識別子x’はx=x1,x2と等しくなる。図7はまた、リードソロモン誤り訂正符号に基づく誤り訂正アルゴリズムを用いたRS4,2誤り訂正モジュール92が用いられることを示す。主要な資産パラメータp3を用いて2つのハッシュ値h3,h4を生成する。誤り訂正モジュール92のRS4,2符号は1つの誤りシンボルを訂正できるため、RS4,2誤り訂正モジュール92が有効な出力を生成するためには主要な資産パラメータp3が正しいものである必要がある。p3が正しい場合、残りのハッシュパラメータh1又はh2のうち一方は正しくなくても良いが、それはRS4,2誤り訂正モジュール92がその誤りから回復できるためである。識別子x=x1,x2は、多数の計算プラットフォーム計算環境で共通であっても良い。そのような場合、エンドユーザはプログラムアプリケーションプログラムの同一のコピーを入手することができるが、識別子xを生成するためには誤り訂正フィンガープリントに特有の計算プラットフォームを必要とする。用途によっては、初期化の際に用いられたものと意図的に異なる資産を用いた識別子を回復することが有利な場合もある。誤り訂正符号は一定量の誤った資産パラメータを許容するため、この手法を用いてシステムに対する攻撃を複雑にすることができる。誤り訂正モジュールは、アプリケーションによって許容され得る正しくないシンボルの数を示しても良い。それに応じて、回復における意図的に誤った入力の数を調整することができる。資産パラメータを読み出す代わりに、計算プラットフォーム計算環境によっては、例えば物理複製不可能回路PUF、ドングル、スマートカード等のチャレンジ応答装置機能をサポートしても良い。このようなチャレンジ応答装置に関連付けられた資産の場合、チャレンジ応答装置にチャレンジを入力し且つ応答を処理するように、図3の例示の識別メッセージ回復方法を適合することができる。初期化段階中、即ち誤り訂正フィンガープリントを確立する時点で、或る数のチャレンジ及び対応する応答を入手し、これらを用いて誤り訂正フィンガープリントを生成する。図8は、図2の例に類似の初期化の例を示すが、この例においては、資産パラメータp1,p2を読み出す代わりに、チャレンジ装置機能94は、2つのチャレンジ応答装置100,101に2つのチャレンジを入力し、応答CR1及びCR2を入手する。この後、後述のように、応答CR1,CR2は資産パラメータとして扱われるため、これを資産パラメータと称しても良い。即ち、応答CR1,CR2は資産パラメータを構成する。チャレンジ応答装置100,101のそれぞれが、計算環境における異なる資産と関連付けられ得る。チャレンジ装置94は、第1のチャレンジ96をチャレンジ応答装置100に入力する。これに応答して、チャレンジ応答装置100は応答CR1をハッシュ関数521に入力し、ハッシュ関数521はハッシュ値h1を生成する。チャレンジ装置94はまた、第2のチャレンジ98をチャレンジ応答装置101に入力し、チャレンジ応答装置101は応答CR2をハッシュ関数522に入力する。ハッシュ関数522はハッシュ値h2を生成する。従って、CR1,CR2は、ハッシュ関数によって資産パラメータとして扱われる。この例では、h1,h2以外のハッシュ値は、資産パラメータpnを出力するステップ50n等にて対応の資産パラメータを読み出してそれぞれのハッシュ関数に入力することによって入手される。ハッシュ値h1,h2,...hnは、変換関数Tに入力される。変換関数Tへのもう1つの入力は、誤りに対して保護された符号ワードcc=c1,c2,...cnと定義するである。シンボルc1,c2,...cnは、識別子生成部58によって生成され得る識別子x1,x2,...xkの関数として符号ワード生成モジュール56によって生成される符号ワードシンボルである。変換関数T=Tci,hiは、符号ワードシンボルci及びハッシュ値hiの関数として変換パラメータtiを生成する。変換パラメータt1,t2,...tnは、誤り訂正フィンガープリント61に含まれる。当業者であれば理解できるように、チャレンジ応答装置からの応答を処理することによって任意の数のハッシュ値を入手することができる。例えば、チャレンジ応答装置からの応答を処理することによって全てのハッシュ値を入手しても良いし、又は、図8の例のように、チャレンジ応答装置からの応答を処理することによってハッシュ値の全数のうち一部のみを入手しても良い。誤り訂正フィンガープリント61は、変換パラメータt1,t2,...tnを含むのに加えて、応答の入手に用いられるものと同じチャレンジを含んでも良い。即ち、図8の例において、チャレンジ96,98は、誤り訂正フィンガープリント61の一部となり、この誤り訂正フィンガープリント61は、計算環境の識別の際にこれらのチャレンジを出力することが可能である。チャレンジ96,98を誤り訂正フィンガープリント61に入力することは102で示される。図9は、識別子の入手に用いられ得る符号シンボルの生成に用いられる誤り訂正フィンガープリント104を示す。誤り訂正フィンガープリント104は、チャレンジ応答装置機能106に動作的に接続される。この例のチャレンジ応答装置機能106は、計算環境の資産nに関連付けられる。誤り訂正フィンガープリント104は、m個の変換パラメータt及びm個のチャレンジiを含む。図9においては、チャレンジ応答装置106は誤り訂正フィンガープリント104からチャレンジi2を受け取り、チャレンジi2に応答して、応答CRn,2をハッシュ関数150に入力し、ハッシュ関数150はハッシュ値hn,2をルックアップ関数152に出力する。ルックアップ関数はまた、誤り訂正フィンガープリント104から変換パラメータtn,2を入力値として受け取り、符号シンボルc’n,2を誤り訂正モジュール図示せずに出力する。この例では、チャレンジ応答装置106は、誤り訂正フィンガープリント104によって入力された各々のチャレンジに対して応答を出力するものである。チャレンジ応答装置106は、m個の応答CRn,1,CRn,2,...CRn,mをハッシュ関数150に入力する。各々の応答がハッシュ値hn,1,hn,2,...hn,mに変換される。ハッシュ値及び変換パラメータ誤り訂正フィンガープリント104に含まれるtn,1,tn,2,...tn,mはルックアップ関数Lに入力され、ルックアップ関数Lは符号シンボルc’n,1,c’n,2,...c’n,mを出力する。これら符号シンボルは誤り訂正モジュール図示せずに入力される。計算環境がチャレンジ応答装置からの応答の入手及び資産パラメータの読み出しを利用する場合、誤り訂正フィンガープリントは、関連付けられたチャレンジがない変換パラメータも含むことになる。本開示のもう1つの応用例では、識別子識別メッセージを、暗号化演算で用いられ得る鍵として用いる。鍵の回復においては、十分な数の正しい資産パラメータ値を有する計算プラットフォームにおいて、意図した鍵に復号化する正しい誤り訂正フィンガープリントが必要である。以上の説明においては、各実施例の完全な理解をもたらすために、説明上数多くの詳細を記載している。しかしながら、当業者であれば、これらの具体的な詳細は必須ではないことは明らかである。また、周知の電気構造又は電気回路は、理解の妨げとならないようにブロック図の形式で示してある。例えば、この明細書に記載の各実施例がソフトウェアルーチン、ハードウェア回路、ファームウェア又はこれらの組み合わせで実現されるか否かについて具体的な詳細は記載していない。本開示の各実施例は、機械可読媒体コンピュータ可読媒体、プロセッサ可読媒体、又は、コンピュータ可読プログラムコードを埋め込んだコンピュータ利用可能媒体とも称するに記憶されたコンピュータプログラム製品として表現され得る。機械可読媒体は、任意の好適な有形、非遷移型の媒体とすることができ、磁気的、光学的又は電気的記憶媒体を含み、電気的記憶媒体はフロッピーディスク、コンパクトディスク読み取り専用メモリCD-ROM、メモリデバイス揮発性又は不揮発性、又は類似の記憶機構を含む。機械可読媒体は、様々な組の命令、コードシーケンス、構成情報又はその他のデータであって、これらを実行すればプロセッサが本願の実施例に従う方法の各ステップを実行するものを含み得る。当業者であれば、記載の各実現例の実現に必要な他の命令及び動作を当該機械可読媒体に記憶しても良いことが理解できる。機械可読媒体に記憶された命令は、プロセッサ又は他の好適な処理装置によって実行することができ、回路とのインターフェースとして機能して記載の各タスクを実行することができる。上述の各実施例は、単に例示を意図したものである。当業者であれば、範囲から逸脱することなく、これら特定の実施例に対して改変、変更及び変形を加えることができる。上記範囲は、添付の請求項によってのみ画定される。"