JP5469631B2 - 復号結果検証装置、方法及びプログラム - Google Patents
復号結果検証装置、方法及びプログラム Download PDFInfo
- Publication number
- JP5469631B2 JP5469631B2 JP2011077726A JP2011077726A JP5469631B2 JP 5469631 B2 JP5469631 B2 JP 5469631B2 JP 2011077726 A JP2011077726 A JP 2011077726A JP 2011077726 A JP2011077726 A JP 2011077726A JP 5469631 B2 JP5469631 B2 JP 5469631B2
- Authority
- JP
- Japan
- Prior art keywords
- function
- decryption
- decoding
- verification
- true
- 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
まず、以下のように記号を定義する。
この発明の一実施形態である復号結果検証装置1(図1)は、復号装置2に行わせた所定の計算の結果を用いて、暗号文E(B(m))を復号する。その際、復号結果検証装置1は、復号装置2の計算結果が、正しく行われたかどうかを検証可能である。言い換えれば、復号装置2が、メッセージmを改変したかどうか検証可能である。
例えば、B(m)=m||h(m)とすることができる。もし、このように定義されたBが、Bの性質を満たさなければ、hをランダムオラクルと識別することができるが、安全なハッシュ関数をランダムオラクルと識別するための実施可能なアルゴリズムは存在しないと考えられている。よって、このように定義されたBは、Bの性質を満たす。
上記の実施形態のアルゴリズムは、次の<方式1>のように記述することができる。ここで、暗号文C=E(B(m))である。機械Xは、上記実施形態の復号装置2に対応する。
1.乱数rを生成し、C0=E(r)を計算する。
する。
1.機械XにB(m)+rを入力し、機械Xから復号結果dを受信する。
する。
1.機械Xに暗号文rを入力し、機械Xから復号結果dを受信する。
1.機械Yから復号結果dを受信する。
1.乱数rを生成し、機械Xに送信する。機械Xからdを受信する。
乱数rは、復号装置2が知ることができない所定の整数であってもよい。
11 乱数生成部
12 送信情報生成部
13 送信部
14 受信部
15 検証情報生成部
16 判定部
17 出力部
2 復号装置
Claims (5)
- Gを可換群、EをGの元を平文とする公開鍵暗号方式における準同型性の暗号化関数、Bを集合S⊆Gを値域とし任意の0ではないx∈Gについて(S+x)∩Sの元で0ではないものを計算することが困難な関数、mをメッセージ、C=E(B(m))を暗号文、IをGの元xを入力としてx=B(m’)となるm’が存在する場合には真を出力する関数として、
乱数r∈Gを生成する乱数生成部と、
送信情報C0=E(r)を計算する送信情報生成部と、
C+C0を、上記暗号化関数Eを復号可能であり受信したC+C0を復号しその復号結果dを出力する復号装置に送信する送信部と、
上記復号装置から上記復号結果dを受信する受信部と、
検証情報d’=d−rを計算する検証情報生成部と、
I(d’)=真であるか判定する判定部と、
を含む復号結果検証装置。 - 請求項1の復号結果検証装置において、
AをGの元を入力としてあるメッセージを出力する関数で任意のメッセージmに対してA(B(m))=mの性質を満たす関数として、
I(d’)=真であれば、A(d’)を出力する出力部を更に含む、
復号結果検証装置。 - 請求項1又は2の復号結果検証装置において、
hをハッシュ関数、||をビット結合として、
上記B(m)=m||h(m)であることを特徴とする、
復号結果検証装置。 - Gを可換群、EをGの元を平文とする公開鍵暗号方式における準同型性の暗号化関数、Bを集合S⊆Gを値域とし任意の0ではないx∈Gについて(S+x)∩Sの元で0ではないものを計算することが困難な関数、mをメッセージ、C=E(B(m))を暗号文、IをGの元xを入力としてx=B(m’)となるm’が存在する場合には真を出力する関数として、
乱数生成部が、乱数r∈Gを生成する乱数生成ステップと、
送信情報生成部が、送信情報C0=E(r)を計算する送信情報生成ステップと、
送信部が、C+C0を、上記暗号化関数Eを復号可能であり受信したC+C0を復号しその復号結果dを出力する復号装置に送信する送信ステップと、
受信部が、上記復号装置から上記復号結果dを受信する受信ステップと、
検証情報生成部が、検証情報d’=d−rを計算する検証情報生成ステップと、
判定部が、I(d’)=真であるか判定する判定ステップと、
を含む復号結果検証方法。 - 請求項1から3の何れかに記載の復号結果検証装置の各部としてコンピュータを機能させるためのプログラム。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2011077726A JP5469631B2 (ja) | 2011-03-31 | 2011-03-31 | 復号結果検証装置、方法及びプログラム |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2011077726A JP5469631B2 (ja) | 2011-03-31 | 2011-03-31 | 復号結果検証装置、方法及びプログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2012212031A JP2012212031A (ja) | 2012-11-01 |
JP5469631B2 true JP5469631B2 (ja) | 2014-04-16 |
Family
ID=47266051
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2011077726A Active JP5469631B2 (ja) | 2011-03-31 | 2011-03-31 | 復号結果検証装置、方法及びプログラム |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP5469631B2 (ja) |
Families Citing this family (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP5912281B2 (ja) * | 2011-04-18 | 2016-04-27 | 日本電信電話株式会社 | 復号結果検証装置、方法、システム及びプログラム |
EP3001401A4 (en) | 2013-07-18 | 2017-03-22 | Nippon Telegraph And Telephone Corporation | Decoding device, decoding ability providing device, method thereof, and program |
KR101833323B1 (ko) | 2018-01-12 | 2018-02-28 | 한국스마트인증 주식회사 | 익명성 보장 및 시빌 공격 방지가 가능한, 블록 체인을 이용한 의사 표시 확인 방법 |
-
2011
- 2011-03-31 JP JP2011077726A patent/JP5469631B2/ja active Active
Also Published As
Publication number | Publication date |
---|---|
JP2012212031A (ja) | 2012-11-01 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP6058237B1 (ja) | 暗号文変換装置、暗号文変換プログラム及び暗号文変換方法 | |
CN114036565B (zh) | 隐私信息检索系统及隐私信息检索方法 | |
US20180091301A1 (en) | Method and system for switching public keys in ciphertexts | |
JP6059347B2 (ja) | 復号装置、復号能力提供装置、それらの方法、およびプログラム | |
JP6738062B2 (ja) | 暗号文照合システム、方法、および記録媒体 | |
JP2015184594A (ja) | 暗号文処理装置、暗号文処理方法、暗号文処理プログラムおよび情報処理装置 | |
JP5198539B2 (ja) | 記憶装置、アクセス装置およびプログラム | |
JP6738061B2 (ja) | 暗号文照合システム、方法、および記録媒体 | |
CN113141247A (zh) | 一种同态加密方法、装置、系统及可读存储介质 | |
WO2014030706A1 (ja) | 暗号化データベースシステム、クライアント装置およびサーバ、暗号化データ加算方法およびプログラム | |
JP5469631B2 (ja) | 復号結果検証装置、方法及びプログラム | |
JP2007114494A (ja) | 秘匿計算方法及び装置 | |
JP2008176192A (ja) | 暗号変換方法および装置、並びにプログラム | |
JP5755557B2 (ja) | 時限暗号システム、時限暗号方法、装置、プログラム | |
CN111970130B (zh) | 量子区块链建立方法及系统 | |
WO2018102382A1 (en) | Method and system for switching public keys in ciphertexts | |
JP2016157055A (ja) | 暗号化システム、認証システム、暗号化装置、復号装置、認証子生成装置、検証装置、暗号化方法、認証方法 | |
JP2010258708A (ja) | 情報処理装置、演算検証方法およびプログラム | |
US8036378B2 (en) | System and method of authentication | |
JP5337076B2 (ja) | 秘密計算システム、秘密計算方法、不正使用防止方法 | |
US20230132163A1 (en) | Memory processing apparatus, memory verification apparatus, memory updating apparatus, memory protection system, method, and computer readable medium | |
JP2015026892A (ja) | 情報処理システム | |
JP5912281B2 (ja) | 復号結果検証装置、方法、システム及びプログラム | |
Abdul-Jabbar | Secure QR-code generation in healthcare | |
JP5142361B2 (ja) | 正当性検証装置 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20121227 |
|
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: 20140121 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20140131 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 5469631 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 Free format text: JAPANESE INTERMEDIATE CODE: R150 |