| Budget Amount *help |
¥65,400,000 (Direct Cost: ¥65,400,000)
Fiscal Year 2010: ¥10,500,000 (Direct Cost: ¥10,500,000)
Fiscal Year 2009: ¥15,400,000 (Direct Cost: ¥15,400,000)
Fiscal Year 2008: ¥11,200,000 (Direct Cost: ¥11,200,000)
Fiscal Year 2007: ¥16,400,000 (Direct Cost: ¥16,400,000)
Fiscal Year 2006: ¥11,900,000 (Direct Cost: ¥11,900,000)
|
|---|
| 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.
|
