2010 Fiscal Year Self-evaluation Report
Study of Verification of Security of Programs based on Term Rewriting Systems and Tree Automata
| Project/Area Number |
20300010
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (B)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Nagoya University |
|---|
Principal Investigator |
SAKABE Toshiki Nagoya University, 情報科学研究科, 教授 (60111829)
|
|---|
| Project Period (FY) |
2008 – 2011
|
| Keywords | 仕様記述 / 仕様検証 |
|---|
| Research Abstract |
本研究の目的は,項書換え系や木オートマトンの解析技法を応用し,通信プロトコルを始めとするネットワークソフトウエアを含む並行プログラム一般の安全性について,効率的かつ適用範囲の広い検証技法を確立するとともに,検証システムを実装,評価することである
本課題では,以下の項目を研究する計画である
(1)応用pi計算における弱い非干渉性の定式化
(2)応用pi計算における安全型の定式化
(3)安全型と弱い非干渉性の関係の解明
(4)項書換え系と木オートマトンに基づいた安全型の近似型推論システムの開発
(5)近似型推論システムへの応用に特化された項書換え系と木オートマトンの解析技法の開発
(6)近似型推論システムに基づく安全性検証システムの実装と実験による評価
|
