| 講演抄録／キーワード |
| 講演名 |
2006-10-26 14:05
例外処理付きオブジェクト指向言語における情報流の安全性解析
○黒川 翔・桑原寛明（名大）・山本晋一郎（愛知県立大）・坂部俊樹・酒井正彦・草刈圭一朗・西田直樹（名大） |
| 抄録 |
（和） |
本稿では，例外処理を含むオブジェクト指向プログラムから機密度の高いデータが外部へ漏洩しないことを検証する型システムを提案する．
本型システムは，例外処理を含まないオブジェクト指向プログラムに対する従来の型システムを拡張し，
例外処理による制御フローを考慮した情報流解析を行えるようにしたものである．
この型システムが安全性に対して健全であること，すなわち型付けできるプログラムは安全であることを示す． |
| （英） |
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 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 / / / / |
| 文献情報 |
信学技報, vol. 106, no. 324, SS2006-42, pp. 13-18, 2006年10月. |
| 資料番号 |
SS2006-42 |
| 発行日 |
2006-10-19 (SS, KBSE) |
| ISSN |
Print edition: ISSN 0913-5685 |
| PDFダウンロード |
|