课题基金 / 基金详情

Modeling and verification of web software based on theories symbolic computation

Modeling and verification of web software based on theories symbolic computation
基于符号计算理论的Web软件建模与验证
批准号：
20300001
负责人：
IDA Tetsuo
金额：
$12.23万
依托单位：
University of Tsukuba
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2008
资助国家：
日本
项目状态：
已结题
起止时间：
2008 至 2011
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-20300001/
关键词：
ソフトウェア検証記号計算ウェブ情報基礎ソフトウェア検証ソフトウェア学

项目摘要

项目成果

IDA Tetsuo的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Origami Fold as Algebraic Graph Rewriting.
折纸折叠作为代数图重写。
DOI： --
发表时间： 2010
期刊： Journal of Symboli Computation 45(4)
影响因子： --
作者： [Tetsuo Ida, Hidekazu Takahashi]
通讯作者： Hidekazu Takahashi
Linear Systems for Regular Hedge Languages
常规对冲语言的线性系统
DOI： --
发表时间： 2010
期刊： Advances in Databases and Information Systems. Associated Workshops and Doctoral Consortium of ADBIS 2009. Proceedings. LNCS 5968
影响因子： --
作者： [Mircea Marin, Temur Kutsia]
通讯作者： Temur Kutsia
Copy-on-Write in the PHP Langauge
PHP 语言中的写时复制
DOI： --
发表时间： 2009
期刊： Proc. of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
影响因子： --
作者： [Tozawa, M. Tatsubori, T. Onodera, Y. Minamide]
通讯作者： Y. Minamide
A Translation from the HTML DTD into a Regular Hedge Grammar
从 HTML DTD 到常规模糊限制语法的翻译
DOI： --
发表时间： 2008
期刊： Proc. of the 13th International Conference on-Implementation and Application of Automata LNCS 5184
影响因子： --
作者： [T. Nishiyama, Y. Minamide]
通讯作者： Y. Minamide
共 20 条
    Development of methods for computational origami based on geometric algebra
    • 批准号：
      16K00008
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.91万
    • 财政年份：
      2016
    • 负责人：
      IDA Tetsuo
    • 依托单位：
      University of Tsukuba
    Towards 3D computational oeigami - theory and software development
    • 批准号：
      25330007
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.66万
    • 财政年份：
      2013
    • 负责人：
      IDA Tetsuo
    • 依托单位：
      University of Tsukuba
    Formalization of origami and origami-programming based on algebraic graph rewriting
    • 批准号：
      22650001
    • 项目类别：
      Grant-in-Aid for Challenging Exploratory Research
    • 资助金额：
      $2.1万
    • 财政年份：
      2010
    • 负责人：
      IDA Tetsuo
    • 依托单位：
      University of Tsukuba
    Symbolic Computation and Symbolic Computing Grid Based on the Interaction of Provers, Solvers and Reduces
    • 批准号：
      17300004
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $7.42万
    • 财政年份：
      2005
    • 负责人：
      IDA Tetsuo
    • 依托单位：
      University of Tsukuba
    海外基金