講演抄録/キーワード |
講演名 |
2014-09-05 14:45
Efficient Proofs for Monotone Formulas on Attributes Excluding Restriction in Anonymous Credential System ○Shahidatul Sadiah(Okayama Univ.)・Toru Nakanishi(Hiroshima Univ.)・Nobuo Funabiki(Okayama Univ.) ISEC2014-50 |
抄録 |
(和) |
匿名属性認証システムでは,ユーザが誰であるかを秘匿したまま,自分の年齢や性別などの属性がある関係を満たしていることをサービス提供者に証明することを可能とする.従来,OR 関係で 1 つの属性のみが真となるモノトーン論理式の充足を証明可能な匿名属性認証方式を提案している.モノトーン論理式とは,AND 関係と OR 関係の論理式の任意の組み合わせである.しかし,従来方式では OR 関係で 2 つ以上の属性が真となる場合に検証でき
ない,といった問題がある.本研究では,Linear Homomorphic (LH) 署名を用いることで検証に必要な最小の属性のみを示す証明書を生成することで,任意のモノトーン論理式を証明可能な匿名属性認証方式を提案する. |
(英) |
An anonymous credential system on attributes allows a user to convince a service provider anonymously that he/she owns the certified attributes. Previously, we proposed an anonymous credential scheme to prove the
satisfaction of a monotone formula when only one attribute is true for any OR relation. A monotone formula represents any combination of AND relations and OR relations. However, this system has a drawback that it cannot verify a user’s certificate such that two or more attributes for an OR relation are true. In this paper, we propose an extended scheme for proof of arbitrary monotone formula by adopting Linear Homomorphic (LH) signature scheme to generate a certificate that contains the minimum attribute set as required in the verification. |
キーワード |
(和) |
匿名 / 属性 / 認証 / 属性証明書 / モノトーン論理式 / / / |
(英) |
Anonymity / Attributes / Authentication / Anonymous credentials / Monotone formula / / / |
文献情報 |
信学技報, vol. 114, no. 203, ISEC2014-50, pp. 21-26, 2014年9月. |
資料番号 |
ISEC2014-50 |
発行日 |
2014-08-29 (ISEC) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
ISEC2014-50 |