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
|
Project Status |
Completed (Fiscal Year 2008)
|
Budget Amount *help |
¥15,860,000 (Direct Cost: ¥12,200,000、Indirect Cost: ¥3,660,000)
Fiscal Year 2008: ¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000)
Fiscal Year 2007: ¥5,070,000 (Direct Cost: ¥3,900,000、Indirect Cost: ¥1,170,000)
Fiscal Year 2006: ¥6,240,000 (Direct Cost: ¥4,800,000、Indirect Cost: ¥1,440,000)
|
Keywords | プログラム言語 / 情報セキュリティ / プログラム等価性 / 双模倣 / ラムダ計算 / パイ計算 / 高階計算 / 型理論 / プログラミング言語 / 計算モデル / λ計算 / π計算 / 操作的意味論 / 文脈等価性 / 論理関係 / 環境双模倣 / 多相λ計算 / 高階π計算 / 存在型・再帰型システム / ポインタ演算 / C言語 / Fail-Safe C to Java / Objective Caml |
Research Abstract |
コンピュータプログラムやネットワークにおける暗号化や抽象化など、さまざまな形の情報保護の統一的基礎理論を研究した。特に、ループないし再帰関数、再帰型(リストや木など)、多相型ないしジェネリックス、抽象データ型ないしオブジェクトなど、幅広い現実的機能を有する計算体系における情報保護の数理論理学的証明手法を世界で初めて確立し、Journal of the ACMやIEEE LICSなど最高水準の国際論文誌・国際学会に採録・発表された。
|
Report
(4 results)
Research Products
(20 results)