講演名 | 2019-03-07 ICカードとリーダ/ライタ間の認証プロトコルにおける認証再利用と暗号理論的安全性モデルの関係 勝野 凌介(茨城大), 米山 一樹(茨城大), |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 暗号理論におけるBellare-Rogawayモデル(BRモデル)は認証プロトコルの様々な複雑な安全性を捉えたモデルとして標準的に用いられている。一方で、実用的に社会で普及している認証プロトコルの中には、そのような複雑な安全性を満たしているかについて、フォーマルな議論が行われていないものも存在する。本稿では、共通の秘密鍵をクレデンシャルとするICカードとリーダ/ライタ間の認証プロトコルを例として、過去のセッション鍵が何らかの原因で漏洩した場合、正規のリーダ/ライタ以外のデバイスが過去の認証成功結果を再利用できることを示す。また、上記の認証再利用がBRモデルにおいてはどのような振る舞いとして捉えられるかについて解釈を与える。 |
抄録(英) | |
キーワード(和) | 認証プロトコル / Bellare-Rogawayモデル / 認証再利用 |
キーワード(英) | |
資料番号 | IT2018-87,ISEC2018-93,WBS2018-88 |
発行日 | 2019-02-28 (IT, ISEC, WBS) |
研究会情報 | |
研究会 | IT / ISEC / WBS |
---|---|
開催期間 | 2019/3/7(から2日開催) |
開催地(和) | 電気通信大学 |
開催地(英) | University of Electro-Communications |
テーマ(和) | IT・ISEC・WBS合同研究会 |
テーマ(英) | joint meeting of IT, ISEC, and WBS |
委員長氏名(和) | 村松 純(NTT) / 藤岡 淳(神奈川大) / 岡田 実(奈良先端大) |
委員長氏名(英) | Jun Muramatsu(NTT) / Atsushi Fujioka(Kanagawa Univ.) / Minoru Okada(NAIST) |
副委員長氏名(和) | 和田山 正(名工大) / 盛合 志帆(NICT) / 廣瀬 勝一(福井大) / 大内 浩司(静岡大) / 滝沢 賢一(NICT) |
副委員長氏名(英) | Tadashi Wadayama(Nagoya Inst. of Tech.) / Shiho Moriai(NICT) / Shoichi Hirose(Univ. of Fukui) / Koji Ohuchi(Shizuoka Univ.) / Kenichi Takizawa(NICT) |
幹事氏名(和) | 太田 隆博(長野県工科短大) / 八木 秀樹(電通大) / 大東 俊博(東海大) / 江村 恵太(NICT) / 小澤 佑介(茨城大) / 中村 聡(東京理科大) |
幹事氏名(英) | Takahiro Ohta(Nagano Pref Inst. of Tech.) / Hideki Yagi(UEC) / Toshihiro Ohigashi(Tokai Univ.) / Keita Emura(NICT) / Yusuke Kozawa(Ibaraki Univ.) / Akira Nakamura(Tokyo Univ. of Science) |
幹事補佐氏名(和) | 吉田 隆弘(横浜商科大) / 面 和成(筑波大) / 須賀 祐治(インターネットイニシアティブ) / 中村 僚兵(防衛大) / Duong Quang Thang(奈良先端大) |
幹事補佐氏名(英) | Takahiro Yoshida(Yokohama College of Commerce) / Kazunari Omote(Tsukuba Univ.) / Yuuji Suga(IIJ) / Ryohei Nakamura(National Defense Academy) / Duong Quang Thang(NAIST) |
講演論文情報詳細 | |
申込み研究会 | Technical Committee on Information Theory / Technical Committee on Information Security / Technical Committee on Wideband System |
---|---|
本文の言語 | JPN |
タイトル(和) | ICカードとリーダ/ライタ間の認証プロトコルにおける認証再利用と暗号理論的安全性モデルの関係 |
サブタイトル(和) | |
タイトル(英) | Relationship between Authentication Reuse and Cryptographic Security Model on Authentication Protocol for Smart card and Reader/Writer |
サブタイトル(和) | |
キーワード(1)(和/英) | 認証プロトコル |
キーワード(2)(和/英) | Bellare-Rogawayモデル |
キーワード(3)(和/英) | 認証再利用 |
第 1 著者 氏名(和/英) | 勝野 凌介 / Ryosuke Katsuno |
第 1 著者 所属(和/英) | 茨城大学(略称:茨城大) Ibaraki University(略称:Ibaraki Univ.) |
第 2 著者 氏名(和/英) | 米山 一樹 / Kazuki Yoneyama |
第 2 著者 所属(和/英) | 茨城大学(略称:茨城大) Ibaraki University(略称:Ibaraki Univ.) |
発表年月日 | 2019-03-07 |
資料番号 | IT2018-87,ISEC2018-93,WBS2018-88 |
巻番号(vol) | vol.118 |
号番号(no) | IT-477,ISEC-478,WBS-479 |
ページ範囲 | pp.77-82(IT), pp.77-82(ISEC), pp.77-82(WBS), |
ページ数 | 6 |
発行日 | 2019-02-28 (IT, ISEC, WBS) |