| 講演名 | 2018-11-04 否定論理を含む和積標準形を証明可能な匿名属性認証システムの提案 沖島 遼(広島大), 中西 透(広島大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 近年、電子身分証明書(eID)が普及し、このeIDを利用して建物にアクセスしたり、Webサービスの利用 に適用されている。しかし、既存のeIDシステムの問題の一つとして、ユーザの不必要な属性などのプライバシーを 明らかにしてしまうという恐れがあった。そこでユーザのプライバシーを強化する方法の一つとして、匿名属性認証 システムが提案されている。匿名属性認証システムでは、まず信頼できる発行機関がユーザの属性を含む証明書を発 行し、ユーザに渡す。そしてユーザは証明書の所持に加えて必要な属性のみを匿名で検証者に確認させることができ る。先行研究では、属性の和積標準形を証明可能な匿名属性認証システムが提案されている。しかし、問題点として、 否定を含む論理式を証明できない点があった。そこで本研究では、否定属性を含む和積標準形を証明可能な匿名属性 認証システムを提案する。提案方式では、従来方式でも利用されているアキュムレータの生成部分を拡張することで 否定属性を含む和積標準形の証明を可能としている。また、PC上において実装し、認証時間の測定により提案方式の 有用性を示す。 |
| 抄録(英) | 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. |
| キーワード(和) | 匿名認証 / 属性 / 和積標準形 / 否定論理 |
| キーワード(英) | anonymous authentication / attributes / CNF formulas / negation |
| 資料番号 | ISEC2018-78,SITE2018-56,LOIS2018-38 |
| 発行日 | 2018-10-27 (ISEC, SITE, LOIS) |
| 研究会情報 | |
| 研究会 | SITE / ISEC / LOIS |
|---|---|
| 開催期間 | 2018/11/3(から2日開催) |
| 開催地（和） | 九州大学 大橋キャンパス |
| 開催地（英） | |
| テーマ（和） | 情報セキュリティ，ライフログ活用技術，ライフインテリジェンス，オフィス情報システム，一般 |
| テーマ（英） | |
| 委員長氏名（和） | 森住 哲也(神奈川大) / 藤岡 淳(神奈川大) / 山田 智広(NTT) |
| 委員長氏名（英） | Tetsuya Morizumi(Kanagawa Univ.) / Atsushi Fujioka(Kanagawa Univ.) / Tomohiro Yamada(NTT) |
| 副委員長氏名（和） | 小川 賢(神戸学院大) / 大谷 卓史(吉備国際大) / 盛合 志帆(NICT) / 廣瀬 勝一(福井大) / 小林 透(長崎大) |
| 副委員長氏名（英） | Masaru Ogawa(Kobe Gakuin Univ.) / Takushi Otani(Kibi International Univ.) / Shiho Moriai(NICT) / Shoichi Hirose(Univ. of Fukui) / Toru Kobayashi(Nagasaki Univ.) |
| 幹事氏名（和） | 川口 嘉奈子(東京医療保健大) / 壁谷 彰慶(東洋英和女学院大) / 大東 俊博(東海大) / 江村 恵太(NICT) / 中村 幸博(NTT) / 岡本 基(情報・システム研究機構) |
| 幹事氏名（英） | Kanako Kawaguchi(Tokyo Health Care Univ.) / Akiyoshi Kabeya(Toyo Eiwa Univ.) / Toshihiro Ohigashi(Tokai Univ.) / Keita Emura(NICT) / Yukihiro Nakamura(NTT) / Motoi Okamoto(Research Organization of Information and Systems) |
| 幹事補佐氏名（和） | 加藤 尚徳(KDDI総合研究所) / 吉永 敦征(山口県立大) / 鈴木 大助(北陸大) / 面 和成(筑波大) / 須賀 祐治(インターネットイニシアティブ) / 永徳 真一郎(NTT) |
| 幹事補佐氏名（英） | Hisanori Kato(KDDI Research) / Nobuyuki Yoshinaga(Yamaguchi Pref Univ.) / Daisuke Suzuki(Hokuriku Univ.) / Kazunari Omote(Tsukuba Univ.) / Yuuji Suga(IIJ) / Shinichiro Eitoku(NTT) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Social Implications of Technology and Information Ethics / Technical Committee on Information Security / Technical Committee on Life Intelligence and Office Information Systems |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 否定論理を含む和積標準形を証明可能な匿名属性認証システムの提案 |
| サブタイトル（和） | |
| タイトル（英） | Proposal of Anonymous Attribute Credential System that can Prove CNF Formulas includeing Negative Attribute |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 匿名認証 / anonymous authentication |
| キーワード(2)（和/英） | 属性 / attributes |
| キーワード(3)（和/英） | 和積標準形 / CNF formulas |
| キーワード(4)（和/英） | 否定論理 / negation |
| 第 1 著者 氏名（和/英） | 沖島 遼 / Ryo Okishima |
| 第 1 著者 所属（和/英） | 広島大学(略称：広島大) Hiroshima University(略称：Hiroshima Univ.) |
| 第 2 著者 氏名（和/英） | 中西 透 / Toru Nakanishi |
| 第 2 著者 所属（和/英） | 広島大学(略称：広島大) Hiroshima University(略称：Hiroshima Univ.) |
| 発表年月日 | 2018-11-04 |
| 資料番号 | ISEC2018-78,SITE2018-56,LOIS2018-38 |
| 巻番号（vol） | vol.118 |
| 号番号（no） | ISEC-279,SITE-280,LOIS-281 |
| ページ範囲 | pp.79-85(ISEC), pp.79-85(SITE), pp.79-85(LOIS), |
| ページ数 | 7 |
| 発行日 | 2018-10-27 (ISEC, SITE, LOIS) |