| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2007-04-20 09:40 モデル検査によるWebセッションのセキュリティ欠陥検出手法 ○森川郁也・山岡裕司・中山裕子（富士通研）  SS2007-6 KBSE2007-6 |
|
| 抄録 | （和） | Webアプリケーションのセッションに関するセキュリティ欠陥をモデル検査によって発見する手法を提案する．クライアントとサーバの振る舞いを一種のプロトコルと見なしてモデルに表現し検査することで，セッション固定などの攻撃を許す欠陥を設計段階で防ぐことができる．提案するモデル化手法は，HTTPS通信，攻撃者に誘導されうるブラウザ，クッキーの強制といったWeb特有の性質を簡潔に表現できる点に特徴がある．またサンプルWebアプリケーションに同手法を適用してモデル検査を行い，実際に欠陥が発見できることや，単純な場合には無謬性を検証できることを示す． |
| （英） | We propose a method to find security flaws related to sessions in Web applications with model checking. In this method, the interactions among the server and the clients are modeled as a protocol, and checked to see if there is any security flaw that allows session-related attacks such as session fixation, which can then be fixed in earlier development stages. The proposed modeling method has its characteristics of efficiently representing unique features of Web, such as HTTPS secure channel and attacker’s capability to misguide browsers and force them to accept forged cookies. Experimental results of model checking are also shown, in which we demonstrate that security flaws can be found, and even flawlessness can be verified in simple cases. | |
| キーワード | （和） | Webアプリケーション / セッション / セキュリティ / モデル検査 / / / / |
| （英） | Web application / session / security / model checking / / / / | |
| 文献情報 | 信学技報, vol. 107, no. 4, SS2007-6, pp. 29-34, 2007年4月. | |
| 資料番号 | SS2007-6 | |
| 発行日 | 2007-04-12 (SS, KBSE) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | SS2007-6 KBSE2007-6 |
|
| 研究会情報 | |
| 研究会 | SS KBSE |
| 開催期間 | 2007-04-19 - 2007-04-20 |
| 開催地（和） | 会津大学 |
| 開催地（英） | Univ. of Aizu |
| テーマ（和） | 一般 |
| テーマ（英） | general |
| 講演論文情報の詳細 | |
| 申込み研究会 | SS |
| 会議コード | 2007-04-SS-KBSE |
| 本文の言語 | 日本語 |
| タイトル（和） | モデル検査によるWebセッションのセキュリティ欠陥検出手法 |
| サブタイトル（和） | |
| タイトル（英） | A Method of Detecting Security Flaws in Web Sessions through Model Checking |
| サブタイトル（英） | |
| キーワード(1)（和/英） | Webアプリケーション / Web application |
| キーワード(2)（和/英） | セッション / session |
| キーワード(3)（和/英） | セキュリティ / security |
| キーワード(4)（和/英） | モデル検査 / model checking |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 森川 郁也 / Ikuya Morikawa / モリカワ イクヤ |
| 第1著者 所属（和/英） | 株式会社 富士通研究所 (略称： 富士通研) Fujitsu Laboratories Limited (略称： Fujitsu Labs.) |
| 第2著者 氏名（和/英/ヨミ） | 山岡 裕司 / Yuji Yamaoka / ヤマオカ ユウジ |
| 第2著者 所属（和/英） | 株式会社 富士通研究所 (略称： 富士通研) Fujitsu Laboratories Limited (略称： Fujitsu Labs.) |
| 第3著者 氏名（和/英/ヨミ） | 中山 裕子 / Yuko Nakayama / ナカヤマ ユウコ |
| 第3著者 所属（和/英） | 株式会社 富士通研究所 (略称： 富士通研) Fujitsu Laboratories Limited (略称： Fujitsu Labs.) |
| 講演者 | 第1著者 |
| 発表日時 | 2007-04-20 09:40:00 |
| 発表時間 | 40分 |
| 申込先研究会 | SS |
| 資料番号 | SS2007-6, KBSE2007-6 |
| 巻番号（vol） | vol.107 |
| 号番号（no） | no.4(SS), no.5(KBSE) |
| ページ範囲 | pp.29-34 |
| ページ数 | 6 |
| 発行日 | 2007-04-12 (SS, KBSE) |
[研究会発表申込システムのトップページに戻る]