研究課題
基盤研究(B)
ウェブソフトウェア検証の事例研究として, WebEosの核となる部分の形式化と検証を行った.幾何と代数の基本的な部分にMathematicaの計算結果を援用することで, 効率的な検証が可能となった.文字列解析による検証において, 正規表現マッチングの正確な解析を可能とした.また, データベースとの連携の解析を導入し, 蓄積型XSS脆弱性検査を実現した.ポジションオートマトンを利用した正規表現の貪欲マッチングアルゴリズムの設計と実装を行った.
すべて 2012 2011 2010 2009 2008
すべて 雑誌論文 (13件) (うち査読あり 13件) 学会発表 (5件)
Journal of Applied Logic
巻: 10 ページ: 32-51
JSASS on-line journal Aerospace Technology
Journal of Symbolic Computation
巻: vol. 46 ページ: 162-170
Lecture Notes in Computer Science (proceedings of the Conference on Intelligent Computer Mathematics (CICM' 11))
巻: 6824 ページ: 45-57
Lecture Notes in Computer Science (post-proceeding of the 8th International Workshop on Automated Deduction in Geometry (ADG 2010))
巻: 6877 ページ: 78-97
Proceedings of the 26th Symposium on Applied Computing (SAC 2011)
ページ: 1106-1111
巻: 45(4) ページ: 393-413
Proc. of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
ページ: 200-212
In Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation (ISSAC 2009)
ページ: 3-4
Proc. of 24th annual ACM Symposium on Applied Computing
ページ: 1132-1138
Proc. of 13th International Conference on Implementation and Application of Automata
ページ: 122-131
IPSJ Online Transactions
巻: 1巻 ページ: 53-65
