Art

J-GLOBAL ID：201402273358944610   Reference number：14A1273400

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

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

Author (3)： SADIAH Shahidatul (Okayama Univ., Okayama, JPN) ,  NAKANISHI Toru (Hiroshima Univ., Higashi-Hiroshima, JPN) ,  FUNABIKI Nobuo (Okayama Univ., Okayama, JPN)
Material： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
Volume： 114  Issue： 203(ISEC2014 47-55)  Page： 21-26  Publication year： Aug. 29, 2014 
JST Material Number： S0532B  ISSN： 0913-5685  Document type： Proceedings
Article type： 短報  Country of issue： Japan (JPN)  Language： ENGLISH (EN)

Thesaurus term： *authentication ,  Safety ,  *Logic ,  attribute
Semi thesaurus term： *モノトーン論理 ,  provable security ,  attribute authentication ,  anonymity ,  *匿名属性認証 ,  anonymous authentication

JST classification (2)： Code theory  (ND02030R) ,  Data protection  (JD01020V)

Reference (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.

Terms in the title (6)： 制約 ,  論理式 ,  証明 ,  匿名 ,  属性認証 ,  提案