配分額 *注記 |
4,290千円 (直接経費: 3,300千円、間接経費: 990千円)
2011年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2010年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
2009年度: 1,690千円 (直接経費: 1,300千円、間接経費: 390千円)
|
研究概要 |
本研究では,ソフトウェアの利用者が記述した正常シナリオに対して,セキュリティの専門家が記述したシナリオを組み合わせて,セキュリティを考慮したソフトウェアのふるまいを明らかするとともに,実際にセキュリティを考慮したふるまいを示すシナリオのプロトタイプを生成することで,安全・安心かつ使いやすいソフトウェアであるかを,利用者が実際に確認する方法を明らかにした.
|