JP4945026B2 - 減少した計算組を伴う認証または署名プロセス - Google Patents

減少した計算組を伴う認証または署名プロセス Download PDF

Info

Publication number
JP4945026B2
JP4945026B2 JP2000596695A JP2000596695A JP4945026B2 JP 4945026 B2 JP4945026 B2 JP 4945026B2 JP 2000596695 A JP2000596695 A JP 2000596695A JP 2000596695 A JP2000596695 A JP 2000596695A JP 4945026 B2 JP4945026 B2 JP 4945026B2
Authority
JP
Japan
Prior art keywords
processor
parameter
opening
prober
modulo
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Expired - Lifetime
Application number
JP2000596695A
Other languages
English (en)
Other versions
JP2002536875A (ja
Inventor
マルク・ジロール
ジャン−クロード・パイル
Original Assignee
ファンタム・ダイアー・エヌヴェー・エルエルシー
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by ファンタム・ダイアー・エヌヴェー・エルエルシー filed Critical ファンタム・ダイアー・エヌヴェー・エルエルシー
Publication of JP2002536875A publication Critical patent/JP2002536875A/ja
Application granted granted Critical
Publication of JP4945026B2 publication Critical patent/JP4945026B2/ja
Anticipated expiration legal-status Critical
Expired - Lifetime legal-status Critical Current

Links

Classifications

    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L9/00—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols
    • H04L9/32—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials
    • H04L9/3247—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials involving digital signatures
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L9/00—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols
    • H04L9/32—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials
    • H04L9/3218—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials using proof of knowledge, e.g. Fiat-Shamir, GQ, Schnorr, ornon-interactive zero-knowledge proofs

Landscapes

  • Engineering & Computer Science (AREA)
  • Computer Security & Cryptography (AREA)
  • Computer Networks & Wireless Communication (AREA)
  • Signal Processing (AREA)
  • Storage Device Security (AREA)
  • Financial Or Insurance-Related Operations Such As Payment And Settlement (AREA)
  • Collating Specific Patterns (AREA)
  • Mobile Radio Communication Systems (AREA)

Description

【０００１】
【発明の属する技術分野】
本発明は、減少された計算の組を伴う認証または署名プロセスに関する。
【０００２】
より正確には、本発明は、公開鍵暗号分野に関する。このプロセスによると、認証されるべき実体−プロバ（prover）−は、秘密鍵と関係する公開鍵とを有する。認証する実体−ベリファイヤ−（verifier）は、認証を達成するためには、この公開鍵を必要とするだけである。
【０００３】
更により正確には、本プロセスは、「ゼロ認識プロトコル」と呼ばれる（即ち、認識の如何なる通信も有しない）プロセスの組に関する。この種のプロセスによると、認証は、プロバの秘密鍵について何も開示しないプロトコルに従って（認識されるように、かつ、完全に筋が通っているとして科学共同体によって考慮された仮定の下で）実行される。
【０００４】
更により正確であるために、本発明は、因数分解問題に基づく（即ち、大きな整数を素数の積に因数分解することの困難に基づく）ゼロ認識プロセスに関する。
【０００５】
本発明は、電話相手またはメッセージを認証する必要がある全てのシステム、または、メッセージに署名する必要がある全てのシステムに適用可能であり、詳細には、プロバによって実行されるべき計算の量がクリティカルであるシステムに適用可能である。これは、特に、標準のマイクロプロセッサを使用するカード、または、低価格のカードに対する場合である。これらのカードは（しばしば、暗号プロセッサと呼ばれる）算術コプロセッサを具備せず、該カードでは、暗号計算が加速されなくてはならない。
【０００６】
本発明の一般的なアプリケーションは、電子財布である。電子財布は、価格理由または技術的理由（例えば、接触不要なインターフェースの使用）のいずれかまたはその両方の理由によって暗号プロセッサの使用を放棄しながら、非常に高いセキュリティレベルを要求する。
【０００７】
他の可能性のあるアプリケーションは、次世代テレカード（telecard）である。次世代テレカードの価格制約は、電子財布の価格制約よりもはるかに厳しい。
【０００８】
【従来の技術および発明が解決しようとする課題】
多数のゼロ認識識別プロセスが、公表されている。例えば、
−“Advances in Cryptology: Proceedings of CRYPTO'86, Lecture Notes in Computer Science”vol. 263, Springer-Verlag, Berlin, 1987, pp. 186-194において公表された“how to prove yourself: Practical solutions to identification and signature problems”とタイトルの付けられたA. FIATとA. SHAMIRとによる記事に記載されたFIAT-SHAMIRプロトコル
−Advances in Cryptology: Proceedings of EUROCRYPT'88; Lecture notes in Computer Sciences”vol. 330, Springer-Verlag, Berlin, 1988, pp. 123-128において公表された“A Practical zero-knowledge protocol fitted to security microprocessors minimising both transmission and memory”とタイトルの付けられたL.C. GUILLOUとJ.J. QUISQUATERとによる記事に記載されたGUILLOU-QUISQUATERプロトコル
−離散対数問題に基づくフランス特許出願FR-A-2 176 058に記載されたGIRAULTプロトコル
【０００９】
一般的に言えば、大抵のゼロ認識識別（または、メッセージ認証）プロトコルは、３つのステップを含む。簡単のために、「ベリファイヤＢは、プロバＡに関する全ての公開パラメータ（即ち、プロバＡの識別子や公開鍵など）を既に知っている」ということを仮定する。
【００１０】
第１のトランザクションとして、Ａは、認証または署名されるべきメッセージだけでなく、「オープニング」と呼ばれる値“ｃ”、即ち、（Ａよってランダムに選択された数ｒからそれ自身得られた）パラメータｘの擬似ランダム関数ｈを通したイメージを、Ｂに供給する。ｃ＝ｈ（ｘ，〔Ｍ〕）であり、ここで、シンボル〔Ｍ〕は「Ｍが任意である」ということを意味する。これが、第１のステップである。いくつかのプロトコルは、いくつかのオープニングを含む。
【００１１】
第２のトランザクションの間、Ｂは、ランダムに選択されたパラメータｅ（「質問」）を、Ａへ送る。それが、第２のステップである。
【００１２】
第３のトランザクションの間、Ａは、質問ｅとオープニングｃとＡの秘密鍵とに密接した「回答」ｙを、Ｂへ送る（第３のステップ）。
【００１３】
そして、Ｂは受信した回答をチェックする。より正確には、Ｂは、式
【数３９】
Figure 0004945026
を使用して要素ｙとｅとｖとからｘを再計算し、かつ、
【数４０】
Figure 0004945026
をベリファイする。これが、第４のステップである。
【００１４】
認証すべきメッセージがないときは、擬似ランダム関数ｈの使用は任意である。この場合、ｃ＝ｘが便利である。立証は、
【数４１】
Figure 0004945026
をチェックすることを具備する。
【００１５】
いくつかのプロトコルにおいて、ベリファイヤとプロバとの間には、１または２以上のトランザクションがある。
【００１６】
メッセージ署名に対して、パラメータｅはｃに等しくされるので、最初の２つのステップは破棄される。そして、Ａは、ｃとｅ（＝ｃ）とｙとを連続的に計算するだけである。
【００１７】
回答されるべき質問の数ｕは、希望されるプロトコルセキュリティレベルに直接依存する。このレベルは、詐称者（即ち、Ａを不正に模倣する実体Ｃ）を検出することの確率ｐとして定義される。確率ｐは、パラメータｋによって測定される。パラメータｋの値は、式ｐ＝１−２-kによって、ｐに関係付けられる。言い換えると、詐称者は、２k回に１回の成功しか有しない。「もし、プロトコルが困難な数学的計算に依存するならば、かつ、もし、オープニングが十分な長さであるならば、ｕの長さは単にｋビットに等しくなくてはならない」ということが、本ケースにおいて論証されることができる。ｋの一般的な値は３２である。このことは、４０億回に１回成功することを、詐称者に与える。識別の失敗が非常に有害な結果を有するかも知れないアプリケーション（例えば、法律行為）においては、この長さは、少ないビットに減少されてもよい。
【００１８】
因数分解を使用するプロトコルに対して、ｒの項におけるｘの計算は、または、ｅの項におけるｙの計算は、または、その両方は、ｎを法とする作業を含む。ここで、ｎは、因数分解することが困難な合成数である。この数は、信頼できる第三者によって生成された普遍的なタイプの数であるべきと言われる。この数は、全ての認可された実体によって記憶されかつ使用される。ｎの因数分解を解くことは全ての信用されたユーザーの秘密鍵を処理することなので、ｎの「普遍的な」特徴は「大きな数（通常は１０２４ビット）である」ということを意味する。
【００１９】
それらの基本的なバージョンでは、上述されたプロトコルはいずれも、以前の段落において記述されたようなシビアな仕様（低価格、低複雑化）に応じなくてはならないアプリケーションにおいて実現されることができない。なぜならば、要求される計算は、暗号プロセッサ無しのマイクロプロセッサカードによっては実行されることができないからである。
【００２０】
フランス特許出願FR-A-2 752 122はこれらのプロトコルを楽天的に記述しているが、該特許出願は、いわゆる「予備計算を伴う」モードに続く離散対数法を含むプロトコルに限定され、「規則正しく予定された再ロードを含む」という欠点を有する。
Cryptology, Crypto 88 Proceegings, XP000090662, pp. 583-588 において先に公表された“ zero-knowledge Authentication scheme with Secret Key Exchange ”とタイトルの付けられた J. BRANDT らからの文献は、２人のユーザーの間における秘密鍵の交換を伴うゼロ認識認証スキームを記述している。該スキームでは、プロバは、該プロバ自身のモジュラスｎ＝ｐｑを計算し、かつ、タイプｍ d （ｍｏｄ ｎ）の作業を実行する。
【００２１】
本発明は、因数分解を含むゼロ認識識別（またはメッセージ署名または認証）プロトコルを使用するときに、プロバによって実行されるべき計算の数を減少することを目的とする。特定の作業ｖ＝ｓ -t （ｍｏｄ ｎ）を使用するとき、ゲインは約数２または３に到達しやすい。
【００２２】
本発明は、また、−詳細にはGUILLOU-QUISQUATERプロトコルと結合されたときに−、電子財布または次世代テレカードのようなアプリケーションに対して、低価格の標準マイクロ回路カードにおいて具備される公開鍵を伴う識別（またはメッセージ認証または署名）の高速な完了を可能にする。
【００２３】
モジュラスｎは各個のパラメータであり（言い換えれば、各ユーザーは彼自身のｎ値を有し）、この選択物は（好ましくは結合されてもよい）以下の２つの方法で活用される。
１）第１に、現在使用される値よりも小さい（一般的には、１０００ビットより小さく、かつ、例えば、７００ビットと８００ビットとの間の範囲にわたる）ｎの長さを保持することによる。ｎの因数分解を解くことは関連するユーザーの秘密鍵だけを処理しかつ他のユーザーの秘密鍵を処理する方法がないので、これは可能である。この修正は、ｎを法として実行される計算の継続期間を、単独で４０％減少する。
２）もし、ユーザーが該ユーザーのセキュリティデバイスのメモリ内にｎの素因数を記憶しているならば、２つの素因数が存在するときに、彼は、ｎを法とする計算の継続期間を４０％更に減少するために、チャイニーズ剰余技術（Chinese remainders technique）を使用してもよい。この減少は、いくつか（一般的には、３または４）の素因数を使用するときに増大される。
【００２４】
総合的に考えると、ｎを法とする計算は、少なくとも６０％（即ち、係数２）減少されることができる。
【００２５】
正確には、本発明は、「プロバ」と呼ばれる第１の実体と「ベリファイヤ」と呼ばれる第２の実体とを含む認証のプロセスに関し、第１の実体は、公開鍵
【数４１】
Figure 0004945026
と秘密鍵
【数４２】
Figure 0004945026
とを有し、これらの鍵は、
【数４３】
Figure 0004945026
を法とする計算によって関連付けられ、ここで、
【数４４】
Figure 0004945026
は、プロバに特有のモジュラスと呼ばれる整数であり、第２の実体は、公開鍵
【数４５】
Figure 0004945026
を知っており、これらの実体は、ゼロ認識コンテクストにおいて情報を交換しかつこの情報に基づく暗号計算を実行する手段を提供され、いくつかの計算は、
【数４６】
Figure 0004945026
を法とするモードで実行され、該プロセスは、「ｎを法とする作業のモジュラスはｖ＝ｓ -t （ｍｏｄ ｎ）として表現され、ｔはパラメータである」ということを特徴とする。
【００２６】
前記実体は、例えば、マイクロ回路カードや電子財布やテレカードなどであってもよい。
【００２７】
好ましい実現によると、ゼロ認識情報交換および暗号計算は、以下の通りである。
・プロバが、１とｎ−１との間の範囲にわたる１つの（いくつかの）整数
【数４７】
Figure 0004945026
をランダムに選択し、かつ、ｒt（ｍｏｄ ｎ）に等しい１つの（いくつかの）パラメータ
【数４８】
Figure 0004945026
を計算し、そして、オープニングと呼ばれる１つの（いくつかの）の数
【数４９】
Figure 0004945026
を計算し、オープニングは、この（これらの）パラメータとおそらくメッセージ（Ｍ）との１つの（いくつかの）の関数であり、かつ、プロバが、この（これらの）オープニングをベリファイヤへ送る。
・ベリファイヤ実体が、オープニング
【数５０】
Figure 0004945026
を受信し、かつ、「質問」と呼ばれる１つの数
【数５１】
Figure 0004945026
をランダムに選択し、かつ、この質問をプロバへ送る。
・プロバが、質問
【数５２】
Figure 0004945026
を受信し、かつ、この質問
【数５３】
Figure 0004945026
と秘密鍵
【数５４】
Figure 0004945026
とを使用して１つの（いくつかの）計算を実行し、この（これらの）計算の結果が１つの（いくつかの）回答
【数５５】
Figure 0004945026
を生じ、かつ、プロバが、この（これらの）回答をベリファイヤへ送る。
・ベリファイヤが、回答
【数５６】
Figure 0004945026
を受信し、かつ、公開鍵
【数５７】
Figure 0004945026
とモジュラス
【数５８】
Figure 0004945026
とを使用して１つの計算を実行し、かつ、「結果が、受信されたオープニングに密接である」ということを
【数５９】
Figure 0004945026
を法とする計算を伴ってチェックする。
【００２８】
数ｎのサイズは、ビットの数で表現され、１０００より小さい。例えば、該サイズは、７００と８００との間であってもよい。
【００２９】
本発明は、また、「署名者」と呼ばれる実体によって使用されるべきメッセージ署名プロセスに関し、この実体は、公開鍵
【数６３】
Figure 0004945026
と秘密鍵
【数６４】
Figure 0004945026
とを提供され、これらの鍵は、
【数６５】
Figure 0004945026
を法とする作業によって関連付けられ、ここで、
【数６６】
Figure 0004945026
は、モジュラスと呼ばれる整数であり、
【数６７】
Figure 0004945026
はパラメータであり、該プロセスにおいて、署名者は、署名されるべきメッセージの注目すべき関数であるオープニング
【数６８】
Figure 0004945026
と秘密鍵の関数である数
【数６９】
Figure 0004945026
とを計算し、署名とメッセージとである数
【数７０】
Figure 0004945026
と
【数７１】
Figure 0004945026
とを送信し、該プロセスは、「モジュラスｎは、署名者に特有である」ということを特徴とする。
【００３０】
好ましい実現によると、署名者は、１とｎ−１との間の整数
【数７２】
Figure 0004945026
をランダムに選択し、そして、ｒt（ｍｏｄ ｎ）に等しいパラメータ
【数７３】
Figure 0004945026
を計算し、そして、パラメータ
【数７４】
Figure 0004945026
と署名されるべきメッセージとの関数である数
【数７５】
Figure 0004945026
を計算し、そして、秘密鍵
【数７６】
Figure 0004945026
を使用して数
【数７７】
Figure 0004945026
と
【数７８】
Figure 0004945026
との関数として数
【数７９】
Figure 0004945026
を計算し、そして、数
【数８０】
Figure 0004945026
と
【数８１】
Figure 0004945026
とを署名として送信する。
【００３１】
【発明の実施の形態】
以下の記述において、本発明は、一例として、プロトコルGUILLOU-QUISQUATERと組み合わされることが仮定される。「本発明はこのプロトコルに限定されない」ということは明らかである。
【００３２】
「GUILLOU-QUISQUATERプロトコルの普遍的なパラメータは、少なくとも１０２４ビットを具備するモジュラス
【数８２】
Figure 0004945026
（素数の積）と整数値
【数８３】
Figure 0004945026
とである」ということに注意されたい。
【００３３】
公開鍵
【数８４】
Figure 0004945026
と秘密鍵
【数８５】
Figure 0004945026
とは、式ｖ＝ｓ-t（ｍｏｄ ｎ)をベリファイする。
【００３４】
保持されるセキュリティレベルは、（
【数８６】
Figure 0004945026
以下であり、一般には
【数８７】
Figure 0004945026
に等しい）
【数８８】
Figure 0004945026
である。
【００３５】
通常の用語に従うと、ＢによるＡの認証は、以下の通りに完了する。ここで、Ａはアリスと呼ばれ、かつ、Ｂはボブと呼ばれる。
１．アリスが、範囲〔１，ｎ−１〕内においてｒを選択し、かつ、ｘ＝ｒt（ｍｏｄ ｎ）そしてｃ＝ｈ（ｘ，〔Ｍ〕）を計算し、かつ、ｃをボブへ送る。
２．ボブが、範囲〔１，ｕ−１〕内においてｅを選択し、かつ、ｅをアリスへ送る。
３．アリスが、ｙ＝ｒｓe（ｍｏｄ ｎ）を計算し、かつ、ｙをボブへ送る。
４．ボブが、ｘ＝ｙtｖe（ｍｏｄ ｎ）を計算し、かつ、ｃ＝ｈ（ｘ，〔Ｍ〕）をベリファイする。
【００３６】
メッセージが認証されるべきでないときは、擬似ランダム関数ｈを含むことは任意である。ｃ＝ｘが使用されることができる。そして、立証は、ｘ＝ｙtｖe（ｍｏｄ ｎ）をチェックすることを具備する。
【００３７】
本発明によって修正されたプロトコルでは、ｔは唯一の普遍的なパラメータである。
【００３８】
公開鍵は（ｎ，ｖ）である。ここで、ｎは少なくても７６８ビットを有する。アリスの公開鍵ｖと秘密鍵とは、式ｖ＝ｓ-t（ｍｏｄ ｎ）を満足する。
【００３９】
本発明の第２の特徴の利点を得るために、秘密鍵は、ｎに基づく素因数を具備してもよい。
【００４０】
パラメータｔは公開鍵内に具備されてもよい（この場合、普遍的なパラメータはもはや存在しない）。
【００４１】
アリスとボブとによって保持されるセキュリティレベルは（ｔ以下であり、通常はｕ＝ｔである）ｕである。
【００４２】
ボブによるアリスの認証は、上述されたように実行される。しかし、より高速な計算を伴うと、より小さなモジュラスｎに起因する。
【００４３】
全てのアリスの計算はｎを法として実行されるので、たった１つの係数の乗算に起因するゲインファクタは、プロトコルを実行するときに、アリスによって完了される完全な組の計算に影響を及ぼす。このことは、例えば、Fiat-ShamirまたはGiraultプロトコルと同じであるべきである（後者の場合、係数計算がないので、ステップ３においてゲインは予測されるべきでないが、このステップの実行時間は、第１ステップの係数の累乗に関して無視できる）。
【００４４】
本発明は、また、チャイニーズ剰余技術によって実現されてもよい。チャイニーズ剰余技術は、ｎの素因数のｎを法とする値を計算することを具備する。これらの数は無視できるほど小さいので、これらの作業は迅速に行われる。更に、ｎを法とする結果は「再構成」作業を通して取得されるべきである。この技術は、“Electronic Letters”vol. 18, October 1982, pp. 905-907において公表された“Fast Decipherment algorithm for RSA public-key cryptosystem”とタイトルの付けられたJ.J QUISQUATERとC.COUVREURの記事に記述されている。
【００４５】
ｎが２つの素因数ｐとｑとの積である場合を考える。
【００４６】
ベゾアールの定理から、「ａｂ＋ｂｑ＝１のような２つの整数が存在する」ということが知られる。
【００４７】
ｙ＝ｘe（ｍｏｄ ｎ）を計算するために、ｘp＝ｘ（ｍｏｄ ｐ）とｘq＝ｘ（ｍｏｄ ｑ）とを計算することによって、各素因数を法とするｘの減少を開始する。また、ｅp＝ｅ ｍｏｄ（ｐ−１）とｅq＝ｅ ｍｏｄ（ｑ−１）とを計算することによって、（ｐ−１）と（ｑ−１）とを法とするｅを減少する（Guillou-Quisquaterのプロトコルにおいて、ｅは常にｐ−１およびｑ−１より小さく、そして、ｅp＝ｅq＝１である）。
【００４８】
そして、ｙp＝ｘp e p（ｍｏｄ ｐ）とｙq＝ｘq e q（ｍｏｄ ｑ）とを計算する。ｐとｑとが同様のサイズのとき、これらの計算の各々は、ｅとｎとが同様のサイズのとき（第１の場合）の計算ｙ＝ｘe（ｍｏｄ ｎ）よりも約８倍高速であり、ｅのサイズがｐのサイズ以下であるとき（例えば、アルゴリズムにおける第２の場合を参照）よりも４倍高速である。そして、２つの計算の組は、４倍高速であるか、または、２倍高速である。
【００４９】
ｙは、更に、ｙpとｙqとから再構成されることができる。これは、式ｙ＝ｙp+ａｐ（ｙq−ｙp）（ｍｏｄ ｎ）を使用して実行される。
【００５０】
総合的に考えると、チャイニーズ剰余の方法は、（同様のサイズであると仮定される）素因数の数が２より大きくかつｋに等しいときに、第１の場合における３から４の範囲の約数と第２の場合における１．５から２の範囲の約数とによる計算の加速を導く。加速係数は、第１の場合はｋ2に近く、かつ、第２の場合はｋ近い。

