| 講演名 | 2008/7/29 分岐命令の分岐成立・不成立の回数に着目した情報フロー追跡(信頼性とセキュリティ,SWoPP佐賀2008-2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ) 古庄 尚貴, 阿部 公輝, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 個人情報や企業の機密情報のような重要な情報の漏洩を防止するため,プログラム実行時に発生する情報フローをプロセッサが追跡・制御する手法がある.しかし,分岐命令を含む情報フローの追跡は難しく,安全性を維持しながら利便性の高い追跡手法はこれまで知られていない.本論文では分岐命令の成立・不成立の回数に着目した情報フロー追跡について提案する.提案手法により,true negativeを維持し,false positiveを減少させることができることを例を用いて示す. |
| 抄録(英) | Personal and business computers storing confidential information are often connected to potentially hostile networks. Information flow security systems prevent applications from leaking this information without explicit authorization from the data owner. Dynamic information tracking is a promising platform for such systems. However, tracking the information flow including branches is difficult, and no accurate method for tracking such control flows is not known currently. We propose an information flow tracking scheme focusing on numbers of taken and untaken branches. Application of the proposed method to several attack example codes revealed that it enables us to reduce true positives in tracking control flows without increasing false negatives. |
| キーワード(和) | 情報フローセキュリティ / 暗黙的フロー / 動的フロー追跡 |
| キーワード(英) | Information flow security / implicit flow / dynamic tracking |
| 資料番号 | DC2008-21 |
| 発行日 |
| 研究会情報 | |
| 研究会 | DC |
|---|---|
| 開催期間 | 2008/7/29(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Dependable Computing (DC) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 分岐命令の分岐成立・不成立の回数に着目した情報フロー追跡(信頼性とセキュリティ,SWoPP佐賀2008-2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ) |
| サブタイトル（和） | |
| タイトル（英） | Information Flow Tracking based on Numbers of Taken and Untaken Branches |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 情報フローセキュリティ / Information flow security |
| キーワード(2)（和/英） | 暗黙的フロー / implicit flow |
| キーワード(3)（和/英） | 動的フロー追跡 / dynamic tracking |
| 第 1 著者 氏名（和/英） | 古庄 尚貴 / Naoki FURUSHOU |
| 第 1 著者 所属（和/英） | 電気通信大学情報工学専攻 Department of Computer Science,he University of Electro-Communications |
| 第 2 著者 氏名（和/英） | 阿部 公輝 / Koki ABE |
| 第 2 著者 所属（和/英） | 電気通信大学情報工学専攻 Department of Computer Science,he University of Electro-Communications |
| 発表年月日 | 2008/7/29 |
| 資料番号 | DC2008-21 |
| 巻番号（vol） | vol.108 |
| 号番号（no） | 181 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |