| 研究課題/領域番号 |
20700036
|
|---|
| 研究種目 |
若手研究(B)
|
| 配分区分 | 補助金 |
|---|
| 研究分野 |
ソフトウエア
|
|---|
| 研究機関 | 国立情報学研究所 |
|---|
研究代表者 |
吉岡 信和 国立情報学研究所, アーキテクチャ科学研究系, 准教授 (20390601)
|
|---|
| 連携研究者 |
鷲崎 弘宜 早稲田大学, 理工学術院, 准教授 (70350494)
|
|---|
| 研究期間 (年度) |
2008 – 2010
|
| 研究課題ステータス |
完了 (2010年度)
|
| 配分額 *注記 |
4,160千円 (直接経費: 3,200千円、間接経費: 960千円)
2010年度: 1,950千円 (直接経費: 1,500千円、間接経費: 450千円)
2009年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2008年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
|
|---|
| キーワード | セキュリティ / 設計手法 / 関心毎の分離 / パターン / 分散システム |
|---|
| 研究概要 |
本研究では、セキュリティの関心事を網羅的に整理したモデル化を行う為、通常の設計モデルに加え、システムに対する攻撃モデル、脆弱モデル、そして、安全モデルの三つの新たなモデル(マルチビュー)を導入する。これにより、セキュリティに対する関心事を段階的に整理、分析し、最終的には、安全なシステムを設計可能となる。
|
