| 講演名 | 2006-10-26 例外処理付きオブジェクト指向言語における情報流の安全性解析 黒川 翔, 桑原 寛明, 山本 晋一郎, 坂部 俊樹, 酒井 正彦, 草刈 圭一朗, 西田 直樹, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 本稿では,例外処理を含むオブジェクト指向プログラムから機密度の高いデータが外部へ漏洩しないことを検証する型システムを提案する.本型システムは,例外処理を含まないオブジェクト指向プログラムに対する従来の型システム[4]を拡張し,例外処理による制御フローを考慮した情報流解析を行えるようにしたものである.この型システムが安全性に対して健全であること,すなわち型付けできるプログラムは安全であることを示す. |
| 抄録(英) | In this paper, we propose a type system for verifying that secret data don't leak from an object-oriented program with exception handling. Our type system is an extention of the type system [4] which is for a object-oriented language without exception handling. It analyzes information flow taking into account the control flow caused by the exception handling. We show that our type system is sound, that is, all well-typed programs are secure from data leakage. |
| キーワード(和) | セキュリティ検査 / 情報流解析 / 型システム / 例外処理 |
| キーワード(英) | Security Checking / Information Flow Analysis / Type System / Exception Handling |
| 資料番号 | SS2006-42,KBSE2006-18 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 2006/10/19(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 例外処理付きオブジェクト指向言語における情報流の安全性解析 |
| サブタイトル（和） | |
| タイトル（英） | Security Analysis of Information Flow for an Object-Oriented Language with Exception Handling |
| サブタイトル（和） | |
| キーワード(1)（和/英） | セキュリティ検査 / Security Checking |
| キーワード(2)（和/英） | 情報流解析 / Information Flow Analysis |
| キーワード(3)（和/英） | 型システム / Type System |
| キーワード(4)（和/英） | 例外処理 / Exception Handling |
| 第 1 著者 氏名（和/英） | 黒川 翔 / Sho KUROKAWA |
| 第 1 著者 所属（和/英） | 名古屋大学大学院情報科学研究科 Graduate School of Information Science, Nagoya University |
| 第 2 著者 氏名（和/英） | 桑原 寛明 / Hiroaki KUWABARA |
| 第 2 著者 所属（和/英） | 名古屋大学大学院情報科学研究科 Graduate School of Information Science, Nagoya University |
| 第 3 著者 氏名（和/英） | 山本 晋一郎 / Shinichiro YAMAMOTO |
| 第 3 著者 所属（和/英） | 愛知県立大学情報科学部 School of Information Science, Aichi Prefectural University |
| 第 4 著者 氏名（和/英） | 坂部 俊樹 / Toshiki SAKABE |
| 第 4 著者 所属（和/英） | 名古屋大学大学院情報科学研究科 Graduate School of Information Science, Nagoya University |
| 第 5 著者 氏名（和/英） | 酒井 正彦 / Masahiko SAKAI |
| 第 5 著者 所属（和/英） | 名古屋大学大学院情報科学研究科 Graduate School of Information Science, Nagoya University |
| 第 6 著者 氏名（和/英） | 草刈 圭一朗 / Keiichirou KUSAKARI |
| 第 6 著者 所属（和/英） | 名古屋大学大学院情報科学研究科 Graduate School of Information Science, Nagoya University |
| 第 7 著者 氏名（和/英） | 西田 直樹 / Naoki NISHIDA |
| 第 7 著者 所属（和/英） | 名古屋大学大学院情報科学研究科 Graduate School of Information Science, Nagoya University |
| 発表年月日 | 2006-10-26 |
| 資料番号 | SS2006-42,KBSE2006-18 |
| 巻番号（vol） | vol.106 |
| 号番号（no） | 326 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |