| Presentation | 2006-10-26 Security Analysis of Information Flow for an Object-Oriented Language with Exception Handling Sho KUROKAWA, Hiroaki KUWABARA, Shinichiro YAMAMOTO, Toshiki SAKABE, Masahiko SAKAI, Keiichirou KUSAKARI, Naoki NISHIDA, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | 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. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Security Checking / Information Flow Analysis / Type System / Exception Handling |
| Paper # | SS2006-42,KBSE2006-18 |
| Date of Issue |
| Conference Information | |
| Committee | KBSE |
|---|---|
| Conference Date | 2006/10/19(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Security Analysis of Information Flow for an Object-Oriented Language with Exception Handling |
| Sub Title (in English) | |
| Keyword(1) | Security Checking |
| Keyword(2) | Information Flow Analysis |
| Keyword(3) | Type System |
| Keyword(4) | Exception Handling |
| 1st Author's Name | Sho KUROKAWA |
| 1st Author's Affiliation | Graduate School of Information Science, Nagoya University() |
| 2nd Author's Name | Hiroaki KUWABARA |
| 2nd Author's Affiliation | Graduate School of Information Science, Nagoya University |
| 3rd Author's Name | Shinichiro YAMAMOTO |
| 3rd Author's Affiliation | School of Information Science, Aichi Prefectural University |
| 4th Author's Name | Toshiki SAKABE |
| 4th Author's Affiliation | Graduate School of Information Science, Nagoya University |
| 5th Author's Name | Masahiko SAKAI |
| 5th Author's Affiliation | Graduate School of Information Science, Nagoya University |
| 6th Author's Name | Keiichirou KUSAKARI |
| 6th Author's Affiliation | Graduate School of Information Science, Nagoya University |
| 7th Author's Name | Naoki NISHIDA |
| 7th Author's Affiliation | Graduate School of Information Science, Nagoya University |
| Date | 2006-10-26 |
| Paper # | SS2006-42,KBSE2006-18 |
| Volume (vol) | vol.106 |
| Number (no) | 326 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |