• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2011 Fiscal Year Final Research Report

Modeling and verification of web software based on theories symbolic computation

Research Project

  • PDF
Project/Area Number 20300001
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypeSingle-year Grants
Section一般
Research Field Fundamental theory of informatics
Research InstitutionUniversity of Tsukuba

Principal Investigator

IDA Tetsuo  筑波大学, システム情報系, 教授 (70100047)

Co-Investigator(Kenkyū-buntansha) MINAMIDE Yasuhiko  筑波大学, システム情報系, 准教授 (50252531)
MARIN Mircea  筑波大学, システム情報系, 講師 (60396603)
SUSUKI Taro  会津大学, コンピュータ理工学部, 准教授 (90272179)
Project Period (FY) 2008 – 2011
Keywordsソフトウェア検証 / 記号計算 / ウェブ
Research Abstract

As a case study of Web software verification, we have verified the core of WebEos. The effective verification was conducted by utilizing some results of the computation conducted on Mathematica. With respect to the verification based on string analysis, we developed the method to precisely analyze regular expression matching. By introducing the analysis of communication to database, we enabled the detection of stored XSS. We designed and implemented an algorithm of greedy regular expression matching based on position automata.

  • Research Products

    (18 results)

All 2012 2011 2010 2009 2008

All Journal Article (13 results) (of which Peer Reviewed: 13 results) Presentation (5 results)

  • [Journal Article] Translating Regular Expression Matching into Transducers2012

    • Author(s)
      Yuto Sakuma, Yasuhiko Minamide, Andrei Voronkov
    • Journal Title

      Journal of Applied Logic

      Volume: 10 Pages: 32-51

    • Peer Reviewed
  • [Journal Article] Design and Implementation of New Generation Data Format for Lunar and Planetary Exploration2012

    • Author(s)
      Taro SUZUKI, Junya TERAZONO, Takafumi HAYASHI
    • Journal Title

      JSASS on-line journal Aerospace Technology

    • Peer Reviewed
  • [Journal Article] Morley's theorem revisited : Origami construction and automated proof2011

    • Author(s)
      Ida. T, Kasem. A, Ghourabi. F, Takahashi. H
    • Journal Title

      Journal of Symbolic Computation

      Volume: vol. 46 Pages: 162-170

    • Peer Reviewed
  • [Journal Article] Proof Assistant Decision Procedures for Formalizing Origami2011

    • Author(s)
      Kaliszyk. C, and Ida. T
    • Journal Title

      Lecture Notes in Computer Science (proceedings of the Conference on Intelligent Computer Mathematics (CICM' 11))

      Volume: 6824 Pages: 45-57

    • Peer Reviewed
  • [Journal Article] Proof Documents for Automated Origami Theorem Proving2011

    • Author(s)
      Ghourabi. F, Ida. T, and Kasem. A
    • Journal Title

      Lecture Notes in Computer Science (post-proceeding of the 8th International Workshop on Automated Deduction in Geometry (ADG 2010))

      Volume: 6877 Pages: 78-97

    • Peer Reviewed
  • [Journal Article] Origami Axioms and Circle Extension2011

    • Author(s)
      Kasem. A, Ghourabi. F, Ida. T
    • Journal Title

      Proceedings of the 26th Symposium on Applied Computing (SAC 2011)

      Pages: 1106-1111

    • Peer Reviewed
  • [Journal Article] Origami Fold as Algebraic Graph Rewriting2010

    • Author(s)
      Tetsuo Ida and Hidekazu Takahashi
    • Journal Title

      Journal of Symbolic Computation

      Volume: 45(4) Pages: 393-413

    • Peer Reviewed
  • [Journal Article] Rubyプログラムの制御フロー解析とその健全性の証明2010

    • Author(s)
      松本宗太郎, 南出靖彦
    • Volume
      3巻
    • Pages
      9-25
    • Peer Reviewed
  • [Journal Article] Copy-on-Write in the PHP Langauge2009

    • Author(s)
      Tozawa, M. Tatsubori, T. Onodera, Y. Minamide
    • Journal Title

      Proc. of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

      Pages: 200-212

    • Peer Reviewed
  • [Journal Article] Symbolic and Algebraic Methods in Computational Origami : Invited Talk2009

    • Author(s)
      Tetsuo Ida
    • Journal Title

      In Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation (ISSAC 2009)

      Pages: 3-4

    • Peer Reviewed
  • [Journal Article] Origami Fold as Algebraic Graph Rewriting2009

    • Author(s)
      Tetsuo Ida, Hidekaza Takahashi
    • Journal Title

      Proc. of 24th annual ACM Symposium on Applied Computing

      Pages: 1132-1138

    • Peer Reviewed
  • [Journal Article] A Translation from the HTML DTD into a Regular Hedge Grammar2008

    • Author(s)
      T. Nishiyama, Y. Minamide
    • Journal Title

      Proc. of 13th International Conference on Implementation and Application of Automata

      Pages: 122-131

    • Peer Reviewed
  • [Journal Article] Product Drivatives of Regular Expressions2008

    • Author(s)
      Taro Suzuki, Staoshi Okui
    • Journal Title

      IPSJ Online Transactions

      Volume: 1巻 Pages: 53-65

    • Peer Reviewed
  • [Presentation] 文字列解析によるクロスサイトスクリプティング脆弱性検査の改良2012

    • Author(s)
      木村将人, 南出靖彦
    • Organizer
      プログラミングおよびプログラミング言語ワークショップ(ポスター)
    • Place of Presentation
      和歌山県南紀白浜
    • Year and Date
      2012-03-08
  • [Presentation] Extended Web Services for Computational Origami. The 3rd International Workshop on Symbolic Computation in Software Science (SCSS2010)2010

    • Author(s)
      Kasem and T. Ida
    • Organizer
      RISC-Linz Report Series
    • Place of Presentation
      Hagenberg, Austria
    • Year and Date
      2010-07-30
  • [Presentation] Rubyのコア言語の操作的意味論2009

    • Author(s)
      松本宗太郎, 南出靖彦
    • Organizer
      日本ソフトウェア科学会第26回大会
    • Place of Presentation
      島根大学
    • Year and Date
      2009-09-16
  • [Presentation] Reasoning Tool for Mathematical Origami Construction2009

    • Author(s)
      F. Ghourabi, T. Ida, H. Takahashi, and A. Kasem
    • Organizer
      The International Symposium on Symbolic and Algebraic Computation (ISSAC 2009)
    • Place of Presentation
      Seoul, Korea
    • Year and Date
      2009-07-30
  • [Presentation] Experiences with Web Environment Origamium2008

    • Author(s)
      Kasem and T. Ida
    • Organizer
      日本ソフトウェア科学会第25回大会
    • Place of Presentation
      筑波大学(東京キャンパス)
    • Year and Date
      2008-09-11

URL: 

Published: 2013-07-31  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi