"複数のステップEiから構成されたプロセスを検証するためのトレーサビリティデバイス6によって実施されるトレース方法であって、前記プロセスの少なくとも1つのステップEiにおける、マーキングデバイス7iによって送信されたマーキングメッセージM2を受信するステップS3と、ハッシュ関数Hを用いることによって、前記マーキングメッセージM2および以前の指紋Fingerprintn1に基づいて新たな指紋Fingerprintnを決定するステップS5と、直前に決定された新たな指紋Fingerprintnを含む検証メッセージM3を検証デバイス4へと送信するステップと、を備え、前記プロセスの前記少なくとも1つのステップEiにおいて、非対称署名関数Sと前記トレーサビリティデバイス6の公開鍵Public_Objectに関連付けられた前記トレーサビリティデバイス6の秘密鍵Private_Objectとを用いることによって、前記マーキングメッセージM2に基づいてオブジェクト署名Signature_Onを決定するステップS4を備え、新たな指紋Fingerprintnを決定する前記ステップが、前記オブジェクト署名Signature_Onに基づいて前記新たな指紋Fingerprintnを決定することを含んでいることを特徴とする、トレース方法。前記マーキングメッセージM2は、ステップ公開鍵Public_Eiと認証エンティティ3によって実施された前記ステップ公開鍵の署名SignatureA,Public_Eiとを備え、当該方法は、前記ステップ公開鍵と前記ステップ公開鍵の前記署名とを格納するステップS3を含み、前記検証メッセージM3は、格納された前記ステップ公開鍵と前記ステップ公開鍵の前記署名とを含む、請求項1に記載のトレース方法。前記プロセスの少なくとも1つのステップEiにおいて、トレース方法が、直前に決定された新たな指紋の少なくとも1つの部分Tn1を含む情報メッセージM1を前記マーキングデバイス7iへと送信するステップS1を備え、前記マーキングデバイスが、非対称署名関数Sと前記マーキングデバイスの公開鍵Public_Eiに関連付けられた前記マーキングデバイスの秘密鍵Private_Eiとを用いることによって、前記部分に基づいてステップ署名Signature_Enを決定することに適しており、前記ステップ署名Signature_Enに基づいて前記オブジェクト署名Signature_Onが決定される、請求項1または2に記載のトレース方法。前記トレーサビリティデバイスの前記秘密鍵Private_Objectとは無関係に、最初の指紋Fingerprint0を決定することを含む初期化ステップを有する、請求項1~3の何れか1項に記載のトレース方法。複数のステップEiから構成されたプロセスを検証するための検証デバイス4によって実施される検証方法であって、トレーサビリティデバイス6によって決定された指紋Fingerprintnを含み、前記トレーサビリティデバイス6によって送信された検証メッセージM3を受信するステップS10と、理論的指紋Fingerprintnthを決定するステップS12,S16,S17,S18と、前記トレーサビリティデバイスによって決定された前記指紋Fingerprintnと、前記理論的指紋Fingerprintnthとを比較するステップS19と、を備え、前記検証メッセージM3は、前記プロセスの少なくとも1つのステップEiについてのオブジェクト署名Signature_Omを備え、当該検証方法は、前記トレーサビリティデバイス6の公開鍵Public_Objectに基づいて前記オブジェクト署名Signature_Omの真正性を検証するステップS15を含み、理論的指紋を決定する前記ステップは、前記オブジェクト署名が真正である場合には、以前の理論的指紋Fingerprintm1thおよび前記オブジェクト署名Signature_Omに基づいて新たな現在の理論的指紋Fingerprintmthを決定することを含むことを特徴とする、検証方法。前記検証メッセージM3は、マーキングデバイス7iに関連付けられたステップ公開鍵Public_Eiおよびステップ公開鍵の署名SignatureA,Public_Eiを含み、当該検証方法は、前記ステップ公開鍵Public_Eiの真正性を検証するステップS13を含む、請求項5に記載の検証方法。前記検証メッセージM3は、前記プロセスの少なくとも1つのステップEiについてのステップ署名Signature_Emを含み、当該検証方法は、前記ステップ公開鍵Public_Eiに少なくとも基づいて前記ステップ署名Signature_Emの真正性を検証するステップS14を含み、前記ステップ署名Signature_Emに基づいて、前記オブジェクト署名Signature_Omの真正性を検証するステップが実施される、請求項6に記載の検証方法。前記検証メッセージM3は、前記プロセスの少なくとも1つのステップEiについてのステップデータDATAnを含み、前記ステップデータに基づいて、前記ステップ署名の真正性を検証する前記ステップS14が実施される、請求項7に記載の検証方法。前記検証メッセージは、前記トレーサビリティデバイスの前記公開鍵Public_Objectと認証機関3によって提供された前記トレーサビリティデバイスの前記公開鍵の署名SignatureA,Public_Objectとを含み、当該検証方法は、前記トレーサビリティデバイスの前記公開鍵の真正性を検証するステップS11を含む、請求項5~8の何れか1項に記載の検証方法。前記トレーサビリティデバイスの秘密鍵とは無関係に、最初の指紋Fingerprint0を決定することを含む初期化ステップを有する、請求項5~9の何れか1項に記載の検証方法。複数のステップにより構成されたプロセスにおける一ステップEiに関連付けられたマーキングデバイス7iによって実施されるマーキング方法であって、当該マーキング方法は、マーキングメッセージM2をトレーサビリティデバイス6へと送信するステップS3を含み、当該方法は、非対称署名関数Sと前記マーキングデバイスの公開鍵Public_Eiに関連付けられた前記マーキングデバイスの秘密鍵Private_Eiとを用いることによってステップ署名Signature_Enを決定するステップS2を含み、前記マーキングメッセージM2は、前記ステップ署名Signature_Enを含むことを特徴とするマーキング方法。前記マーキングメッセージは、ステップデータDATAnを含み、前記ステップ署名Signature_Enは、少なくとも前記ステップデータに基づいて決定される、請求項11に記載のマーキング方法。コンピュータによって実行されるときに、請求項1~4の何れか1項に記載のトレース方法のステップ、請求項5~10の何れか1項に記載の検証方法のステップ、または請求項11もしくは12に記載のマーキング方法のステップを実行するための命令を含む、コンピュータプログラム。請求項13に記載のコンピュータプログラムが格納された、コンピュータによる読み取りが可能な格納媒体。複数のステップから構成されたプロセスを検証するためのトレーサビリティデバイス6であって、前記プロセスの少なくとも1つのステップにおいて、マーキングデバイスによって送信されたマーキングメッセージを受信する手段61と、前記プロセスの少なくとも1つのステップにおいて、ハッシュ関数Hを用いることによって、前記マーキングメッセージおよび以前の指紋に基づいて新たな指紋を決定する手段62と、検証デバイスへと、直前に決定された新たな指紋を含む検証メッセージを送信する手段61と、を備え、当該トレーサビリティデバイスは、非対称署名関数と当該トレーサビリティデバイスの公開鍵に関連付けられた当該トレーサビリティデバイスの秘密鍵とを用いることによって、前記プロセスの少なくとも1つのステップにおいて前記マーキングメッセージに基づいてオブジェクト署名を決定する手段63を備え、新たな指紋を決定する前記手段は、前記オブジェクト署名に基づいて前記新たな指紋を決定するように構成されていることを特徴とする、トレーサビリティデバイス。複数のステップから構成されたプロセスを検証するための検証デバイス4であって、トレーサビリティデバイスによって決定された指紋を含み、前記トレーサビリティデバイスによって送信された検証メッセージを受信する手段41と、理論的指紋を決定する手段42と、前記トレーサビリティデバイスによって決定された前記指紋と、前記理論的指紋とを比較する手段46と、を備え、前記検証メッセージは、前記プロセスの少なくとも1つのステップについてのオブジェクト署名を含み、当該検証デバイスは、前記トレーサビリティデバイスの公開鍵に基づいて前記オブジェクト署名の真正性を検証する手段を含み、理論的指紋を決定する前記手段は、前記オブジェクト署名が真正である場合には、以前の理論的指紋および前記オブジェクト署名に基づいて新たな現在の理論的指紋を決定するように構成されていることを特徴とする、検証デバイス。複数のステップにより構成されたプロセスにおける一ステップに関連付けられたマーキングデバイス7であって、当該マーキングデバイスは、マーキングメッセージをトレーサビリティデバイス6へと送信する手段71を含み、当該マーキングデバイスは、非対称署名関数と当該マーキングデバイスの公開鍵に関連付けられた当該マーキングデバイスの秘密鍵とを用いることによってステップ署名を決定する手段73を含み、前記マーキングメッセージは、前記ステップ署名を含むことを特徴とするマーキングデバイス。本発明は、上述の問題点を緩和しようというものである。この目的のため、本発明は、複数のステップから構成されたプロセスを検証するためのトレーサビリティデバイスによって実施されるトレース方法であって、プロセスの少なくとも1つのステップにおける、マーキングデバイスによって送信されたマーキングメッセージを受信するステップと、ハッシュ関数を用いることによって、マーキングメッセージおよび以前の指紋に基づいて新たな指紋を決定するステップと、直前に決定された新たな指紋を含む検証メッセージを検証デバイスへと送信するステップと、を備えるトレース方法に関連している。プロセスの上記少なくとも1つのステップにおいて、非対称署名関数とトレーサビリティデバイスの公開鍵に関連付けられたトレーサビリティデバイスの秘密鍵とを用いることによって、マーキングメッセージに基づいてオブジェクト署名を決定するステップを含み、新たな指紋を決定するステップが、オブジェクト署名に基づいて新たな指紋を決定することを含んでいる点で、このトレース方法は注目に値する。同様に、本発明は、複数のステップから構成されたプロセスを検証するためのトレーサビリティデバイスであって、プロセスの少なくとも1つのステップにおいて、マーキングデバイスによって送信されたマーキングメッセージを受信する手段と、プロセスの少なくとも1つのステップにおいて、ハッシュ関数を用いることによって、マーキングメッセージおよび以前の指紋に基づいて新たな指紋を決定する手段と、検証デバイスへと、直前に決定された新たな指紋を含む検証メッセージを送信する手段と、を備えるトレーサビリティデバイスを提供する。トレーサビリティデバイスは、非対称署名関数とトレーサビリティデバイスの公開鍵に関連付けられたトレーサビリティデバイスの秘密鍵とを用いることによって、プロセスの少なくとも1つのステップにおいてマーキングメッセージに基づいてオブジェクト署名を決定する手段を備え、新たな指紋を決定する手段は、上記オブジェクト署名に基づいて新たな指紋を決定するように構成されており、これらの点で、このトレーサビリティデバイスは注目に値する。同様に、本発明は、複数のステップから構成されたプロセスを検証するための検証デバイスによって実施される検証方法であって、トレーサビリティデバイスによって決定された指紋を含み、トレーサビリティデバイスによって送信された検証メッセージを受信するステップと、理論的指紋を決定するステップと、トレーサビリティデバイスによって決定された指紋と、理論的指紋とを比較するステップと、を備える検証方法を提供する。検証メッセージは、プロセスの少なくとも1つのステップについてのオブジェクト署名を備え、検証方法は、トレーサビリティデバイスの公開鍵に基づいてオブジェクト署名の真正性を検証するステップを含み、理論的指紋を決定するステップは、オブジェクト署名が真正である場合には、以前の理論的指紋および上記オブジェクト署名に基づいて新たな現在の理論的指紋を決定することを含み、これらの点で、この検証方法は注目に値する。同様に、本発明は、複数のステップから構成されたプロセスを検証するための検証デバイスであって、トレーサビリティデバイスによって決定された指紋を含み、トレーサビリティデバイスによって送信された検証メッセージを受信する手段と、理論的指紋を決定する手段と、トレーサビリティデバイスによって決定された指紋と、理論的指紋とを比較する手段と、を備える検証デバイスを提供する。検証メッセージは、プロセスの少なくとも1つのステップについてのオブジェクト署名を含み、検証デバイスは、トレーサビリティデバイスの公開鍵に基づいてオブジェクト署名の真正性を検証する手段を含み、理論的指紋を決定する手段は、上記オブジェクト署名が真正である場合には、以前の理論的指紋および上記オブジェクト署名に基づいて新たな現在の理論的指紋を決定するように構成されており、これらの点で、この検証デバイスは注目に値する。一連の指紋を計算するトレーサビリティデバイスと、理論的指紋を計算する検証デバイスとによって、本発明は、トレーサビリティデバイスを運ぶまたは組み込んでいるオブジェクトが経たプロセスステップのチェーンのインテグリティlintegritedelenchainementdesetapesduprocessusを、トレーサビリティデバイスの最後の指紋が理論的指紋に一致する場合に保証する暗号チェーン化chainagecryptographiqueを実装することを可能にする。トレーサビリティデバイスは、プロセスの複数ステップが適切にチェーンされたことをローカルで検証するために、非対称鍵メカニズムを用いてオブジェクト署名を認証できる任意の検証デバイスによって必要とされる情報の全てを格納する。検証デバイスには、トレーサビリティデバイスの秘密鍵を知る必要がない。非対称鍵メカニズムを利用することにより、本発明は、対称な秘密鍵の配布に関する困難の回避を果たす。本発明はまた、複数のステップにより構成されたプロセスにおける一ステップに関連付けられたマーキングデバイスによって実施されるマーキング方法であって、当該マーキング方法は、マーキングメッセージをトレーサビリティデバイスへと送信するステップを含み、当該方法は、非対称署名関数とマーキングデバイスの公開鍵に関連付けられたマーキングデバイスの秘密鍵とを用いることによってステップ署名を決定するステップを含み、マーキングメッセージは、ステップ署名を含むことを特徴とするマーキング方法を提供する。同様に、本発明は、複数のステップにより構成されたプロセスにおける一ステップに関連付けられたマーキングデバイスであって、当該マーキングデバイスは、マーキングメッセージをトレーサビリティデバイスへと送信する手段を含み、当該デバイスは、非対称署名関数とマーキングデバイスの公開鍵に関連付けられたマーキングデバイスの秘密鍵とを用いることによってステップ署名を決定する手段を含み、マーキングメッセージは、ステップ署名を含むことを特徴とするマーキングデバイスを提供する。同様に、検証方法の一実装例では、検証メッセージは、マーキングデバイスに関連付けられたステップ公開鍵およびステップ公開鍵の署名を含み、検証方法は、上記ステップ公開鍵の真正性を検証するステップを含む。同様に、トレース方法の一実装例では、マーキングメッセージは、ステップ公開鍵と認証エンティティによって実施された上記ステップ公開鍵の署名とを備え、当該方法は、上記ステップ公開鍵と上記ステップ公開鍵の上記署名とを格納するステップを含み、検証メッセージは、格納された上記ステップ公開鍵と上記公開鍵の上記署名とを含む。このような場合には、検証方法の一実装例では、検証メッセージは、プロセスの少なくとも1つのステップについてのステップ署名を含み、検証方法は、上記ステップ公開鍵に少なくとも基づいて上記ステップ署名の真正性を検証するステップを含み、上記ステップ署名に基づいて、上記オブジェクト署名の真正性を検証するステップが実施される。マーキングデバイスの身元が認証されてもよい。さらに、ステップ署名の真正性を検証することは、トレーサビリティデバイスがマーキングデバイスと有効に対話し、オブジェクトが対応するプロセスステップを経たことを確認することを可能にする。トレーサビリティデバイスは、これらの検証を実施するのに必要な情報の全てを格納する。マーキング方法の一実装例では、マーキングメッセージは、ステップデータを含み、上記ステップ署名は、少なくともステップデータに基づいて決定される。同様に、検証方法の一実装例では、検証メッセージは、プロセスの少なくとも1つのステップについてのステップデータを含み、上記ステップデータに基づいて、上記ステップ署名の真正性を検証するステップが実施される。このようにして、プロセスの一ステップにおいて、トレーサビリティデバイスに伝送されたデータの真正性を検証できる。プロセスの少なくとも1つのステップにおいて、トレース方法が、直前に決定された新たな指紋の少なくとも1つの部分を含む情報メッセージをマーキングデバイスへと送信するステップを備え、マーキングデバイスが、非対称署名関数とマーキングデバイスの公開鍵に関連付けられたマーキングデバイスの秘密鍵とを用いることによって、上記部分に基づいてステップ署名を決定することに適しており、上記ステップ署名に基づいて上記オブジェクト署名が決定されることとしてもよい。このような場合には、検証方法におけるステップ署名の真正性を検証するステップは、現在における直前の新たな理論的指紋の少なくとも1つの部分に基づいて実施できる。このことは、上述の暗号チェーン化を強化できる。トレース方法は、トレーサビリティデバイスの秘密鍵とは無関係に、最初の指紋を決定することを含む初期化ステップを有していてもよい。同様に、検証方法は、トレーサビリティデバイスの秘密鍵とは無関係に、最初の指紋を決定することを含む初期化ステップを有していてもよい。例えば、最初の指紋は、初期化メッセージで受信したものであってもよく、初期化メッセージで受信した他のデータに基づいて決定されたものであってもよい。初期化メッセージの伝送は、対称な秘密鍵の配布に関する制約を伴わない。検証方法の一実装例では、検証メッセージは、トレーサビリティデバイスの公開鍵と認証機関によって提供されたトレーサビリティデバイスの公開鍵の署名とを含み、検証方法は、トレーサビリティデバイスの公開鍵の真正性を検証するステップを含む。このことは、トレーサビリティデバイスの身元を検証することを可能とする。具体的な一実装例では、トレース方法、マーキング方法、および/または検証方法の種々のステップが、コンピュータプログラムの命令によって決定される。結果として、本発明はまた、コンピュータまたはその等価物で実施されることに適しており、上述のトレース方法、マーキング方法、および/または検証方法のステップを実施することに適した命令を含む、データ媒体上のコンピュータプログラムを提供する。プログラムは、何れのプログラム言語を用いたものであってもよく、ソースコードの形式、オブジェクトコードの形式、または部分的にコンパイルされた形式等のソースコードとオブジェクトコードとの中間コードの形式の何れのものであってもよく、他の望ましい形式のものであってもよい。本発明はまた、上述のコンピュータプログラムの命令を含む、コンピュータによる読み取りが可能なデータ媒体を提供する。データ媒体は、プログラムを格納可能な何れのエンティティまたはデバイスであってもよい。例えば、媒体は、コンパクトディスクCDROMまたは超小型電子回路ROM等の読み出し専用メモリROM、または、フロッピーディスクまたはハードディスク等の磁気記録手段のような格納手段を備えていてもよい。さらに、データ媒体は、電気ケーブルを介して、光ケーブルを介して、無線により、または他の手段により伝達される、電気信号または光信号等の伝送媒体であってもよい。本発明のプログラムは、具体的には、インターネットタイプのネットワークからダウンロードされてもよい。あるいは、データ媒体は、プログラムが組み込まれ、当該方法を実行したり当該方法の実行に用いられたりすることに適した、集積回路例えば、エーシックASICであってもよい。本発明の特徴および利点は、添付の図面を参照しながら以下の明細書から明らかとなり、これらは本発明の非限定的実施形態を示す。図1に、本発明が実施され得るシステム1を示す。システム1は、オブジェクト2、複数のステップE1,E2,...Ej、機関Aと称される認証機関3、および検証デバイス4を備えている。オブジェクト2は、トレーサビリティデバイス6を運ぶ、または組み込んでいる。図1において矢印5で示されているように、オブジェクト2は、ステップE1,E2,...Ej内における一連のステップから構成されたプロセスをたどる。プロセスの各ステップEiにおいて、トレーサビリティデバイス6は、マーキングデバイス7iと称されるステップEi固有のマーキングデバイス7と対話する。この対話の間に、指紋が計算され、トレーサビリティデバイス6に格納される。プロセスの間に、またはプロセスの終わりにおいて、オブジェクト2がたどるプロセスを格納された指紋に基づいて有効または無効とする目的で、検証デバイス4はトレーサビリティデバイス6と対話できる。図1では、単一のオブジェクト2を示す。当然ながら、ステップE1,E2,...Ej内における一連のステップから各々構成された各プロセスを複数のオブジェクトがたどる場合には、システム1は、自身のトレーサビリティデバイス6に各々関連付けられた複数のオブジェクト2を有し得る。続いて、トレーサビリティデバイス6の構成およびトレーサビリティデバイス6の初期化と、マーキングデバイス7の構成およびマーキングデバイス7の初期化と、トレーサビリティデバイス6およびマーキングデバイス7の間の対話と、検証デバイス4の構成および検証デバイス4の初期化と、トレーサビリティデバイス6および検証デバイス4の間の対話について記載する。図2に、トレーサビリティデバイス6をより詳細に示す。トレーサビリティデバイス6は、通信ユニット61と、ハッシュ関数Hを計算するための計算モジュール62と、署名関数Sを計算するための計算モジュール63と、不揮発性メモリ64とを備えている。トレーサビリティデバイス6は、コンピュータのハードウェアアーキテクチャを有していてもよく、マイクロプロセッサ66および揮発性メモリ67を備えていてもよい。その場合には、トレーサビリティデバイス6の全体的な処理は、不揮発性メモリ64に格納されたコンピュータプログラムによって決定され、揮発性メモリ67を用いながらマイクロプロセッサ66によって実行される。通信ユニット61は、トレーサビリティデバイス6が通信すること、具体的にはマーキングデバイス7と通信することおよび検証デバイス4と通信すること、を可能にする。例えば、通信は、短距離無線周波数の無線通信によるものであってもよい。このような場合には、トレーサビリティデバイス6は、RFIDチップの形態であってもよい。計算モジュール62は、暗号学的ハッシュ関数Hを実装している。例えば、この関数Hは、以下の呼称:SHA-1セキュアハッシュアルゴリズム1、SHA-2セキュアハッシュアルゴリズム2、またはMD5メッセージダイジェスト5で知られている暗号学的ハッシュ関数のうちの1つである。計算モジュール63は、公開鍵および秘密鍵を備え、秘密鍵を用いて任意長のデータについて固定長のデジタル署名を生成する鍵ペアを有する、DSA、ECDSA、...タイプの処理の非対称デジタル署名アルゴリズムである署名関数Sを実装している。秘密鍵に関連付けられた公開鍵を所持する何れの者でも、署名が確かに秘密鍵を所持するエンティティによって生成されたものであることを検証できるが、秘密鍵を用いて生成される署名を計算することはできない。以下では、下記の表記が用いられる。Fingerprintn=HFingerprintn1,Dataは、ハッシュ関数Hによって、以前の指紋およびデータDataに基づいて計算される指紋である。Signature=SignatureIdentity,Dataは、データDataに署名する目的で、Identityエンティティが自身の秘密鍵を用いて計算する署名である。計算モジュール62および63は、不揮発性メモリ64に格納され、マイクロプロセッサ66によって実行され得るコンピュータプログラムに対応し得る。変形例では、計算モジュール62および63は、ハッシュ関数H用および署名関数S用に特別に設計または構成された電子回路に対応する。不揮発性メモリ64には、データ、具体的には通信ユニット61によって得られたデータと計算モジュール62および63によって計算されたデータ、が格納され得る。トレーサビリティデバイス6を初期化している間に、すなわちステップEiから構成されたプロセスが開始する前に、下記のデータが不揮発性メモリ64に格納される。Public_Object、オブジェクト2に関連付けられたトレーサビリティデバイス6の公開鍵、Private_Object、オブジェクト2に関連付けられたトレーサビリティデバイス6の秘密鍵、SignatureA,Public_Object、鍵Public_Objectの認証エンティティ3による署名、および、Fingerprint0、トレーサビリティデバイス6に格納された指紋の初期値。Fingerprint0は、知られた所定の値である。値Fingerprint0は、システム1のオブジェクト2の全てで同一であってもよい。指紋Fingerprint0は、例えば、初期化メッセージで受信したものであってもよく、初期化メッセージで受信した他のデータに基づいて決定されたものであってもよい。鍵Public_ObjectおよびPrivate_Objectは、非対称鍵暗号メカニズムにおける使用に適した非対称の鍵ペアをなす。指紋Fingerprint0は、C0およびT0と記載される、所定長の2つの部分から構成されている:Fingerprint0=C0||T0であり、Fingerprint0、C0およびT0はビット形式のデータであり、||は連結演算を表す。図3に、マーキングデバイス7をより詳細に示す。以下では、添え字iは、ステップEiのマーキングデバイス7i固有の要素であることを示すために用いられる。マーキングデバイス7は、通信ユニット71と、署名関数Sを計算するための計算モジュール73と、不揮発性メモリ74と、データ決定モジュール75とを備えている。マーキングデバイス7は、コンピュータのハードウェアアーキテクチャを有していてもよく、マイクロプロセッサ76および揮発性メモリ77を備えていてもよい。そのような場合には、マーキングデバイス7の全体的な処理は、不揮発性メモリ74に格納されたコンピュータプログラムによって決定され、揮発性メモリ77を利用しつつマイクロプロセッサ76によって実行される。通信ユニット71は、マーキングデバイス7が、トレーサビリティデバイス6と通信することを可能にする。上述のように、トレーサビリティデバイス6は、RFIDチップであることがある。このような場合には、通信ユニット71は、RFIDリーダを備えている。計算モジュール73は、上述の署名関数Sを実装している。データ決定モジュール75は、ステップEiに関連するデータDATAを決定する役割を担う。データDATAは、例えば所定のデータ、またはステップEiの実行に応じたデータであってもよく、例えばパラメータの値を与えるデータであってもよい。計算モジュール73およびデータ決定モジュール75は、不揮発性メモリ74に格納され、マイクロプロセッサ76によって実行され得るコンピュータプログラムに対応し得る。変形例では、計算モジュール73および/またはデータ決定モジュール75は、特別に設計または構成された電子回路に対応し得る。不揮発性メモリ74は、データを格納する役割を担う。不揮発性メモリ74は、ローカルまたはリモートでアクセス可能とされ得る。マーキングデバイス7iの初期化の間に、下記のデータが不揮発性メモリ74に格納される。Public_Ei、ステップEiに関連付けられたマーキングデバイス7iの公開鍵、Private_Ei、ステップEiに関連付けられたマーキングデバイス7iの秘密鍵、および、SignatureA,Public_Ei、鍵Public_Eiの認証エンティティ3による署名。鍵Public_EiおよびPrivate_Eiは、非対称鍵暗号メカニズムにおける使用に適した非対称の鍵ペアをなす。トレーサビリティデバイス6およびマーキングデバイス7の初期化の間に使用される、非対称鍵を管理する、配布する、検証するおよび失効させるための公開鍵暗号基盤PKIのメカニズムは、当該分野の当業者に知られた多くの文献の主題であるため、本明細書では記載を省略する。上述のように、プロセスの各ステップEiにおいて、トレーサビリティデバイス6は、対応するマーキングデバイス7iと対話する。図4に、この対話をより詳細に示す。添え字nは、ステップEiが、オブジェクト2が経るn番目のステップであることを意味するものとして使用される。最初は、トレーサビリティデバイスに格納されている指紋は、指紋Fingerprintn1である。ステップEiにおいて、例えば、ステップEiがオブジェクト2をマーキングデバイス7iの近くに配置することを伴うことで、トレーサビリティデバイス6がマーキングデバイス7iを検出し、これにより通信ユニット61および71が相互に検出することが可能となる。トレーサビリティデバイス6は、マーキングデバイス7iを検出したときに、自身の指紋Fingerprintn1から部分Tn1を抽出し、部分Tn1を情報メッセージM1でマーキングデバイス7iに伝送するステップS1。Tn1を受信すると、マーキングデバイス7iは、データTn1||DATAn、DATAnはデータ決定モジュール75によって決定されたデータを表す、に署名する。換言すると、ステップS2において、マーキングデバイス7iは、計算モジュール73および自身の秘密鍵Private_Eiを用いることによって、ステップ署名Signature_En:Signature_En=SignatureEi,Tn1||DATAnを決定する。その後、ステップS3において、マーキングデバイス7iは、トレーサビリティデバイス6に、データDATAnと、自身の公開鍵Public_Eiと、自身の公開鍵の署名SignatureA,Public_Eiと、ステップ署名Signature_Enとを含むマーキングメッセージM2を伝送する。マーキングメッセージM2を受信すると、トレーサビリティデバイス6は、自身の不揮発性メモリ64内に、DATAn、Public_Ei、SignatureA,Public_EiおよびSignature_Enを格納する記録nを作成する。その後、トレーサビリティデバイス6は、ステップ署名Signature_Enに署名するステップS4。換言すると、トレーサビリティデバイス6は、計算モジュール63および自身の秘密鍵Private_Objectを用いて、オブジェクト署名Signature_On:Signature_On=SignatureObject,Signature_Enを決定する。オブジェクト署名Signature_Onも、記録nに格納される。最後に、計算モジュール62を用いることにより、トレーサビリティデバイス6は、以前の指紋Fingerprintn1およびオブジェクト署名Signature_Onに基づいて新たな指紋Fingerprintn:Fingerprintn=HFingerprintn1,Signature_Onを決定する。トレーサビリティデバイス6およびマーキングデバイス7iの間の対話の終わりには、トレーサビリティデバイス6の不揮発性メモリ64は、下記を含んでいる。鍵Public_ObjectおよびPrivate_Object、署名SignatureA,Public_Object、指紋Fingerprintn、ならびに、オブジェクト2が経たn個のステップの各々についての記録mであって、mは1からnの範囲にあり、DATAm、Public_Ei、SignatureA,Public_Ei、Signature_Em、およびSignature_Omを含む記録m。この情報は、オブジェクト2が経た一連のステップを有効または無効とするために、検証デバイス4によって用いられる。Tn1の送信ステップS1と、DATAn、Public_Ei、SignatureA,Public_EiおよびSignature_Enの受信および格納ステップS3と、Signature_Onの決定および格納ステップS4と、Fingerprintnの決定および格納ステップS5とは、トレーサビリティデバイス6によって実施されるトレーサビリティ方法のメインステップに対応する。トレーサビリティ方法は、不揮発性メモリ64に格納されたコンピュータプログラムの命令に対応し得る。同様に、Tn1の受信ステップS1と、Signature_Enの決定ステップS2と、DATAn、Public_Ei、SignatureA,Public_EiおよびSignature_Enの送信ステップS3とは、マーキングデバイス7によって実施されるマーキング方法のメインステップに対応する。このマーキング方法は、不揮発性メモリ74に格納されたコンピュータプログラムの命令に対応し得る。図5に、検証デバイス4をより詳細に示す。検証デバイス4は、通信ユニット41と、ハッシュ関数Hを計算するための計算モジュール42と、署名関数Sを計算するための計算モジュール43と、不揮発性メモリ44とを備えている。例えば、検証デバイス4は、コンピュータのハードウェアアーキテクチャを有し、さらに、マイクロプロセッサ46および揮発性メモリ47を備えている。通信ユニット41は、検証デバイス4が、トレーサビリティデバイス6と通信することを可能にする。検証デバイス4は、認証機関3にアクセス可能であるまたはアクセス可能であったことにより、認証機関3の公開鍵Public_Aを利用して、各署名が認証機関3によって生成されたことを検証できる。さらに、検証デバイス4は、所定の値のFingerprint0を知っている。指紋Fingerprint0は、例えば、初期化メッセージで受信したものであってもよく、初期化メッセージで受信した他のデータに基づいて決定されたものであってもよい。一実施形態では、検証デバイス4はマーキングデバイス7の一部である。このような場合には、検証デバイスおよびマーキングデバイスは、図4を参照して説明したマーキング方法を実行するための命令を有するコンピュータプログラムと図6を参照して以下で説明する検証方法を実行するための命令を有するコンピュータプログラムとの両方を、自身の不揮発性メモリに含み得る。図6に、検証デバイス4によって実施される検証方法のメインステップを示す。図6のステップは、揮発性メモリ47を利用しつつ、不揮発性メモリ44に格納されたコンピュータプログラムを実行するマイクロプロセッサ46に対応し得る。検証方法は、トレーサビリティデバイス6が、自身の不揮発性メモリ64に含まれたデータを含む検証メッセージM3を検証デバイス4に伝送する当然ながら、自身の秘密鍵Private_Objectを除くときに始まる。この伝送は、通信ユニット61および41が相互に検出するイベントのときに自動的になされ得る、またはオペレータからの指令に応えてなされ得る。ステップS10において、検証デバイス4は下記のデータを受信する。鍵Public_Object、署名SignatureA,Public_Object、指紋Fingerprintn、ならびに、記録mであって、mは1からnの範囲にあり、DATAm、Public_Ei、SignatureA,Public_Ei、Signature_Em、およびSignature_Omを含む記録m。その後、ステップS11において、検証デバイス4は、SignatureA,Public_Objectを利用して、Public_Objectの真正性を検証する。上述のように、検証デバイス4は、公開鍵Public_AおよびPublic_Objectを利用して、SignatureA,Public_Objectが確かに認証機関3によって署名されたものであることを検証できる。Public_Objectが真正であることが分かった場合には、検証デバイス4は、下記のステップS13からS16が繰り返し実施され得るように、カウンタmを1に初期化するステップS12。ステップS13において、検証デバイス4は、SignatureA,Public_Eiを利用して、Public_Eiの真正性を検証する。ステップS11同様、検証デバイス4は、公開鍵Public_AおよびPublic_Eiを用いて、SignatureA,Public_Eiが確かに認証機関3によって署名されたものであることを検証できる。同様に、ステップS14において、検証デバイス4は、Tm1下記の理論的指紋Fingerprintm1thからの、所定長の抽出物、DATAmおよびPublic_Eiを利用して、Signature_Emの真正性を検証する。より正確には、検証デバイス4は、Public_Ei、Tm1、DATAmを用いて、Signature_Emが確かにマーキングデバイス7iによって署名されたものであるかを検証する。その後、ステップS15において、検証デバイス4は、Signature_EmおよびPublic_Objectを利用して、Signature_Omの真正性を検証する。つまり、検証デバイス4は、Signature_EmおよびPublic_Objectを用いて、Signature_Omが確かにトレーサビリティデバイス6によって署名されたものであるかを検証する。最後に、ステップS16において、検証デバイス4は、理論的指紋Fingerprintmth:Fingerprintmth=HFingerprintm1th,Signature_Omを決定する。ステップS11およびS13からS15のテストの何れか1つに失敗する場合には、このことは、そのデータは、真正ではなく、改ざんされていることを意味する。カウンタmの値は、データが改ざんされたステップを指す。検証方法は、データの無効メッセージの発行により終了するS21。このメッセージは、mの値を表示するものであってもよい。そうではなく、上述のテストが成功した場合には、検証デバイス4は、ステップS17において、カウンタmとnとを比較する。mがnと等しくない場合には、そのことは、オブジェクト2が経た全てのステップについてのステップS13からS16が実施されたわけではないことを意味する。このような場合には、カウンタmが1つ増えステップS18、ステップS13からステップS16が繰り返される。そうではなく、mがnと等しい場合には、そのことは、オブジェクト2が経た全てのステップについてのステップS13からS16が実施されたことを意味する。換言すると、検証デバイス4は、一連の指紋の計算を理論的に再現し終わっている。ステップS19において、検証デバイス4は、mがnと等しいときに、ステップS16で決定された最後の理論的指紋Fingerprintnthと、ステップS10で受信した指紋Fingerprintnとを比較する。それらが一致する場合には、そのことは、オブジェクト2が確かに指定されたプロセスを経ており、データが改ざんされていないことを意味する。このような場合には、検証方法は、データの有効メッセージを発行することにより、ステップS20で終了する。そうではなく、FingerprintnthがFingerprintnと一致しない場合には、そのことは、オブジェクト2が指定されたプロセスをたどっていないこと、および/またはデータが改ざんされていることを意味する。このような場合には、検証方法は、データの無効メッセージを発行することにより、終了するステップS21。一実装例では、オブジェクト2を複製するという危険性に備える目的で、検証デバイス4は、公開鍵Public_Objectに関連付けられた秘密鍵Private_Objectを所持する関係にあるオブジェクト2を認証する。例えば、検証デバイス4は、チャレンジと称されるランダムの数値に署名するようトレーサビリティデバイス6に要求し、その署名の真正性を検証する。一連の指紋Fingerprintnを計算することにより、オブジェクト2による複数ステップEjのチェーンのインテグリティlintegritedelenchainementと、各ステップEjにおいてオブジェクト2に伝送されたデータDATAnのインテグリティとを保証する暗号チェーン化を実装できる。オブジェクト2は、認証機関Aの公開鍵を所有している任意の検証デバイス4がステップEjのチェーンをローカルで検証し、これらのステップの各々を認証し、これらの各ステップにおいて送信されるデータのインテグリティを保証するために必要とする情報全てを格納する。検証デバイス4は、トレーサビリティデバイス6の秘密鍵を知らない。非対称鍵メカニズムを利用することにより、本発明は、対称な秘密鍵の配布に関する困難を排除できる。"