ソフトウェアセキュリティ・プライバシーのための静的解析・動的検査法
KAKEN 科学研究費助成事業データベース で見る| 研究課題番号 | KAKENHI-PROJECT-15H02684 |
|---|---|
| 研究種目 | 基盤研究(B) |
| 研究分野 | 総合系 情報学 計算基盤 ソフトウェア |
| 研究機関 | 名古屋大学 |
| 代表研究者 | 関 浩之 |
| 研究分担者 | 小川 瑞史 |
| 研究分担者 | 結縁 祥治 |
| 研究分担者 | 橋本 健二 |
| 研究期間 開始年月日 | 2015/4/1 |
| 研究期間 終了年度 | 2018 |
| 研究ステータス | 完了 (2018/4/1) |
| 配分額（合計） | 17,940,000 (直接経費 :13,800,000、間接経費 :4,140,000) |
| 配分額（履歴） |
2018年度：4,030,000 (直接経費 :3,100,000、間接経費 :930,000) 2017年度：4,550,000 (直接経費 :3,500,000、間接経費 :1,050,000) 2016年度：4,550,000 (直接経費 :3,500,000、間接経費 :1,050,000) 2015年度：4,810,000 (直接経費 :3,700,000、間接経費 :1,110,000) |
| キーワード | セキュリティ 木オートマトン 木変換器 文法圧縮 マルウェア解析 SMTソルバ レジスタオートマトン レジスタ文脈自由文法 計算複雑さ プログラムセキュリティ 動的情報漏洩量 ソフトウェア解析 プライバシー 形式言語理論 自動解析 XML 圧縮 木文法 トップ木 文脈自由文法 有向グラフ 情報保存性 直線的文脈木文法 XPath |