Claims (12)

  1. 「プロバ」（Ａ）と呼ばれる第１の実体と「ベリファイヤ」（Ｂ）と呼ばれる第２の実体とを含む認証プロセスであって、第１の実体は、公開鍵ｖと秘密鍵ｓとを有し、
    これらの鍵は、ｖ＝ｓ-t（ｍｏｄ ｎ）の関係によって関連付けられ、ここで、ｎは、モジュラスと呼ばれる整数であり、ｎは、プロバ（Ａ）に特有であり、かつ、少なくとも２つの素数の積であり、ｔはパラメータであり、
    第２の実体は、公開鍵ｖを知っており、
    これらの実体は、ゼロ認識情報を交換しかつこの情報に基づいてプロバ（Ａ）の認証のための暗号計算を実行する手段を提供され、
    ｎを法とする計算は、「チャイニーズ剰余」方法に従って実行され、
    暗号計算は、
    ・プロバ（Ａ）が、１とｎ−１との間の範囲にわたる少なくとも１つの整数ｒをランダムに選択し、ｒt（ｍｏｄ ｎ）に等しい少なくとも１つのパラメータ（ｘ）を計算し、そして、該少なくとも１つのパラメータとメッセージ（Ｍ）との少なくとも１つの関数である、少なくとも１つのオープニングｃを計算し、該少なくとも１つのオープニングをベリファイヤ（Ｂ）へ送り、
    ・ベリファイヤ実体（Ｂ）が、オープニングｃを受信し、かつ、１つの質問ｅをランダムに選択し、質問ｅをプロバ（Ａ）へ送り、
    ・プロバ（Ａ）が、質問ｅを受信し、質問ｅと秘密鍵ｓとを使用して計算を実行し、該計算の結果が少なくとも１つの回答ｙを生じ、プロバ（Ａ）が、該少なくとも１つの回答をベリファイヤ（Ｂ）へ送り、
    ・ベリファイヤ（Ｂ）が、該少なくとも１つの回答ｙを受信し、公開鍵ｖとモジュラスｎとを使用して１つの計算を実行し、結果が受信されたオープニングｃに密接であることをｎを法とする計算を伴ってチェックする
    ことによって完了される
    ことを特徴とする認証プロセス。
  2. ｎのサイズは、ビットの数で表現され、１０００より小さい
    ことを特徴とする請求項１記載のプロセス。
  3. ｎのサイズは、７００と８００との間である
    ことを特徴とする請求項２記載のプロセス。
  4. 公開鍵ｖ、秘密鍵ｓ、及び署名されるべきメッセージＭを記憶する記憶装置と、該記憶装置に接続されるプロセッサとを有する署名者装置（Ａ）によって実行されるメッセージ署名プロセスであって、
    これらの鍵は、ｎを法とするｖ＝ｓ-t（ｍｏｄ ｎ）の演算を介して関連付けられ、ここで、ｎは、モジュラスと呼ばれる整数であり、ｎは、署名者装置に特有であり、かつ、少なくとも２つの素数の積であり、ｔはパラメータであり、
    前記プロセスは、
    前記プロセッサによって、メッセージＭの関数であるオープニングｃを計算することと、
    前記プロセッサによって、秘密鍵の関数である数ｙを計算することと、
    前記プロセッサによって、数ｙおよびｃをメッセージＭの署名としてメッセージＭと送信することとを含み、
    ｎを法とする計算は、「チャイニーズ剰余」方法に従って実行される
    ことを特徴とするメッセージ署名プロセス。
  5. 前記プロセッサは、１とｎ−１との間の整数ｒをランダムに選択し、かつ、ｒt（ｍｏｄ ｎ）に等しいパラメータｘを計算し、かつ、パラメータｘとメッセージＭとの関数である数ｃを計算し、署名者装置の秘密鍵ｓを使用して数ｙを計算し、
    前記数ｙは、数ｒとｅとの関数であり、
    前記プロセッサは、数ｃとｙとをメッセージＭの署名として送信する
    ことを特徴とする請求項４記載の署名プロセス。
  6. 秘密鍵ｓを記憶する記憶装置と、該記憶装置に接続されるプロセッサとを有するプロバ装置によって、オープニングｃを生成して送信することであって、オープニングｃを生成することは、
    前記プロセッサによって、ｎを法として計算することであって、ｎは、プロバ装置に特有な整数であり、かつ、素数の積であることと、
    前記プロセッサによって、１とｎ−１との間の数ｒをランダムに選択することと、
    前記プロセッサによって、ｒt（ｍｏｄ ｎ）に等しいパラメータｘを計算することであって、ｔはパラメータであることと、
    前記プロセッサによって、少なくとも部分的にパラメータｘに基づいてオープニングｃを計算することとであって、ｃはパラメータｘと異なることとを含むことと、
    オープニングｃの送信に応じて、前記プロセッサによって、質問ｅを受信することと、
    前記プロセッサによって、結果ｙを生成して送信し、結果ｙと、プロバ装置によって保持される秘密鍵ｓに関連する公開鍵ｖとに基づいてプロバ装置が認証されることを可能とすることであって、結果ｙを生成することは、少なくとも部分的に質問ｅと秘密鍵ｓとに基づき、ｎを法として計算することを含むことと、
    を含み、
    ｎを法として計算することは、「チャイニーズ剰余」方法を用いることを含む
    認証方法。
  7. 認証プロセスのためのプロバ装置であって、
    プロバ装置によって保持される秘密鍵ｓを記憶する記憶装置と、
    該記憶装置に接続されるプロセッサと、を含み、
    該プロセッサは、
    オープニングｃを生成し、プロバ装置にオープニングｃを送信させ、ここで、オープニングｃの生成は、
    ｎを法とする計算であって、ｎは、プロバ装置に特有の整数であり、かつ、素数の積であることと、
    １とｎ−１との間の数ｒのランダムな選択と、
    ｒt（ｍｏｄ ｎ）に等しいパラメータｘの計算であって、ｔはパラメータであることと、
    少なくとも部分的にパラメータｘに基づいた、オープニングｃの計算であって、ｃはパラメータｘと異なることとを含み、
    オープニングｃの送信に応じて、質問ｅの受信においてプロバ装置を制御し、
    結果ｙを生成し、プロバ装置に結果ｙを送信させ、結果ｙと、プロバ装置によって保持される秘密鍵ｓに関連する公開鍵ｖとに基づいてプロバ装置が認証されることを可能とし、ここで、結果ｙの生成は、少なくとも部分的に質問ｅと秘密鍵ｓとに基づき、ｎを法とする計算を含み、
    ｎを法とする計算は、「チャイニーズ剰余」方法とｎの少なくとも２つの素因数とを用いることを含む
    ように構成されている
    プロバ装置。
  8. 命令が格納された、コンピュータ読み取り可能な媒体であって、
    該命令は、秘密鍵ｓを記憶する記憶装置と、該記憶装置と接続されるプロセッサとを有するプロバ装置で実行されると、プロバ装置に認証方法を実行させ、
    該認証方法は、
    前記プロセッサによって、オープニングｃを生成して送信することであって、オープニングｃを生成することは、
    前記プロセッサによって、ｎを法として計算することであって、ｎは、プロバ装置に特有な整数であり、かつ、素数の積であることと、
    前記プロセッサによって、１とｎ−１との間の数ｒをランダムに選択することと、
    前記プロセッサによって、ｒt（ｍｏｄ ｎ）に等しいパラメータｘを計算することであって、ｔはパラメータであることと、
    前記プロセッサによって、少なくとも部分的にパラメータｘに基づいてオープニングｃを計算することであって、ｃはパラメータｘと異なることとを含むことと、
    前記プロセッサによって、オープニングｃの送信に応じて、プロバ装置によって、質問ｅを受信することと、
    前記プロセッサによって、結果ｙを生成して送信し、結果ｙと、プロバ装置によって保持される秘密鍵ｓに関連する公開鍵ｖとに基づいてプロバ装置が認証されることを可能とすることであって、結果ｙを生成することは、少なくとも部分的に質問ｅと秘密鍵ｓとに基づき、ｎを法として計算することを含むことと、
    を含み、
    ｎを法として計算することは、「チャイニーズ剰余」方法とｎの少なくとも２つの素因数とを用いることを含む
    コンピュータ読み取り可能な媒体。
  9. 結果ｙを生成することは、前記プロセッサによって、ｒｓe（ｍｏｄ ｎ）に等しいｙを計算することを含む
    請求項６記載の方法。
  10. 前記プロセッサは、ｒｓe（ｍｏｄ ｎ）に等しいｙを計算することによりｙを計算するように構成されている
    請求項７記載のプロバ装置。
  11. 結果ｙを生成することは、前記プロセッサによって、ｒｓe（ｍｏｄ ｎ）に等しいｙを計算することを含む
    請求項８記載のコンピュータ読み取り可能な媒体。
  12. 認証プロセスのためのプロバ装置であって、
    オープニングｃを生成し、プロバ装置にオープニングｃを送信させる手段であって、オープニングｃの生成は、
    ｎを法とする計算であって、ｎは、プロバ装置に特有の整数であり、かつ、少なくとも２つの異なる素数の積であることと、
    １とｎ−１との間の数ｒのランダムな選択と、
    ｒt（ｍｏｄ ｎ）に等しいパラメータｘの計算であって、ｔはパラメータであることと、
    少なくとも部分的にパラメータｘに基づいた、オープニングｃの計算であって、ｃはパラメータｘと異なることとを含む、手段と、
    オープニングｃの送信に応じて、質問ｅの受信においてプロバ装置を制御する手段と、
    結果ｙを生成し、プロバ装置に結果ｙを送信させ、結果ｙと、プロバ装置によって保持される秘密鍵ｓに関連する公開鍵ｖとに基づいてプロバ装置が認証されることを可能とする手段であって、結果ｙの生成は、少なくとも部分的に質問ｅと秘密鍵ｓとに基づき、ｎを法とする計算を含む手段と、
    を含み、
    ｎを法とする計算は、「チャイニーズ剰余」方法とｎの少なくとも２つの素因数とを用いることを含む
    プロバ装置。
