2008 Fiscal Year Final Research Report
A unified theory and application of information hiding by program verification
| Project/Area Number |
18680003
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (A)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Tohoku University |
|---|
Principal Investigator |
SUMII Eijiro Tohoku University, 大学院情報科学研究科, 准教授 (00333550)
|
|---|
| Project Period (FY) |
2006 – 2008
|
| Keywords | プログラム言語 / 情報セキュリティ / プログラム等価性 / 双模倣 / ラムダ計算 / パイ計算 / 高階計算 / 型理論 |
|---|
| Research Abstract |
コンピュータプログラムやネットワークにおける暗号化や抽象化など、さまざまな形の情報保護の統一的基礎理論を研究した。特に、ループないし再帰関数、再帰型(リストや木など)、多相型ないしジェネリックス、抽象データ型ないしオブジェクトなど、幅広い現実的機能を有する計算体系における情報保護の数理論理学的証明手法を世界で初めて確立し、Journal of the ACMやIEEE LICSなど最高水準の国際論文誌・国際学会に採録・発表された。
|
