【課題】ｎ個のテーブル記憶部に記録されたデータに対して、一致するキーカラムを秘匿化しつつキーカラムが一致するデータのタプルを結合したデータを出力するマッチング技術を提供する。
【解決手段】すべてのｋ（ｋ＝１，２，…，ｎ）について、一致データｖ^＊を含むタプルの全部または一部のデータｅｘｔ_ｋ（ｖ^＊）を所定の順序で取得した後に、同一の順序のｖ_＊のｅｘｔ_ｋ（ｖ^＊）（ｋ＝１，２，…，ｎ）の集合を取得する。この値および所定の多項式の各係数に対して、準同型性を持つ暗号関数による暗号化と置換を含むミックスネットの処理と所定の順序による並び替えを行い、キーカラムが一致するデータのタプルを結合したデータを出力する。 （もっと読む）

【課題】特別正直検証者零知識対話証明の方法が与えられたときに、これを利用して、通信量と計算量共に少ない否認可能零知識対話証明を行えるようにする。
【解決手段】第二関係証明生成装置４１７には、共通入力と第三のランダムテープが入力され、第二の関係に関する非対話的知識の証明を第二関係証明検証装置４２３に出力する。第二関係証明検証装置４２３は、第二の関係に関する非対話的知識の証明を用いて、所定の関係式が成立しているか否かを判定する。証明生成装置４２５には、共通入力、証拠、第一のランダムテープ、第二のランダムテープが入力され、非対話的な、第一の関係を満たす証拠、あるいは第二の関係を満たす証拠のいずれかの証拠の知識の証明を生成する。証明検証装置４３４は、その証明の受理または不受理を表す信号を検証結果として出力する。 （もっと読む）

信頼されないコンピューティングノードによって実行された作業を検証する技法を提供する。中央コンピューティングシステムは、第１の信頼されないコンピューティングノードによって少なくとも部分的に実行されるべき第１計算を決定する。中央コンピューティングシステムは、第２の信頼されないコンピューティングノードによって少なくとも部分的に実行されるべき同等の第２計算を作るために第１計算に適用される変換関数をも決定する。中央コンピューティングシステムは、第１の信頼されないコンピューティングノードに第１計算を割り当て、変換関数を秘密に保ちながら、第２の信頼されないコンピューティングノードに第２計算を割り当てる。中央コンピューティングシステムは、第１計算の第１結果および第２計算の第２結果を受け取る。中央コンピューティングシステムは、第１の信頼されないコンピューティングノードおよび第２の信頼されないコンピューティングノードによって実行された作業を検証するために第１結果および第２結果を分析する。
（もっと読む）

【課題】効率的な楕円曲線ペアリング演算を行うことを目的とする。
【解決手段】Ｉｎｖｅｒｔｅｄ ｔｗｉｓｔｅｄ Ｅｄｗａｒｄ座標を拡張した拡張Ｉｎｖｅｒｔｅｄ ｔｗｉｓｔｅｄ Ｅｄｗａｒｄ座標を用いて表現したＴｗｉｓｔｅｄ Ｅｄｗａｒｄ型楕円曲線上の素数位数の点Ｐ（Ｚ₁＝１）と、ａｆｆｉｎｅ座標を用いて表現したＱとのペアリング演算を行うことを特徴とする。また、このペアリング演算を用いたＩＤベース暗号による暗号化方法、および、このＩＤベース暗号を復号する復号化方法も提供する。 （もっと読む）

【課題】多くの暗号機能を有する安全な関数型暗号方式を提供することを目的とする。
【解決手段】スパンプログラムに属性ベクトルの内積を適用することにより、アクセスストラクチャを構成した。このアクセスストラクチャは、スパンプログラムの設計と、属性ベクトルの設計とに自由度があり、アクセス制御の設計に大きな自由度を有する。そして、このアクセスストラクチャに対して秘密分散の概念を用いることで、関数型暗号処理を実現した。 （もっと読む）

【課題】素数判定に関する情報を簡易かつ整理された情報として確認する。
【解決手段】任意の数字であるターゲット値が、素数に該当するか否かを判定するための素数候補表Ｔ１を作成するプログラムであって、２から３０までに出現する素数及び１を素数格納配列部１２１に格納して、素数候補表Ｔ１の横軸Ｘの各列として描画し、素数格納配列部１２１に格納された各素数に対して３０を加算し、加算した値を素数候補表Ｔ１の次行の各列として追加し、各列の値を処理対象値としてピックアップし、各処理対象値を、素数格納配列に含まれる値で除し、整数で割り切れた場合には処理対象値に対応する列に、素数でないこととを示す数式と除外フラグを描画し、割り切れない場合には、処理対象値を、素数であるとして素数格納配列部１２１に格納し、素数として描画する。また、このような素数候補表を用い、数学パズルやモバイルゲーム等の知育教材を作成することができる。 （もっと読む）

【課題】署名長が短く、署名生成と署名検証の計算量がより少な署名方法を提供する。
【解決手段】本発明の署名・検証システムは、異なる群（Ｇ_１，Ｇ_２）からなる双線形写像を利用し、群Ｇ_１から群Ｇ_２への写像が困難であることを仮定し、異なる生成元の指数部を求めることが難しい性質を利用し、２つの異なる群上でのメッセージを署名のアウトプットとする。本発明の署名装置は、少なくとも署名記録部、コミットメント群要素選択部、コミットメント乱数生成部、コミットメント計算部、鍵乱数生成部、鍵計算部、鍵群要素選択部、鍵ランダマイズ部、鍵生成部、メッセージ取得部、署名乱数生成部、署名計算部、署名出力部を備える。検証装置は、検証入力部、検証確認部、検証出力部を備える。 （もっと読む）

【課題】署名長が短く、検証式の計算量がより少なく、高い安全性が証明可能な、群要素メッセージに対するデジタル署名方法であり、さらに、従来のようなメッセージの制約がなく、任意のメッセージに対して署名を生成できる署名方法を提供する。
【解決手段】署名・検証システムは、異なる群からなる双線形写像を利用し、群Ｇ_１から群Ｇ_２への写像が困難であることを仮定する。そして、異なる生成元の指数部を求めることが難しい性質を利用し、２つの異なる群上でのメッセージを署名のアウトプットとする。 （もっと読む）

【課題】再リンク鍵が悪用された場合であっても、その再リンク鍵に対応する署名者の匿名性が失われることを抑制する。
【解決手段】メッセージmを含む情報に対して定まるh∈G₁と、再リンク鍵r=h^x(i)∈G₁と、公開鍵y(n)∈G₂(n∈L)の集合とを用い、元h∈G₁と生成元g₂∈G₂との組に非退化双線形写像eを作用させた結果をe₁とし、tを任意の整数とした場合における、巡回群G_Tの元a(i)=e₁^t∈G_Tを生成し、元z(j)∈G₁と生成元g₂∈G₂との組に非退化双線形写像eを作用させた結果をe₂とし、元h∈G₁と公開鍵y(j)∈G₂とにeを作用させた結果をe₃とし、a(j)=e₂・e₃^c(j)∈G_T を生成し、元a(i)∈G_Tと元a(j)∈G_Tとからなる集合a_Lを含む情報に対して定まる整数wと、整数c(j)の総和Σc(j)とを用い、c(i)=w-Σc(j)を生成し、z(i)=h^t・r^-c(i)∈G₁を生成し、署名σ=(c_L,z_L)を生成する。 （もっと読む）

【課題】選択文書攻撃に対する安全性証明が可能なＭＰＫＣ方式の電子署名システムを実現するための情報処理装置が提供される。
【解決手段】第１秘密多項式Ｔの逆変換Ｔ^−１により、ｎ個の数で構成される元を含む有限環Ｋ^ｎの元ｙを有限環Ｋ^ｎの元ｙ’に変換する第１逆変換部と、ここで得られた有限環Ｋ^ｎの元ｙ’を有限環Ｋのｎ次拡大Ａの元Ｙとみなし、元Ｙを用いて、所定の多変数多項式で表現される写像ｆ：Ａ→Ａの原像の要素Ｘ∈｛Ｚ｜ｆ（Ｚ）＝Ｙ｝を算出する要素算出部と、原像の要素数αに比例した確率ｐで原像の要素Ｘを１つ選択し、確率（１−ｐ）で例外値を出力する要素選択部と、ここで選択された要素Ｘを有限環Ｋ^ｎの元ｘ’とみなし、第２秘密多項式Ｓの逆変換Ｓ^−１により、有限環Ｋ^ｎの元ｘ’を有限環Ｋ^ｎの元ｘに変換する第２逆変換部とを備える、情報処理装置が提供される。 （もっと読む）

【課題】メッシュ構造を表現した電子署名を行うことができる多重署名システム及び検証システム及び多重署名方法及び多重署名プログラムを提供すること。
【解決手段】多重署名システムＡは、複数の一般ノードＢがメッシュ構造状に構成され、メッシュ構造上で連続（隣接）する二つの一般ノード間において多重署名情報及び検証鍵情報を演算により生成する。そして、多重署名システムＡは、複数の一般ノードＢを統括する代表ノードＣにおいて、多重署名情報の総和をメッシュ構造全体の公開多重署名情報として公開し、また、検証鍵情報の総和をメッシュ構造全体の公開検証鍵情報として公開する。 （もっと読む）

