文献

J-GLOBAL ID：201402273358944610   整理番号：14A1273400

制約なく効率的にモノトーン論理式を証明可能な匿名属性認証方式の提案

Efficient Proofs for Monotone Formulas on Attributes Excluding Restriction in Anonymous Credential System

著者 (3件)： SADIAH Shahidatul (Okayama Univ., Okayama, JPN) ,  NAKANISHI Toru (Hiroshima Univ., Higashi-Hiroshima, JPN) ,  FUNABIKI Nobuo (Okayama Univ., Okayama, JPN)
資料名： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻： 114  号： 203(ISEC2014 47-55)  ページ： 21-26  発行年： 2014年08月29日 
JST資料番号： S0532B  ISSN： 0913-5685  資料種別： 会議録 (C)
記事区分： 短報  発行国： 日本 (JPN)  言語： 英語 (EN)

抄録/ポイント： 匿名属性認証システムでは,ユーザが誰であるかを秘匿したまま,自分の年齢や性別などの属性がある関係を満たしていることをサービス提供者に証明することを可能とする。従来,OR関係で1つの属性のみが真となるモノトーン論理式の充足を証明可能な匿名属性認証方式を提案している。モノトーン論理式とは,AND関係とOR関係の論理式の任意の組み合わせである。しかし,従来方式ではOR関係で2つ以上の属性が真となる場合に検証できない,といった問題がある。本研究では,Linear Homomorphic(LH)署名を用いることで検証に必要な最小の属性のみを示す証明書を生成することで,任意のモノトーン論理式を証明可能な匿名属性認証方式を提案する。(著者抄録)

シソーラス用語： *認証 ,  安全性 ,  *論理 ,  属性
準シソーラス用語： *モノトーン論理 ,  証明可能安全性 ,  属性認証 ,  匿名 ,  *匿名属性認証 ,  匿名認証

分類 (2件)： 符号理論  (ND02030R) ,  データ保護  (JD01020V)

引用文献 (10件)：

• A. Sudarsono, T. Nakanishi, and N. Funabiki, “Efficient proofs of attributes in pairing-based anonymous credential system,” Proc. 11th Privacy Enhancing Technologies Symposium (PETS 2011), LNCS 6794, springer-verlag, 2011.
• B.Libert, T. Peters, and M. Yung, “Scalable group signatures with revocation,” Advance in Cryptology - EUROCRYPT 2012, LNCS 7323, pp.609-627, Springer Verlag, 2012
• B. Libert, T. Peter, M. Joye, and M. Yung, “Linear Homoorphic Structure-Preserving Signatures and Their Applications,” Proc. Crypto 2013, LNCS 8043, pp. 289-307, 2013.
• D.Boneh, X.Boyen, and H. Shacham, “Short group signatures,” Advances in Cryptology - CRYPTO 2004, LNCS 3152, pp.41-55, Springer-Verlag, 2004.
• J. Camenisch, M. Kohlweiss, and C. Soriente, “An accumulator based on bilinear maps and efficient revocation for anonymous credentials,” Proc. 12th International Conference on Practice and Theory in Public Key Cryptography (PKC 2009), LNCS 5443, pp.481-432, Springer-Verlag, 2009.

タイトルに関連する用語 (6件)： 制約 ,  論理式 ,  証明 ,  匿名 ,  属性認証 ,  提案