2010 Fiscal Year Final Research Report
Highly Scalable Software Security for Information Explosion Environments
| Project Area | Cyber Infrastructure for the Information-explosion Era |
|---|
| Project/Area Number |
18049027
|
|---|
| 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 (2008-2010)
Tokyo Institute of Technology (2006-2007) |
|---|
Principal Investigator |
SHIBAYAMA Etsuya The University of Tokyo, 情報基盤センター, 教授 (80162642)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
CHIBA Shigeru 東京工業大学, 大学院・情報理工学研究科, 教授 (80282713)
WATANABE Takuo 東京工業大学, 大学院・情報理工学研究科, 准教授 (20222408)
KONO Kenji 慶應義塾大学, 理工学部, 准教授 (90301118)
|
|---|
| Project Period (FY) |
2006 – 2010
|
| Keywords | アスペクト指向 / 開発環境 / ソフトウェア検証 / ソフトウェアテスト / オーバーレイネットワーク / コンテンツ配信 / 分散計算 / Webアプリケーション |
|---|
| Research Abstract |
We propose a Defense-in-Depth framework that is suitable for building secure and dependable software in the Info-plosion era, where software for large distributed computing systems is required. Under the practical assumption that there are no perfect solutions, the framework is designed to integrate software verification and testing techniques in the development phase and dynamic update and monitoring in the operation phase. In addition, we have developed scalable core technologies based upon the notions of Aspect-Orientation and other ideas for flexible software construction.
|
