文献

J-GLOBAL ID：201202223611874223   整理番号：12A1209390

ペアリングベース匿名クレデンシャルシステムにおける属性CNF式の効率的な証明

Efficient Proofs for CNF Formulas on Attributes in Pairing-Based Anonymous Credential System

著者 (3件)： BEGUM Nasima (Okayama Univ., Okayama, JPN) ,  NAKANISHI Toru (Okayama Univ., Okayama, JPN) ,  FUNABIKI Nobuo (Okayama Univ., Okayama, JPN)
資料名： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻： 112  号： 129(EMM2012 1-34)  ページ： 207-212  発行年： 2012年07月12日 
JST資料番号： S0532B  ISSN： 0913-5685  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 英語 (EN)

抄録/ポイント： 匿名クレデンシャルシステムでは,証明書発行機関からユーザに証明書が発行され,ユーザは検証者へその証明書の保持を匿名で証明できる。それに加えて,ユーザは,証明書により保証された自身の属性における関係式も証明可能である。従来,証明サイズが属性数に依存せず固定長となる利点をもつペアリングベース方式が提案されている。この方式では,属性の内積述語を証明でき,このため任意のCNF式(もしくはDNF式)を証明可能である。しかしながら,証明生成においてCNF式に含まれるリテラルの数に依存した回数のべき乗演算が必要となる問題がある。そこで本研究では,従来システムよりも効率的に固定長サイズのCNF式証明を生成可能な方式を提案する。提案方式では,証明生成において,リテラル数に依存した乗算のみが必要であり,従来方式より効率的になっている。この方式では,アキュームレータを拡張して利用することにより効率化を実現している。拡張したアキュームレータでは,複数の属性情報が複数の集合に所属することを乗算を用いて効率的に証明可能であり,これにより効率的にCNF式を証明できる。(著者抄録)

シソーラス用語： 双線形系 ,  群 ,  認証 ,  システム ,  *属性 ,  *標準 ,  *形式 ,  効率 ,  証明
準シソーラス用語： アキュムレータ ,  *クレデンシャルシステム ,  サイズ ,  乗法 ,  *匿名 ,  *ペアリング【写像】

分類 (2件)： 群論  (AB03000Y) ,  データ保護  (JD01020V)

タイトルに関連する用語 (5件)： ペアリング ,  匿名 ,  属性 ,  CNF ,  証明