【課題】木構造を表現でき、かつ効率的な順序付き電子署名を行うことができる回覧システム及び多重署名方法及び多重書名プログラムを提供すること。
【解決手段】ツリー構造上、少なくとも１階層以上で構成されている一又は複数の下位のノードＢと、最上位のノードＣとによって構成され、ツリー構造上において連続（隣接）する二つのノード間において、検証鍵情報又は順序付き多重署名情報を演算により算出する。そして、多重署名システムＡは、一階層下のノードで算出されたそれぞれの検証鍵情報と順序付き多重署名情報を一階層上のノードで総和し、最上位のノードＣを示す検証鍵情報を各ノードの検証鍵情報の総和に加算したものを、ツリー構造全体の検証鍵情報として公開し、最上位のノードＣを示す署名情報を各ノードの順序付き多重署名情報の総和に加算したものを、ツリー構造全体の順序付き多重署名情報として公開する。 （もっと読む）

【課題】署名サイズを一定値に抑制し、効率的に順序付き電子署名を行うことができる多重署名システム及び多重署名方法及び多重署名プログラムを提供すること。
【解決手段】第１ノード１１は、ハッシュ値に自身の固有署名鍵により演算を行って第１ノード順序付き多重署名情報を生成し、第１ノード順序付き多重署名情報から第１ノード署名情報を生成し、第１ノード１１自身の固有検証鍵から第１ノード全体検証鍵を生成する。中間ノード２１は、直前ノード署名情報に中間ノード２１自身の固有署名鍵により演算を行い、当該演算の結果に直前ノード順序付き多重署名情報を用いて中間ノード順序付き多重署名情報を生成し、直前のノード自身の固有検証鍵に自身の固有署名鍵により演算を行い、当該演算の結果に直前ノード全体検証鍵を用いて中間ノード全体検証鍵を生成し、ハッシュ値に中間ノード２１自身の固有署名鍵により演算を行って中間ノード署名情報を生成する。 （もっと読む）

【課題】本発明は、電子署名を構成する要素の数を少なくし、電子署名長が短く、情報量及び通信量が少なく、また、検証時の計算量の少ない電子署名検証方法及び装置を提供することを目的とする。
【解決手段】本発明の電子署名検証システムは、登録装置と、電子署名装置と、検証装置からなる。電子署名装置は、乱数ｘ及びｙとＧ_１及びＧ_２それぞれの生成元ｇ_１及びｇ_２を用いて、Ｘ＝ｇ_２^ｘ、Ｙ＝ｇ_２^ｙを計算し、公開鍵ｐｋを生成する。ｇ_１、ｇ_２、乱数ｒ_ｉ、ｘ、ｙ及び平文ｍ_ｉを用いて、電子署名σを生成する。検証装置は、公開鍵ｐｋ、電子署名σ及び平文ｍ_ｉを用いて、改竄等が行われていないか検証する。 （もっと読む）

本発明は、公開行列に基づき、エラー補正コードのデコーディングを用いて暗号化・認証を行う方法に関する。ここで、公開行列は擬似巡回行列である。本発明はまた、暗号化装置の動作によって上記方法を実行するように構成される計算処理手段を備える暗号化装置に関する。本発明は、公開行列に基づき、エラー補正コードのデコーディングを用いて暗号化・認証を行う方法において記憶されるべき公衆データの量を減少させることを可能にする。
（もっと読む）

【課題】ＸＯＲを用いた（ｋ、ｎ）閾値分散法において、秘密情報の高速な復元を可能とする。
【解決手段】部分分散情報生成手段２１は、ｋ個（ｋは正の整数）の分散情報を入力し、ｋ（ｎ_ｐ−１）個（ｎ_ｐは、正の素数）の部分分散情報を生成する。行列生成手段２２は、ｋ個の分散情報に対応するインデックス番号ｔ_０、ｔ_１、・・・、ｔ_ｋ−１（０≦ｔ_０、ｔ_１、・・・、ｔ_ｋ−１≦ｋ−１）を入力し、部分秘密情報Ｋ_１、・・・、Ｋ_ｎｐ−１を復元するための部分分散情報の組み合わせを示す行列を生成する。復元手段２３は、生成された行列を部分分散情報に適用して、部分秘密情報を復元し、連結手段２４は、復元した部分秘密情報を連結して元の秘密情報Ｋを生成する。 （もっと読む）

【課題】初期値鋭敏性の影響を受けることなく、復号化装置側で暗号文を正確に復号化することが可能な暗号化を実施することができるようにする。
【解決手段】無理数ａを係数に有する一次式Ｙ＝ａ×ＸのＹの値として、小さな自然数から順次大きな自然数を代入して、その一次式の解Ｘの小数部分を暗号化キーとして抽出する暗号化キー抽出部１２と、平文入力部１１により入力が受け付けられた平文を暗号化キー抽出部１２により抽出された暗号化キーと対にして格納する平文格納処理部１３とを設け、平文格納処理部１３により格納されている平文を対の暗号化キーが小さい順に並び替え、並び替え後の平文を暗号文とする。 （もっと読む）