| 研究課題/領域番号 |
20300001
|
|---|
| 研究種目 |
基盤研究(B)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
情報学基礎
|
|---|
| 研究機関 | 筑波大学 |
|---|
研究代表者 |
井田 哲雄 筑波大学, システム情報系, 教授 (70100047)
|
|---|
| 研究分担者 |
南出 靖彦 筑波大学, システム情報系, 准教授 (50252531)
MARIN Mircea 筑波大学, システム情報系, 講師 (60396603)
鈴木 大郎 (鈴木 太郎) 会津大学, コンピュータ理工学部, 准教授 (90272179)
|
|---|
| 研究期間 (年度) |
2008 – 2011
|
| 研究課題ステータス |
完了 (2011年度)
|
| 配分額 *注記 |
19,110千円 (直接経費: 14,700千円、間接経費: 4,410千円)
2011年度: 3,120千円 (直接経費: 2,400千円、間接経費: 720千円)
2010年度: 4,160千円 (直接経費: 3,200千円、間接経費: 960千円)
2009年度: 4,680千円 (直接経費: 3,600千円、間接経費: 1,080千円)
2008年度: 7,150千円 (直接経費: 5,500千円、間接経費: 1,650千円)
|
|---|
| キーワード | ソフトウェア検証 / 記号計算 / ウェブ / 情報基礎 / ソフトウェア / 検証 / ソフトウェア学 |
|---|
| 研究概要 |
ウェブソフトウェア検証の事例研究として, WebEosの核となる部分の形式化と検証を行った.幾何と代数の基本的な部分にMathematicaの計算結果を援用することで, 効率的な検証が可能となった.文字列解析による検証において, 正規表現マッチングの正確な解析を可能とした.また, データベースとの連携の解析を導入し, 蓄積型XSS脆弱性検査を実現した.ポジションオートマトンを利用した正規表現の貪欲マッチングアルゴリズムの設計と実装を行った.
|