JP2000596695A 1999-01-27 2000-01-26 減少した計算組を伴う認証または署名プロセス Expired - Lifetime JP4945026B2 (ja)

Applications Claiming Priority (3)

Application Number Priority Date Filing Date Title
FR9900887A FR2788909B1 (fr) 1999-01-27 1999-01-27 Procede d'authentification ou de signature a nombre de calculs reduit
FR99/00887 1999-01-27
PCT/FR2000/000174 WO2000045549A1 (fr) 1999-01-27 2000-01-26 Procede d'authentification ou de signature a nombre de calculs reduit

Publications (2)

Publication Number Publication Date
JP2002536875A JP2002536875A (ja) 2002-10-29
JP4945026B2 true JP4945026B2 (ja) 2012-06-06

Family

ID=9541270

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2000596695A Expired - Lifetime JP4945026B2 (ja) 1999-01-27 2000-01-26 減少した計算組を伴う認証または署名プロセス

Country Status (9)

Country Link
US (2) USRE42517E1 (ja)
EP (1) EP1145483B1 (ja)
JP (1) JP4945026B2 (ja)
AT (1) ATE226773T1 (ja)
CA (1) CA2360953C (ja)
DE (1) DE60000649T2 (ja)
ES (1) ES2184691T3 (ja)
FR (1) FR2788909B1 (ja)
WO (1) WO2000045549A1 (ja)

