| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2010-03-08 10:40 型付けによるファイル間データ非干渉の検証 ○座礼晃一・山田俊行（三重大）  SS2009-65 |
|
| 抄録 | （和） | 個人情報がコンピュータに管理されることが多くなり，その管理・操作を行うプログラムには，個人情報漏れを起こさないことが強く求められる． そういったプログラムに対して情報流解析を行い，その解析で得た情報が非干渉性を満たすことで，情報漏れが起きないことを保証できる． 情報流解析とは，情報の依存先を求める解析であり，非干渉性とは，公開情報が機密情報に依存していないことを示す性質である． Guernicら(2005)は情報流解析に関する研究として， 機密度が高い，低いという型情報を用いて，機密度の低い情報が高い情報に依 存していないことを保証し，情報漏れが起きない体系を示した． しかしこの体系には検出できない情報漏れが存在する．本研究ではこの体系に対 して，ファイルの概念を追加した． ファイルにはアクセス権限を設定するので，各ファイルにアクセス可能なユーザの集合が定まる． そのユーザの集合を型情報として用いることで，ユーザ間での情報漏れも起きないことを保証できる体系を提示した． 提示する定理により，アクセス権限を考慮した情報漏れも検出できる． これはGuernicらの定理にファイルの概念を取り入れたものである． |
| （英） | It is important to ensure the computer from information leakage.To ensure the computer we use information flow analysis and non-interference.Information flow analysis examine dependance of between information. Non-interference is meaning of no dependance of between secret data and public data. Guernic's system is one of the researches for non-interference. But there are the dependance that the system cannot examine. Our reseach extend the system and show to be able to find the dependance. |
|
| キーワード | （和） | 情報流解析 / 非干渉 / 型体系 / / / / / |
| （英） | information flow analysis / non-interference / type system / / / / / | |
| 文献情報 | 信学技報, vol. 109, no. 456, SS2009-65, pp. 103-107, 2010年3月. | |
| 資料番号 | SS2009-65 | |
| 発行日 | 2010-03-01 (SS) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | SS2009-65 |
|
| 研究会情報 | |
| 研究会 | SS |
| 開催期間 | 2010-03-08 - 2010-03-08 |
| 開催地（和） | 鹿児島大学 郡元キャンパス |
| 開催地（英） | Kagoshima Univ. |
| テーマ（和） | 一般 |
| テーマ（英） | general |
| 講演論文情報の詳細 | |
| 申込み研究会 | SS |
| 会議コード | 2010-03-SS |
| 本文の言語 | 日本語 |
| タイトル（和） | 型付けによるファイル間データ非干渉の検証 |
| サブタイトル（和） | |
| タイトル（英） | verification of non-interference between files by typing |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 情報流解析 / information flow analysis |
| キーワード(2)（和/英） | 非干渉 / non-interference |
| キーワード(3)（和/英） | 型体系 / type system |
| キーワード(4)（和/英） | / |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 座礼 晃一 / Koichi Zarei / ザレイ コウイチ |
| 第1著者 所属（和/英） | 三重大学 (略称： 三重大) Mie University (略称： Mie Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 山田 俊行 / Toshiyuki Yamada / ヤマダ トシユキ |
| 第2著者 所属（和/英） | 三重大学 (略称： 三重大) Mie University (略称： Mie Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2010-03-08 10:40:00 |
| 発表時間 | 30分 |
| 申込先研究会 | SS |
| 資料番号 | SS2009-65 |
| 巻番号（vol） | vol.109 |
| 号番号（no） | no.456 |
| ページ範囲 | pp.103-107 |
| ページ数 | 5 |
| 発行日 | 2010-03-01 (SS) |
[研究会発表申込システムのトップページに戻る]