JP5161177B2 - 代理計算依頼装置、代理計算依頼方法、代理計算依頼プログラム、記録媒体 - Google Patents
代理計算依頼装置、代理計算依頼方法、代理計算依頼プログラム、記録媒体 Download PDFInfo
- Publication number
- JP5161177B2 JP5161177B2 JP2009204705A JP2009204705A JP5161177B2 JP 5161177 B2 JP5161177 B2 JP 5161177B2 JP 2009204705 A JP2009204705 A JP 2009204705A JP 2009204705 A JP2009204705 A JP 2009204705A JP 5161177 B2 JP5161177 B2 JP 5161177B2
- Authority
- JP
- Japan
- Prior art keywords
- unit
- random number
- ord
- calculation
- proxy
- 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.)
- Active
Links
Images
Description
zu=θ(g’、h’)u
=θ(gr、hs)u
=θ(g、h)rsu
となる。ここで、u・r・s=1 mod ord(F)なので、zu=θ(g、h)となる。このように、zuは、求めたい双線形写像θ(g,h)となっている。逆変換部140は、計算結果zuをθ(g,h)として出力する(S160)。
αg=zg s’=(zν−rs)a’s’
=(θ(μg rga、μh s)θ(μg,μh)−rs)a’s’
=(θ(g、μh)asθ(μg,μh)rs−rs)a’s’
=(θ(g、μh)as)a’s’
=θ(g、μh)asa’s’
となる。ここで、a・a’=1 mod ord(F)、s・s’=1 mod ord(F)なので、αg=θ(g、μh)となる。また、
αh=zh r’=(zν−rs)b’r’
=(θ(μg r、μh shb)θ(μg,μh)−rs)b’r’
=(θ(μg、h)rbθ(μg,μh)rs−rs)b’r’
=(θ(μg、h)rb)b’r’
=θ(μg、h)rbb’r’
となる。ここで、b・b’=1 mod ord(F)、r・r’=1 mod ord(F)なので、αh=θ(μg、h)となる。
なお、zの値は計算装置500に送信する依頼データがそれぞれ異なっているので、αgの場合とαhの場合と次式の場合では、zの値はそれぞれ異なることに注意されたい。
したがって、(zν−rsαg −asαh −r)a’は、
(zν−rsαg −asαh −r)a’
=(θ(μg rga、μh sh)θ(μg,μh)−rsθ(g、μh)−asθ(μg、h)−r)a’
=(θ(μg、μh)rs−rsθ(g、h)aθ(g、μh)as−asθ(μg、h)r−r)a’
=θ(g、h)aa’
となる。ここで、a・a’=1 mod ord(F)なので、
(zν−rsαg −asαh −r)a’=θ(g、h)
となる。このように(zν−rsαg −asαh −r)a’は、求めたい双線形写像θ(g,h)となっている。
実施例2では、通信網900を介した計算装置500からの返信データである結果zが信頼できないときであって、正しい計算結果を返信する確率がpであることが分かっている場合について説明した。本変形例は、通信網900を介した計算装置500からの返信データである結果zが信頼できないときであって、正しい計算結果を返信する確率が特定できない場合について説明する。本変形例の代理計算依頼装置を用いたシステムの構成例も図1と同じである。本変形例の代理計算依頼装置の構成例は図4に示されており、本変形例の代理計算依頼装置を用いたシステムの処理フロー例は図5から7に示されている。
110、210 乱数生成部
120、220 変換部
130 送受信部
140、240 逆変換部
150、250、350 制御部
190、290 記録部
500 計算装置
900 通信網
Claims (8)
- F、G、Hを巡回群とし、双線形写像θ:G×H→Fの計算を行う計算装置に計算を依頼することで、群Gの元gと群Hの元hの双線形写像θ(g,h)を求める代理計算依頼装置であって、
ord()は巡回群の位数、μg、μhはそれぞれ群G、Hの生成元を示すものとし、
μg、μh、ν=θ(μg,μh)をあらかじめ記録しており、
0以上ord(G)未満の乱数rとa、および0以上ord(H)未満の乱数sとbを生成する乱数生成部と、
前記計算装置に送信する依頼データg’、h’を、g’=μg rga、h’=μh sのように求める第1変換手段と、g’=μg r、h’=μh shbのように求める第2変換手段と、g’=μg rga、h’=μh shのように求める第3変換手段とを有する変換部と、
前記依頼データ(g’、h’)を前記計算装置に送信し、前記計算装置から結果zを受信する送受信部と、
a・a’=1 mod ord(F)となるa’を求め、(zν−rs)a’を求める第1逆変換手段と、s・s’=1 mod ord(F)となるs’を求め、αg=zg s’を求める第2逆変換手段と、b・b’=1 mod ord(F)となるb’を求め、(zν−rs)b’を求める第3逆変換手段と、r・r’=1 mod ord(F)となるr’を求め、αh=zh r’を求める第4逆変換手段と、a・a’=1 mod ord(F)となるa’を求め、(zν−rsαg −asαh −r)a’を求める第5逆変換手段とを有する逆変換部と、
処理の順序を制御する制御部と
を備え、
前記制御部は、
前記乱数生成部に前記乱数sを生成させるαg乱数生成手段と、
前記乱数生成部による乱数rとaの生成、前記第1変換手段の処理、前記送受信部の処理、前記第1逆変換手段の処理を繰り返して複数の(zν−rs)a’の値を求め、あらかじめ定めた条件に適合する(zν−rs)a’の値を前記zgとするαg繰り返し手段と、
前記第2逆変換手段の処理を実行させるαg算出手段と、
前記乱数生成部に前記乱数rを生成させるαh乱数生成手段と、
前記乱数生成部による乱数sとbの生成、前記第2変換手段の処理、前記送受信部の処理、前記第3逆変換手段の処理を繰り返して複数の(zν−rs)b’の値を求め、あらかじめ定めた条件に適合する(zν−rs)b’の値を前記zhとするαh繰り返し手段と、
前記第4逆変換手段の処理を実行させるαh算出手段と、
前記乱数生成部による乱数rとsとaの生成、前記第3変換手段の処理、前記送受信部の処理、前記第5逆変換手段の処理を繰り返して複数の(zν−rsαg −asαh −r)a’の値を求め、あらかじめ定めた条件に適合する(zν−rsαg −asαh −r)a’の値をθ(g,h)とするθ繰り返し手段と
を有することを特徴とする代理計算依頼装置。 - 請求項1記載の代理計算依頼装置であって、
前記制御部のあらかじめ定めた条件とは、最も頻度の高い値であり、
前記αg繰り返し手段、前記αh繰り返し手段、前記θ繰り返し手段は、手段ごとに定めた回数繰り返すこと
を特徴とする代理計算依頼装置。 - 請求項1記載の代理計算依頼装置であって、
前記制御部のあらかじめ定めた条件とは、重複した値が存在することであり、
前記αg繰り返し手段、前記αh繰り返し手段、前記θ繰り返し手段は、手段ごとに定めた回数以内で重複した値が生じるまで繰り返すこと
を特徴とする代理計算依頼装置。 - F、G、Hを巡回群とし、双線形写像θ:G×H→Fの計算を行う計算装置に計算を依頼することで、群Gの元gと群Hの元hの双線形写像θ(g,h)を求める代理計算依頼方法であって、
ord()は巡回群の位数、μg、μhはそれぞれ群G、Hの生成元を示すものとし、μg、μh、ν=θ(μg,μh)をあらかじめ記録しており、
αg乱数生成ステップ、αg繰り返しステップ、αg算出ステップ、αh乱数生成ステップ、αh繰り返しステップ、αh算出ステップ、θ繰り返しステップを有し、
前記αg乱数生成ステップは、乱数生成部が、0以上ord(H)未満の乱数sを生成し、
前記αg繰り返しステップは、
前記乱数生成部が、0以上ord(G)未満の乱数rとaを生成するサブステップと、
変換部が、前記計算装置に送信する依頼データg’、h’を、g’=μg rga、h’=μh sのように求める第1変換サブステップと、
送受信部が、前記依頼データ(g’、h’)を前記計算装置に送信し、前記計算装置から結果zを受信する送受信サブステップと、
逆変換部が、a・a’=1 mod ord(F)となるa’を求め、(zν−rs)a’を求める第1逆変換サブステップとを
繰り返して複数の(zν−rs)a’の値を求め、あらかじめ定めた条件に適合する(zν−rs)a’の値をzgとするステップであり、
前記αg算出ステップは、前記逆変換部が、s・s’=1 mod ord(F)となるs’を求め、αg=zg s’を求め、
前記αh乱数生成ステップは、前記乱数生成部が0以上ord(G)未満の乱数rを生成し、
前記αh繰り返しステップは、
前記乱数生成部が0以上ord(H)未満の乱数sとbを生成するサブステップと、
前記変換部が、g’=μg r、h’=μh shbのように求める第2変換サブステップと、
前記送受信サブステップと、
前記逆変換部が、b・b’=1 mod ord(F)となるb’を求め、(zν−rs)b’を求める第3逆変換サブステップとを
繰り返して複数の(zν−rs)b’の値を求め、あらかじめ定めた条件に適合する(zν−rs)b’の値をzhとするステップであり、
前記αh算出ステップは、前記逆変換部が、r・r’=1 mod ord(F)となるr’を求め、αh=zh r’を求め、
前記θ繰り返しステップは、
前記乱数生成部が、0以上ord(G)未満の乱数rとaと0以上ord(H)未満の乱数sを生成するサブステップと、
前記変換部が、g’=μg rga、h’=μh shのように求める第3変換サブステップと、
前記送受信サブステップと、
前記逆変換部が、a・a’=1 mod ord(F)となるa’を求め、(zν−rsαg −asαh −r)a’を求める第5逆変換サブステップとを
繰り返して複数の(zν−rsαg −asαh −r)a’の値を求め、あらかじめ定めた条件に適合する(zν−rsαg −asαh −r)a’の値をθ(g,h)とするステップである
ことを特徴とする代理計算依頼方法。 - 請求項4記載の代理計算依頼方法であって、
前記あらかじめ定めた条件とは、最も頻度の高い値であり、
前記αg繰り返しステップ、前記αh繰り返しステップ、前記θ繰り返しステップは、それぞれに定められた回数繰り返すこと
を特徴とする代理計算依頼方法。 - 請求項4記載の代理計算依頼方法であって、
前記あらかじめ定めた条件とは、重複した値が存在することであり、
前記αg繰り返しステップ、前記αh繰り返しステップ、前記θ繰り返しステップは、それぞれに定められた回数以内で重複した値が生じるまで繰り返すこと
を特徴とする代理計算依頼方法。 - 請求項1から3のいずれかに記載された代理計算依頼装置としてコンピュータを動作させる代理計算依頼プログラム。
- 請求項7記載の代理計算依頼プログラムを記録したコンピュータ読み取り可能な記録媒体。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2009204705A JP5161177B2 (ja) | 2009-09-04 | 2009-09-04 | 代理計算依頼装置、代理計算依頼方法、代理計算依頼プログラム、記録媒体 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2009204705A JP5161177B2 (ja) | 2009-09-04 | 2009-09-04 | 代理計算依頼装置、代理計算依頼方法、代理計算依頼プログラム、記録媒体 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2011053607A JP2011053607A (ja) | 2011-03-17 |
JP5161177B2 true JP5161177B2 (ja) | 2013-03-13 |
Family
ID=43942640
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2009204705A Active JP5161177B2 (ja) | 2009-09-04 | 2009-09-04 | 代理計算依頼装置、代理計算依頼方法、代理計算依頼プログラム、記録媒体 |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP5161177B2 (ja) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US10419213B2 (en) | 2015-01-16 | 2019-09-17 | Nippon Telegraph And Telephone Corporation | Key exchange method, key exchange system, key device, terminal device, and program |
Families Citing this family (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP5496756B2 (ja) * | 2010-04-16 | 2014-05-21 | 日本電信電話株式会社 | 環準同型を計算可能な公開鍵暗号方法、環準同型を計算可能な公開鍵暗号システム、送信装置、処理装置、受信装置、それらのプログラム及び記録媒体 |
JP5526284B2 (ja) * | 2011-03-04 | 2014-06-18 | 日本電信電話株式会社 | 代理計算システム、方法、依頼装置及びプログラム |
JP5496957B2 (ja) * | 2011-06-24 | 2014-05-21 | 日本電信電話株式会社 | 暗号化システム、復号方法、復号履歴蓄積サーバ、受信装置、送信装置、プログラム |
Family Cites Families (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH0373990A (ja) * | 1989-05-18 | 1991-03-28 | Toshiba Corp | 分散型情報処理装置 |
JP3137190B2 (ja) * | 1989-02-02 | 2001-02-19 | 株式会社東芝 | メッセージ変換方法 |
JPH0619393A (ja) * | 1992-03-31 | 1994-01-28 | Toshiba Corp | 依頼計算装置 |
JP2948814B1 (ja) * | 1998-09-08 | 1999-09-13 | 株式会社高度移動通信セキュリティ技術研究所 | べき乗剰余演算軽減方法 |
JP4706811B2 (ja) * | 2000-09-06 | 2011-06-22 | ネッツエスアイ東洋株式会社 | 依頼計算を用いた演算装置、及び記録媒体 |
FR2877453A1 (fr) * | 2004-11-04 | 2006-05-05 | France Telecom | Procede de delegation securisee de calcul d'une application bilineaire |
-
2009
- 2009-09-04 JP JP2009204705A patent/JP5161177B2/ja active Active
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US10419213B2 (en) | 2015-01-16 | 2019-09-17 | Nippon Telegraph And Telephone Corporation | Key exchange method, key exchange system, key device, terminal device, and program |
Also Published As
Publication number | Publication date |
---|---|
JP2011053607A (ja) | 2011-03-17 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US11228386B2 (en) | Blockchain node synchronization method and device using trust mechanism | |
US11048839B2 (en) | Adaptive error correction in quantum computing | |
JP5488596B2 (ja) | 署名装置、署名検証装置、匿名認証システム、署名方法、署名認証方法およびそれらのプログラム | |
JP5161177B2 (ja) | 代理計算依頼装置、代理計算依頼方法、代理計算依頼プログラム、記録媒体 | |
JP5790319B2 (ja) | 署名検証装置、署名検証方法、プログラム、及び記録媒体 | |
JP5379869B2 (ja) | 代理計算システム、方法、依頼装置、プログラム及びその記録媒体 | |
US20150358155A1 (en) | Secret computation system, arithmetic unit, secret computation method and program | |
WO2013031555A1 (ja) | 情報処理装置、署名生成装置、情報処理方法、署名生成方法、及びプログラム | |
KR20050069936A (ko) | 암호 장치, 복호 장치, 및 암호 시스템 | |
JP7101031B2 (ja) | ブロックチェーン・ネットワーク及びそのための確定方法 | |
CN111970111A (zh) | 基于量子零知识证明的区块链共识机制建立方法及系统 | |
JP4875448B2 (ja) | 鍵生成装置、匿名署名システム、管理装置、匿名署名方法及びプログラム | |
JP5651611B2 (ja) | 鍵交換装置、鍵交換システム、鍵交換方法、プログラム | |
JP4773941B2 (ja) | 代理署名装置、署名者装置、署名検証装置及びそれらのプログラム | |
JP5227764B2 (ja) | 電子署名検証システム、電子署名装置、検証装置、電子署名検証方法、電子署名方法、検証方法、電子署名プログラム、検証プログラム | |
CN114026586A (zh) | 用于授予对加密资产的访问权的零知识或有支付协议 | |
WO2013031420A1 (ja) | 情報処理装置、署名生成装置、署名検証装置、情報処理方法、署名生成方法、及び署名検証方法 | |
JP5427156B2 (ja) | 鍵交換装置、鍵交換システム、鍵交換方法、鍵交換プログラム | |
WO2013027332A1 (ja) | 情報処理装置、情報処理方法、及びプログラム | |
US20240185107A1 (en) | Target application profile for quantum computing | |
WO2022254689A1 (ja) | 分散学習方法、分散学習システム、サーバ、プログラム | |
Rao | Signature‐policy attribute‐based key‐insulated signature | |
EP3817277A1 (en) | Device and method for certifying reliability of public key, and program therefor | |
JP2008226096A (ja) | 制約伝播装置、制約伝播方法、およびプログラム | |
US20210367779A1 (en) | Device and Method for Certifying Reliability of Public Key, and Program Therefor |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
RD03 | Notification of appointment of power of attorney |
Free format text: JAPANESE INTERMEDIATE CODE: A7423 Effective date: 20110721 |
|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20110825 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20121005 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20121016 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20121114 |
|
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: 20121204 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20121213 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 5161177 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: 20151221 Year of fee payment: 3 |
|
S531 | Written request for registration of change of domicile |
Free format text: JAPANESE INTERMEDIATE CODE: R313531 |
|
R350 | Written notification of registration of transfer |
Free format text: JAPANESE INTERMEDIATE CODE: R350 |