Families Citing this family (12)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7006999B1 (en) 1999-05-13 2006-02-28 Xerox Corporation Method for enabling privacy and trust in electronic communities
US7840806B2 (en) * 2002-10-16 2010-11-23 Enterprise Information Management, Inc. System and method of non-centralized zero knowledge authentication for a computer network
US8239917B2 (en) * 2002-10-16 2012-08-07 Enterprise Information Management, Inc. Systems and methods for enterprise security with collaborative peer to peer architecture
US6883706B2 (en) 2003-05-05 2005-04-26 International Business Machines Corporation Point-of-sale bill authentication
US7797192B2 (en) 2003-05-06 2010-09-14 International Business Machines Corporation Point-of-sale electronic receipt generation
US7245718B2 (en) * 2003-08-26 2007-07-17 Mitsubishi Electric Research Laboratories, Inc. Low bandwidth zero knowledge authentication protocol and device
US7467401B2 (en) * 2004-08-12 2008-12-16 Avatier Corporation User authentication without prior user enrollment
US20080080707A1 (en) * 2006-09-29 2008-04-03 Shay Gueron RSA signature authentication with reduced computational burden
US8615649B2 (en) * 2010-09-21 2013-12-24 International Business Machines Corporation Use of a private key to encrypt and decrypt a message
CN105721166B (zh) * 2016-03-03 2018-09-21 武汉大学 一种量子计算安全的身份识别协议建立方法
US11196722B2 (en) * 2017-06-14 2021-12-07 Thales Dis France Sa Method for mutual symmetric authentication between a first application and a second application
DE102022202824A1 (de) 2022-03-23 2023-01-19 Vitesco Technologies GmbH Verfahren zum Ermitteln einer Manipulation von Übertragungs-Messsignalen einer Sensoreinheit eines Systems und System

Family Cites Families (12)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5140634A (en) * 1987-09-07 1992-08-18 U.S Philips Corporation Method and apparatus for authenticating accreditations and for authenticating and signing messages
US5218637A (en) * 1987-09-07 1993-06-08 L'etat Francais Represente Par Le Ministre Des Postes, Des Telecommunications Et De L'espace Method of transferring a secret, by the exchange of two certificates between two microcomputers which establish reciprocal authorization
US4933970A (en) * 1988-01-19 1990-06-12 Yeda Research And Development Company Limited Variants of the fiat-shamir identification and signature scheme
WO1989011706A1 (en) * 1988-05-19 1989-11-30 Ncr Corporation Method and device for authentication
US4964164A (en) * 1989-08-07 1990-10-16 Algorithmic Research, Ltd. RSA computation method for efficient batch processing
FR2716058B1 (fr) * 1994-02-04 1996-04-12 France Telecom Procédé de signature numérique et d'authentification de messages utilisant un logarithme discret.
JP3314900B2 (ja) 1994-03-07 2002-08-19 日本電信電話株式会社 ゼロ知識証明プロトコルを利用した情報配送方法およびシステム
FR2752122B1 (fr) * 1994-07-28 1998-11-27 France Telecom Procede d'authentification a nombre reduit de bits transmis
DE19513896A1 (de) * 1995-04-12 1996-10-17 Deutsche Telekom Ag Verfahren zum Signieren einer Nachricht
FI109505B (fi) 1997-03-24 2002-08-15 Fd Finanssidata Oy Pankkipalvelujen käyttö digitaalisessa solukkoradiojärjestelmässä
FR2763194B1 (fr) 1997-05-07 2000-07-28 Gemplus Card Int Generateur pseudo-aleatoire base sur une fonction de hachage pour systemes cryptographiques necessitant le tirage d'aleas
JPH118616A (ja) * 1997-06-17 1999-01-12 Dainippon Printing Co Ltd 故障利用攻撃対応ｉｃカード

