未踏IT人材発掘・育成事業（ユース）：2008年度上期採択プロジェクト概要（小菅PJ） 1．担当プロジェクトマネージャー 竹内 郁雄（東京大学大学院 情報理工学系研究科 創造情報学専攻 教授） 2．採択者氏名 チーフクリエータ：小菅 祐史（慶應義塾大学大学院理工学研究科 修士課程） コクリエータ：なし 3．未踏ユースプロジェクト管理組織 株式会社ゴーガ 4．採択金額 2,700,000円 5．テーマ名 Webアプリケーション・セキュリティの自動検証フレームワーク 6．関連Webサイト なし 7．申請テーマ概要 Webアプリケーションのセキュリティに関する設定やプログラムの多くは、開発者によって手作業で記述され、さらにそれらの記述の正しさの検証も手作業で行われている。 そのため、間違いや見落としが発生しやすい。 さらに近年においては、Web2.0と呼ばれる技術の登場によって、Webアプリケー
