| Project/Area Number |
19024020
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research on Priority Areas
|
| Allocation Type | Single-year Grants |
|---|
| Review Section |
Science and Engineering
|
|---|
| Research Institution | The University of Tokyo |
|---|
Principal Investigator |
五島 正裕 The University of Tokyo, 大学院・情報理工学系研究科, 准教授 (90283639)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
坂井 修一 東京大学, 大学院・情報理工学系研究科, 教授 (50291290)
|
|---|
| Project Period (FY) |
2007 – 2008
|
| Project Status |
Completed (Fiscal Year 2008)
|
| Budget Amount *help |
¥11,000,000 (Direct Cost: ¥11,000,000)
Fiscal Year 2008: ¥5,500,000 (Direct Cost: ¥5,500,000)
Fiscal Year 2007: ¥5,500,000 (Direct Cost: ¥5,500,000)
|
|---|
| Keywords | マイクロプロセッサ / 情報セキュリティ |
|---|
| Research Abstract |
情報漏洩は情報化社会が本質的に抱える問題であり、技術的な解決が必要である。
マイクロプロセッサの制御方式を含めて情報漏洩を検討している研究は少ない。データがどのように扱われるべきかは、本来プログラムが任意に酌量することではなく、データそのものに付加されるべき属性である。その上でプログラムがデータをどのように扱うかを監視することができれば、プログラムの出所に関わらず、情報漏洩防止を実現することができる。このような情報フロー追跡は計算コストが膨大なことから、これまであまり検討がされてこなかった。我々はマイクロプロセッサの処理スループットを向上させる研究を数多く行ってきており、情報フロー追跡を利用して情報漏洩を防ぐことは少ない性能オーバヘッドで可能であると考えている。
本研究では柔軟かつ堅牢な情報漏洩防止アーキテクチャの実現を目指す。すべてのデータにはどのような使用を許可するかというライセンス条件が付加される。ライセンス条件は、プログラム中のデータ処理において、ソースからディスティネーションへと伝播し、情報漏洩を検出し、プログラムを停止させることができる。
本年度は、分岐によって生じる暗黙的情報フローによる情報漏洩をも防止できるプラットフォーム技術を提案した。この方式に則れば、たとえアプリケーションに脆弱性があったとしても、情報漏洩を完全に防止することができる。
|