Also Published As

Publication number Publication date
USRE42517E1 (en) 2011-07-05
CA2360953A1 (fr) 2000-08-03
DE60000649T2 (de) 2003-08-07
DE60000649D1 (de) 2002-11-28
FR2788909A1 (fr) 2000-07-28
FR2788909B1 (fr) 2004-02-20
ES2184691T3 (es) 2003-04-16
US7184547B1 (en) 2007-02-27
JP2002536875A (ja) 2002-10-29
ATE226773T1 (de) 2002-11-15
CA2360953C (fr) 2007-08-14
WO2000045549A1 (fr) 2000-08-03
EP1145483B1 (fr) 2002-10-23
EP1145483A1 (fr) 2001-10-17

Similar Documents

Publication Publication Date Title
Schnorr Efficient signature generation by smart cards
EP0503119B1 (en) Public key cryptographic system using elliptic curves over rings
Park et al. Constructing fair-exchange protocols for E-commerce via distributed computation of RSA signatures
US7716484B1 (en) System and method for increasing the security of encrypted secrets and authentication
EP0691055B1 (en) Two-way public key authentication and key agreement for low-cost terminals
US8437473B2 (en) Small public-key based digital signatures for authentication
US7228418B1 (en) Authentication and signature method for messages using reduced size of binary units of information content and corresponding systems
JP4945026B2 (ja) 減少した計算組を伴う認証または署名プロセス
Huang et al. Partially blind ECDSA scheme and its application to bitcoin
KR100971038B1 (ko) 다수의 엔티티와 그에 따른 장치에 부하를 분배하는암호화 방법
Kwon Virtual software tokens-a practical way to secure PKI roaming
US7760884B2 (en) Cryptographic method and devices for facilitating calculations during transactions
JPH11234263A (ja) 相互認証方法および装置
Fan Improved low-computation partially blind signatures
Fan Ownership-attached unblinding of blind signatures for untraceable electronic cash
Hirose et al. A user authentication scheme with identity and location privacy
US7412055B2 (en) Method and system for fair exchange of user information
JP3316895B2 (ja) 正当性の確認システム
Juang et al. A VERIGIABLE MULTI-AUTHORITIES SECRET ELECTION ALLOWING ABSTAINING FROM VOTING
JPH11252070A (ja) 利用者認証方式
Saxena et al. Zero-knowledge blind identification for smart cards using bilinear pairings
Ranjithkumar A Secure ElGamal Cryptosystem Using Zero Knowledge Protocol
Fan et al. An efficient election scheme for resolving ties
Chen An applicative distance education payment protocol
Allen Identity-based Cryptography from Paillier Cryptosystem

