| 講演名 | 2012-07-20 ペアリングベース匿名クレデンシャルシステムにおける属性CNF式の効率的な証明(セキュリティ,一般) ベゴム ナシマ, 中西 透, 舩曵 信生, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 匿名クレデンシャルシステムでは,証明書発行機関からユーザに証明書が発行され,ユーザは検証者へその証明書の保持を匿名で証明できる.それに加えて,ユーザは,証明書により保証された自身の属性における関係式も証明可能である.従来,証明サイズが属性数に依存せず固定長となる利点をもつペアリングベース方式が提案されている.この方式では,属性の内積述語を証明でき,このため任意のCNF式(もしくはDNF式)を証明可能である.しかしながら,証明生成においてCNF式に含まれるリテラルの数に依存した回数のべき乗演算が必要となる問題がある.そこで本研究では,従来システムよりも効率的に固定長サイズのCNF式証明を生成可能な方式を提案する.提案方式では,証明生成において,リテラル数に依存した乗算のみが必要であり,従来方式より効率的になっている.この方式では,アキュームレータを拡張して利用することにより効率化を実現している.拡張したアキュームレータでは,複数の属性情報が複数の集合に所属することを乗算を用いて効率的に証明可能であり,これにより効率的にCNF式を証明できる. |
| 抄録(英) | Anonymous credential systems allow the user to convince a verifier of the possession of a certificate issued by the issuing authority anonymously. In the systems, the user can prove the relations on his/her attributes certified by the certificate. Previously, a pairing-based anonymous credential system with constant-size proofs in the number of attributes of the user has been proposed. This system supports the proofs of the inner product relations on attributes, and thus can handle any CNF (or DNF) formula on attributes. However, in this system, the proof generation needs exponentiations depending on the number of the literals in OR relations. In this paper, we propose a pairing-based anonymous credential system with the constant-size proofs for CNF formulas, where the proof generation needs only multiplications depending on the number of literals, and thus it is more efficient. The key of our construction is to use an extended accumulator, by which we can verify that multiple attributes are included in multiple sets, all at once. This leads to the verification of CNF formulas on attributes. Since the accumulator is mainly calculated by multiplications, we achieve the better computational costs. |
| キーワード(和) | 匿名性 / 匿名クレデンシャル / 属性 / CNF式 / ペアリング |
| キーワード(英) | anonymity / anonymous credentials / attributes / CNF formulas / pairings |
| 資料番号 | ISEC2012-38,SITE2012-34,ICSS2012-40,EMM2012-30 |
| 発行日 |
| 研究会情報 | |
| 研究会 | ICSS |
|---|---|
| 開催期間 | 2012/7/12(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Information and Communication System Security (ICSS) |
|---|---|
| 本文の言語 | ENG |
| タイトル（和） | ペアリングベース匿名クレデンシャルシステムにおける属性CNF式の効率的な証明(セキュリティ,一般) |
| サブタイトル（和） | |
| タイトル（英） | Efficient Proofs for CNF Formulas on Attributes in Pairing-Based Anonymous Credential System |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 匿名性 / anonymity |
| キーワード(2)（和/英） | 匿名クレデンシャル / anonymous credentials |
| キーワード(3)（和/英） | 属性 / attributes |
| キーワード(4)（和/英） | CNF式 / CNF formulas |
| キーワード(5)（和/英） | ペアリング / pairings |
| 第 1 著者 氏名（和/英） | ベゴム ナシマ / Nasima BEGUM |
| 第 1 著者 所属（和/英） | 岡山大学大学院自然科学研究科 Graduate School of Natural Science and Technology, Okayama University |
| 第 2 著者 氏名（和/英） | 中西 透 / Toru NAKANISHI |
| 第 2 著者 所属（和/英） | 岡山大学大学院自然科学研究科 Graduate School of Natural Science and Technology, Okayama University |
| 第 3 著者 氏名（和/英） | 舩曵 信生 / Nobuo FUNABIKI |
| 第 3 著者 所属（和/英） | 岡山大学大学院自然科学研究科 Graduate School of Natural Science and Technology, Okayama University |
| 発表年月日 | 2012-07-20 |
| 資料番号 | ISEC2012-38,SITE2012-34,ICSS2012-40,EMM2012-30 |
| 巻番号（vol） | vol.112 |
| 号番号（no） | 128 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |