| Presentation | 2018-11-04 Proposal of Anonymous Attribute Credential System that can Prove CNF Formulas includeing Negative Attribute Ryo Okishima, Toru Nakanishi, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | In recent years, electronic identi?cation (eID) has become widespread, and this eID is used to access buildings and applied to the use of Web services. However, as a problem of the existing eID system, there is a fear that the privacy such as unnecessary attributes of the user will be disclosed. Therefore, an anonymous credential system has been proposed to enhance the user’s privacy. In the anonymous credential system, a trusted issuing organization ?rst issues a certi?cate including the attributes of the user and hands it to the user. Then, in addition to the possession of the certi?cate, the user can anonymously prove only the necessary attributes. Previously, an anonymous credential system where the CNF formulas of the attribute can be proved has been proposed. However, as a problem, the prover cannot prove any formula including negations. Therefore, in this paper, we propose an anonymous credential system where the prover can prove CNF formulas including negations. In the proposed system, by extending the generation part of the accumulator which is used in the previous system, the formulas including negations can be proved. In addition, the proposed system is implemented on a PC, and the e?ectiveness of the proposed system is demonstrated by measuring the authentication time. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | anonymous authentication / attributes / CNF formulas / negation |
| Paper # | ISEC2018-78,SITE2018-56,LOIS2018-38 |
| Date of Issue | 2018-10-27 (ISEC, SITE, LOIS) |
| Conference Information | |
| Committee | SITE / ISEC / LOIS |
|---|---|
| Conference Date | 2018/11/3(2days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | Tetsuya Morizumi(Kanagawa Univ.) / Atsushi Fujioka(Kanagawa Univ.) / Tomohiro Yamada(NTT) |
| Vice Chair | Masaru Ogawa(Kobe Gakuin Univ.) / Takushi Otani(Kibi International Univ.) / Shiho Moriai(NICT) / Shoichi Hirose(Univ. of Fukui) / Toru Kobayashi(Nagasaki Univ.) |
| Secretary | Masaru Ogawa(Tokyo Health Care Univ.) / Takushi Otani(Toyo Eiwa Univ.) / Shiho Moriai(Tokai Univ.) / Shoichi Hirose(NICT) / Toru Kobayashi(NTT) |
| Assistant | Hisanori Kato(KDDI Research) / Nobuyuki Yoshinaga(Yamaguchi Pref Univ.) / Daisuke Suzuki(Hokuriku Univ.) / Kazunari Omote(Tsukuba Univ.) / Yuuji Suga(IIJ) / Shinichiro Eitoku(NTT) |
| Paper Information | |
| Registration To | Technical Committee on Social Implications of Technology and Information Ethics / Technical Committee on Information Security / Technical Committee on Life Intelligence and Office Information Systems |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Proposal of Anonymous Attribute Credential System that can Prove CNF Formulas includeing Negative Attribute |
| Sub Title (in English) | |
| Keyword(1) | anonymous authentication |
| Keyword(2) | attributes |
| Keyword(3) | CNF formulas |
| Keyword(4) | negation |
| 1st Author's Name | Ryo Okishima |
| 1st Author's Affiliation | Hiroshima University(Hiroshima Univ.) |
| 2nd Author's Name | Toru Nakanishi |
| 2nd Author's Affiliation | Hiroshima University(Hiroshima Univ.) |
| Date | 2018-11-04 |
| Paper # | ISEC2018-78,SITE2018-56,LOIS2018-38 |
| Volume (vol) | vol.118 |
| Number (no) | ISEC-279,SITE-280,LOIS-281 |
| Page | pp.pp.79-85(ISEC), pp.79-85(SITE), pp.79-85(LOIS), |
| #Pages | 7 |
| Date of Issue | 2018-10-27 (ISEC, SITE, LOIS) |