Legal Events

Date Code Title Description
A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20061214

A711 Notification of change in applicant

Free format text: JAPANESE INTERMEDIATE CODE: A711

Effective date: 20090902

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A821

Effective date: 20090902

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20100423

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20100716

RD03 Notification of appointment of power of attorney

Free format text: JAPANESE INTERMEDIATE CODE: A7423

Effective date: 20100716

RD04 Notification of resignation of power of attorney

Free format text: JAPANESE INTERMEDIATE CODE: A7424

Effective date: 20100827

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20110224

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20110518

A02 Decision of refusal

Free format text: JAPANESE INTERMEDIATE CODE: A02

Effective date: 20110613

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20110727

A911 Transfer to examiner for re-examination before appeal (zenchi)

Free format text: JAPANESE INTERMEDIATE CODE: A911

Effective date: 20110913

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20111115

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20120206

TRDD Decision of grant or rejection written
A01 Written decision to grant a patent or to grant a registration (utility model)

Free format text: JAPANESE INTERMEDIATE CODE: A01

Effective date: 20120227

A01 Written decision to grant a patent or to grant a registration (utility model)

Free format text: JAPANESE INTERMEDIATE CODE: A01

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20120305

R150 Certificate of patent or registration of utility model

Ref document number: 4945026

Country of ref document: JP

Free format text: JAPANESE INTERMEDIATE CODE: R150

Free format text: JAPANESE INTERMEDIATE CODE: R150

FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20150309

Year of fee payment: 3

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

EXPY Cancellation because of completion of term