Man In The Browser攻撃対策を実現する人間・銀行サーバ間のセキュア通信プロトコル（その2）

• Item type: SIG Technical Reports(1)
• 公開日: 2017-02-23
• タイトル: Man In The Browser攻撃対策を実現する人間・銀行サーバ間のセキュア通信プロトコル（その2）
• タイトル / 言語: en
• タイトル: Secure Communications Protocol Between Humans and a Bank Server to Prevent Man In The Browser Attack (part 2)
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 認証
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 静岡大学大学院総合科学技術研究科
• 著者所属: 静岡大学大学院総合科学技術研究科
• 著者所属: 静岡大学創造科学技術大学院
• 著者所属: 株式会社日立製作所研究開発グループセキュリティ研究部
• 著者所属: 東京工業大学工学院
• 著者所属: 静岡大学創造科学技術大学院
• 著者所属(英): en
• 著者所属(英): Graduate School of Integrated Science and Technology, Shizuoka University
• 著者所属(英): en
• 著者所属(英): Graduate School of Integrated Science and Technology, Shizuoka University
• 著者所属(英): en
• 著者所属(英): Graduate School of Science and Technology, Shizuoka University
• 著者所属(英): en
• 著者所属(英): Hitachi, Ltd, R&D Group, Security Research Dept.
• 著者所属(英): en
• 著者所属(英): School of Engineering, Tokyo Institute of Technology
• 著者所属(英): en
• 著者所属(英): Graduate School of Science and Technology, Shizuoka University
• 著者名: 土屋, 貴史; 神農, 泰圭; 藤田, 真浩; 高橋, 健太; 尾形, わかは; 西垣, 正勝
• 著者名(英): Takashi, Tsuchiya; Yasuyoshi, Jinno; Masahiro, Fujita; Kenta, Takahashi; Wakaha, Ogata; Masakatsu, Nishigaki
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: Man In The Browser 攻撃 （MITB 攻撃） は，ブラウザのマルウェア感染が原因であるため，SSL のような機械 （ブラウザ） と機械 （銀行サーバ） 間のセキュア通信では対策不可能である．著者らは CSEC69 において，人間 ・ 銀行サーバ間でセキュア通信を実現するチャレンジ ＆ レスポンス方式のプロトコルを提案し，CAPTCHA を応用することでプロトコルが実現可能であることを示した．本稿では，MITB 攻撃と CAPTCHA を定式化し，提案プロトコルに対する安全性証明を行う．タグベース暗号の安全性をベースに CAPTCHA の安全性を定義した上で，(1,N)-OW-CAPTCHA-CCA を満足する CAPTCHA を用いた提案プロトコルが攻撃モデルに対し安全であることを証明する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Man-in-the-Browser (MITB) attacks are caused by malware that infects a web browser; hence, conventional secure communication channels between a machine (web browser) and a machine (bank server) such as SSL cannot prevent the attacks. In CSEC69, the authors proposed a challenge and response protocol that achieves secure communication channels between a machine (bank server) and a human (end user).The authors also showed that the protocol is feasible by applying CAPTCHA technology. In this paper, we formulate MITB attacks and CAPTCHA and provide the security proof of the protocol. We define the security for CAPTCHA based on the security for tag-based-encryption and provide the proof that the protocol is safe against information falsification MITB attack if the CAPTCHA has (1,N)-OW-CAPTCHA-CCA security.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11235941
• 書誌情報: 研究報告コンピュータセキュリティ（CSEC）; 巻 2017-CSEC-76, 号 6, p. 1-7, 発行日 2017-02-23
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2188-8655
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会