JP6688933B1 - 公開鍵の信頼性を証明するための装置、方法及びそのためのプログラム - Google Patents
公開鍵の信頼性を証明するための装置、方法及びそのためのプログラム Download PDFInfo
- Publication number
- JP6688933B1 JP6688933B1 JP2019155205A JP2019155205A JP6688933B1 JP 6688933 B1 JP6688933 B1 JP 6688933B1 JP 2019155205 A JP2019155205 A JP 2019155205A JP 2019155205 A JP2019155205 A JP 2019155205A JP 6688933 B1 JP6688933 B1 JP 6688933B1
- Authority
- JP
- Japan
- Prior art keywords
- public key
- proof
- data
- random number
- identifier
- 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
- 238000000034 method Methods 0.000 title claims abstract description 43
- 238000012795 verification Methods 0.000 claims abstract description 27
- 230000004044 response Effects 0.000 claims abstract description 21
- 125000004122 cyclic group Chemical group 0.000 claims description 23
- 238000010586 diagram Methods 0.000 abstract description 2
- 230000006870 function Effects 0.000 description 24
- 238000012545 processing Methods 0.000 description 5
- 238000004891 communication Methods 0.000 description 4
- 230000000694 effects Effects 0.000 description 3
- 239000000654 additive Substances 0.000 description 2
- 230000000996 additive effect Effects 0.000 description 2
- 230000005540 biological transmission Effects 0.000 description 2
- 238000012986 modification Methods 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
- 230000008569 process Effects 0.000 description 1
- 230000007480 spreading Effects 0.000 description 1
Images
Landscapes
- Storage Device Security (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
Description
PK2=xPK1 (1)
ここで、第1の秘密鍵をa、巡回群Gの生成元をg、第1の公開鍵PK1をa・g、第2の秘密鍵をax、第2の公開鍵PK2をax・gとし、xは第1の公開鍵PK1及びデータrを用いて整数を出力するハッシュ関数で決定されるものとする。rは乱数若しくは疑似乱数又は前記乱数若しくは疑似乱数を含むデータである。
PK2=xPK1 (1)
ここで、第1の秘密鍵をa、巡回群Gの生成元をg、第1の公開鍵PK1をa・g、第2の秘密鍵をax、第2の公開鍵PK2をax・gとし、xは第1の公開鍵PK1及びデータrを用いて整数を出力するハッシュ関数で決定されるものとする。rは乱数若しくは疑似乱数又は前記乱数若しくは疑似乱数を含むデータである。
PK2=xPK1 (1)
ここで、第1の秘密鍵をa、巡回群Gの生成元をg、第1の公開鍵PK1をa・g、第2の秘密鍵をax、第2の公開鍵PK2をax・gとし、xは第1の公開鍵PK1及びデータrを用いて整数を出力するハッシュ関数で決定されるものとする。rは乱数若しくは疑似乱数又は前記乱数若しくは疑似乱数を含むデータである。
ID2=xID1 (1)
ここで、第1の整数をa、巡回群Gの生成元をg、第1の識別子ID1をa・g、第2の整数をax、第2の識別子ID2をax・gとし、xは第1の識別子ID1及びデータrを用いて整数を出力するハッシュ関数で決定されるものとする。rは乱数若しくは疑似乱数又は前記乱数若しくは疑似乱数を含むデータである。
ID2=xID1 (1)
ここで、第1の整数をa、巡回群Gの生成元をg、第1の識別子ID1をa・g、第2の整数をax、第2の識別子ID2をax・gとし、xは第1の識別子ID1及びデータrを用いて整数を出力するハッシュ関数で決定されるものとする。rは乱数若しくは疑似乱数又は前記乱数若しくは疑似乱数を含むデータである。
ID2=xID1 (1)
ここで、第1の整数をa、巡回群Gの生成元をg、第1の識別子ID1をa・g、第2の整数をax、第2の識別子ID2をax・gとし、xは第1の識別子ID1及びデータrを用いて整数を出力するハッシュ関数で決定されるものとする。rは乱数若しくは疑似乱数又は前記乱数若しくは疑似乱数を含むデータである。
(第1の実施形態)
図2に、本発明の第2の実施形態にかかる、第1の鍵ペアから生成された第2の鍵ペアを構成する第2の公開鍵の信頼性を証明するためのシステムを示す。
送信装置210は、受領装置220に対して、第2の公開鍵ax・gに加えて第2の秘密鍵axを渡すこともできる。第2の秘密鍵axの提供の態様としては、その他のデータと同様にさまざまな態様が考えられる。この場合、受領装置220は、第2の鍵ペアを用いてデータmに対する電子署名を行うことが可能となる。そして、送信装置210から証明データを受け取っていれば、必要に応じて、電子署名の受信者に対して証明データをデータm及びそれに対する署名sとともに渡して、当該受信者は、当該電子署名が第1の公開鍵a・gの所有者により生成された第2の鍵ペアによるものであることを示すことができる。生成装置210が受領装置220を兼ねる場合、つまり自ら第1の公開鍵a・gの所有者が自ら第2の公開鍵ax・gを用いる場合には、当該所有者が署名者となる。
210 送信装置
220 受領装置
230 証明装置
231 通信部
232 処理部
233 記憶部
Claims (7)
- 第1の秘密鍵及び第1の公開鍵PK1により構成される第1の鍵ペアに関連づけて生成された第2の鍵ペアを構成する第2の公開鍵PK2の信頼性を証明するための方法において、コンピュータが、
前記第2の公開鍵PK2の信頼性の証明を求める証明要求であって、前記第2の公開鍵PK2及び証明データを含む証明要求を受信するステップと、
前記証明要求に応じて、式(1)で表される式を計算するステップと、
前記計算の結果を前記証明要求に対する応答として送信するステップと
を含み、
前記計算は、
アクセス可能な第1の公開鍵PK1及び前記証明データに含まれるデータrをハッシュ関数に入力して整数xを出力するステップと、
前記整数xを用いて前記検証式の両辺が一致するか否かを計算するステップと
を含むことを特徴とする方法。
PK2=xPK1 (1)
ここで、第1の秘密鍵をa、巡回群Gの生成元をgとし、前記第1の公開鍵PK1はa・g、前記第2の公開鍵PK2はax・g、前記rは乱数若しくは疑似乱数又は前記乱数若しくは疑似乱数を含むデータである。 - 前記データrは、前記乱数若しくは疑似乱数と前記第2の公開鍵PK2の属性を表すデータである文字列strとを含むことを特徴とする請求項1に記載の方法。
- コンピュータに、第1の秘密鍵及び第1の公開鍵PK1により構成される第1の鍵ペアに関連づけて生成された第2の鍵ペアを構成する第2の公開鍵PK2の信頼性を証明するための方法を実行させるためのプログラムにおいて、前記方法は、
前記第2の公開鍵PK2の信頼性の証明を求める証明要求であって、前記第2の公開鍵PK2及び証明データを含む証明要求を受信するステップと、
前記証明要求に応じて、式(1)で表される式を計算するステップと、
前記計算の結果を前記証明要求に対する応答として送信するステップと
を含み、
前記計算は、
アクセス可能な第1の公開鍵PK1及び前記証明データに含まれるデータrをハッシュ関数に入力して整数xを出力するステップと、
前記整数xを用いて前記検証式の両辺が一致するか否かを計算するステップと
を含むことを特徴とするプログラム。
PK2=xPK1 (1)
ここで、第1の秘密鍵をa、巡回群Gの生成元をgとし、前記第1の公開鍵PK1はa・g、前記第2の公開鍵PK2はax・g、前記rは乱数若しくは疑似乱数又は前記乱数若しくは疑似乱数を含むデータである。 - 第1の秘密鍵及び第1の公開鍵PK1により構成される第1の鍵ペアに関連づけて生成された第2の鍵ペアを構成する第2の公開鍵PK2の信頼性を証明するための装置において、
前記第2の公開鍵PK2の信頼性の証明を求める証明要求であって、前記第2の公開鍵PK2及び証明データを含む証明要求を受信し、
前記証明要求に応じて、式(1)で表される式を計算し、
前記計算の結果を前記証明要求に対する応答として送信し、
前記計算は、
アクセス可能な第1の公開鍵PK1及び前記証明データに含まれるデータrをハッシュ関数に入力して整数xを出力し、前記整数xを用いて前記検証式の両辺が一致するか否かを計算することを特徴とする装置。
PK2=xPK1 (1)
ここで、第1の秘密鍵をa、巡回群Gの生成元をgとし、前記第1の公開鍵PK1はa・g、前記第2の公開鍵PK2はax・g、前記rは乱数若しくは疑似乱数又は前記乱数若しくは疑似乱数を含むデータである。 - 第1の識別子ID1に関連づけて生成された第2の識別子ID2の信頼性を証明するための方法において、コンピュータが、
前記第2の識別子ID2の信頼性の証明を求める証明要求であって、前記第2の識別子ID2及び証明データを含む証明要求を受信するステップと、
前記証明要求に応じて、式(1)で表される検証式を計算するステップと、
前記計算の結果を前記証明要求に対する応答として送信するステップと
を含み、
前記計算は、
アクセス可能な第1の識別子ID1及び前記証明データに含まれるデータrをハッシュ関数に入力して整数xを出力するステップと、
前記整数xを用いて前記検証式の両辺が一致するか否かを計算するステップと
を含むことを特徴とする方法。
ID2=xID1 (1)
ここで、第1の整数をa、巡回群Gの生成元をgとし、前記第1の識別子ID1はa・g、前記第2の識別子ID2はax・g、前記rは乱数若しくは疑似乱数又は前記乱数若しくは疑似乱数を含むデータである。 - コンピュータに、第1の識別子ID1に関連づけて生成された第2の識別子ID2の信頼性を証明するための方法を実行させるためのプログラムにおいて、前記方法は、
前記第2の識別子ID2の信頼性の証明を求める証明要求であって、前記第2の識別子ID2及び証明データを含む証明要求を受信するステップと、
前記証明要求に応じて、式(1)で表される式を計算するステップと、
前記計算の結果を前記証明要求に対する応答として送信するステップと
を含み、
前記計算は、
アクセス可能な第1の識別子ID1及び前記証明データに含まれるデータrをハッシュ関数に入力して整数xを出力するステップと、
前記整数xを用いて前記検証式の両辺が一致するか否かを計算するステップと
を含むことを特徴とするプログラム。
ID2=xID1 (1)
ここで、第1の整数をa、巡回群Gの生成元をgとし、前記第1の識別子ID1はa・g、前記第2の識別子ID2はax・g、前記rは乱数若しくは疑似乱数又は前記乱数若しくは疑似乱数を含むデータである。 - 第1の識別子ID1に関連づけて生成された第2の識別子ID2の信頼性を証明するための装置において、
前記第2の識別子ID2の信頼性の証明を求める証明要求であって、前記第2の識別子ID2及び証明データを含む証明要求を受信し、
前記証明要求に応じて、式(1)で表される式を計算し、
前記計算の結果を前記証明要求に対する応答として送信し、
前記計算は、
アクセス可能な第1の識別子ID1及び前記証明データに含まれるデータrをハッシュ関数に入力して整数xを出力し、前記整数xを用いて前記検証式の両辺が一致するか否かを計算することを特徴とする装置。
ID2=xID1 (1)
ここで、第1の整数をa、巡回群Gの生成元をgとし、前記第1の識別子ID1はa・g、前記第2の識別子ID2はax・g、前記rは乱数若しくは疑似乱数又は前記乱数若しくは疑似乱数を含むデータである。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2019155205A JP6688933B1 (ja) | 2019-08-28 | 2019-08-28 | 公開鍵の信頼性を証明するための装置、方法及びそのためのプログラム |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2019155205A JP6688933B1 (ja) | 2019-08-28 | 2019-08-28 | 公開鍵の信頼性を証明するための装置、方法及びそのためのプログラム |
Related Parent Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2019100795A Division JP2020195100A (ja) | 2019-05-29 | 2019-05-29 | 公開鍵の信頼性を証明するための装置、方法及びそのためのプログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JP6688933B1 true JP6688933B1 (ja) | 2020-04-28 |
JP2020195126A JP2020195126A (ja) | 2020-12-03 |
Family
ID=70413835
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2019155205A Active JP6688933B1 (ja) | 2019-08-28 | 2019-08-28 | 公開鍵の信頼性を証明するための装置、方法及びそのためのプログラム |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP6688933B1 (ja) |
-
2019
- 2019-08-28 JP JP2019155205A patent/JP6688933B1/ja active Active
Also Published As
Publication number | Publication date |
---|---|
JP2020195126A (ja) | 2020-12-03 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN104811450B (zh) | 云计算中一种基于身份的数据存储方法及完整性验证方法 | |
Yu et al. | Enhanced privacy of a remote data integrity-checking protocol for secure cloud storage | |
JP5593850B2 (ja) | 認証装置、認証方法、プログラム、及び署名生成装置 | |
US11496290B2 (en) | Blockchain network and finalization method therefor | |
Luong et al. | Privacy-preserving blockchain-based healthcare system for IoT devices using zk-SNARK | |
JP2001066989A (ja) | 一方向性関数生成方法,一方向性関数値生成装置,証明装置,認証方法および認証装置 | |
JP5264548B2 (ja) | 認証システムおよび認証方法 | |
CN115396115B (zh) | 区块链数据隐私保护方法、装置、设备及可读存储介质 | |
CN106296956A (zh) | 一种面向分布式网络投票的安全保障方法 | |
CN113159762A (zh) | 基于Paillier和博弈论的区块链交易方法 | |
Mishra et al. | BB-tree based secure and dynamic public auditing convergence for cloud storage | |
CN116975936B (zh) | 金融资质证明方法、金融资质验证方法 | |
WO2020241817A1 (ja) | 公開鍵の信頼性を証明するための装置、方法及びそのためのプログラム | |
CN116170144B (zh) | 智能电网匿名认证方法、电子设备及存储介质 | |
JP6634171B2 (ja) | 公開鍵の信頼性を証明するための装置、方法及びそのためのプログラム | |
JP6478361B1 (ja) | ブロックチェーン・ネットワーク及びそのための確定方法 | |
JP6688933B1 (ja) | 公開鍵の信頼性を証明するための装置、方法及びそのためのプログラム | |
Rehman et al. | Securing cloud storage by remote data integrity check with secured key generation | |
EP3917076A1 (en) | A zero knowledge proof method for content engagement | |
US20240031341A1 (en) | Methods, devices and system related to a distributed ledger and user identity attribute | |
WO2019216435A1 (ja) | 公開鍵の信頼性を証明するための装置、方法及びそのためのプログラム | |
JP2014039193A (ja) | 情報処理装置、管理装置、情報処理方法及びプログラム | |
CN116975937B (zh) | 匿名证明方法、匿名验证方法 | |
CN117454437B (zh) | 交易处理方法、存储介质及电子设备 | |
CN113190862B (zh) | 基于sm2的无证书密钥生成方法、装置、电子设备及介质 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20190828 |
|
A871 | Explanation of circumstances concerning accelerated examination |
Free format text: JAPANESE INTERMEDIATE CODE: A871 Effective date: 20190828 |
|
A975 | Report on accelerated examination |
Free format text: JAPANESE INTERMEDIATE CODE: A971005 Effective date: 20191010 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20191213 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20200212 |
|
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: 20200403 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20200406 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6688933 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |