Modeling and verification of web software based on theories symbolic computation

基于符号计算理论的Web软件建模与验证

基本信息

  • 批准号:
    20300001
  • 负责人:
  • 金额:
    $ 12.23万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
  • 财政年份:
    2008
  • 资助国家:
    日本
  • 起止时间:
    2008 至 2011
  • 项目状态:
    已结题

项目摘要

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.
作为Web软件验证的案例研究,我们验证了WebEos的核心。利用在Mathematica上进行的计算结果进行了有效的验证。对于基于字符串分析的验证,提出了精确分析正则表达式匹配的方法。通过引入对数据库通信的分析,实现了对存储XSS的检测。设计并实现了一种基于位置自动机的贪婪正则表达式匹配算法。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Origami Fold as Algebraic Graph Rewriting.
折纸折叠作为代数图重写。
Linear Systems for Regular Hedge Languages
常规对冲语言的线性系统
A Translation from the HTML DTD into a Regular Hedge Grammar
从 HTML DTD 到常规模糊限制语法的翻译
Copy-on-Write in the PHP Langauge
PHP 语言中的写时复制
Rubyのコア言語の操作的意味論
Ruby核心语言的操作语义
  • DOI:
  • 发表时间:
    2009
  • 期刊:
  • 影响因子:
    0
  • 作者:
    松本宗太郎;南出靖彦
  • 通讯作者:
    南出靖彦
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

IDA Tetsuo其他文献

IDA Tetsuo的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('IDA Tetsuo', 18)}}的其他基金

Development of methods for computational origami based on geometric algebra
基于几何代数的计算折纸方法的发展
  • 批准号:
    16K00008
  • 财政年份:
    2016
  • 资助金额:
    $ 12.23万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Towards 3D computational oeigami - theory and software development
迈向 3D 计算 oeigami - 理论和软件开发
  • 批准号:
    25330007
  • 财政年份:
    2013
  • 资助金额:
    $ 12.23万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Formalization of origami and origami-programming based on algebraic graph rewriting
基于代数图重写的折纸形式化和折纸编程
  • 批准号:
    22650001
  • 财政年份:
    2010
  • 资助金额:
    $ 12.23万
  • 项目类别:
    Grant-in-Aid for Challenging Exploratory Research
Symbolic Computation and Symbolic Computing Grid Based on the Interaction of Provers, Solvers and Reduces
基于证明者、求解者和约简交互的符号计算和符号计算网格
  • 批准号:
    17300004
  • 财政年份:
    2005
  • 资助金额:
    $ 12.23万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Global computing by networked equational constraint solvers
通过网络方程约束求解器进行全局计算
  • 批准号:
    12480066
  • 财政年份:
    2000
  • 资助金额:
    $ 12.23万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Functional Logic Programming with Distributed Constraint Solving System
分布式约束求解系统的函数逻辑编程
  • 批准号:
    10480053
  • 财政年份:
    1998
  • 资助金额:
    $ 12.23万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
computation model for higher-order functional-logic languages
高阶函数逻辑语言的计算模型
  • 批准号:
    08458059
  • 财政年份:
    1996
  • 资助金额:
    $ 12.23万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
design and implementation of multimedia programming environment with functional-logic languages
函数式逻辑语言多媒体编程环境的设计与实现
  • 批准号:
    07558152
  • 财政年份:
    1995
  • 资助金额:
    $ 12.23万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Application of Conditional Rewrite Systems to Declarative Programming Languages
条件重写系统在声明式编程语言中的应用
  • 批准号:
    06680300
  • 财政年份:
    1994
  • 资助金额:
    $ 12.23万
  • 项目类别:
    Grant-in-Aid for General Scientific Research (C)
Systematic Construction of Declarative Programming Systems
声明式编程系统的系统构建
  • 批准号:
    03680022
  • 财政年份:
    1991
  • 资助金额:
    $ 12.23万
  • 项目类别:
    Grant-in-Aid for General Scientific Research (C)

相似海外基金

記号計算の手法を駆使した証明とアルゴリズムの形式化
使用符号计算技术将证明和算法形式化
  • 批准号:
    10F00044
  • 财政年份:
    2010
  • 资助金额:
    $ 12.23万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
記号計算の手法を用いた折り紙計算論の構築
利用符号计算方法构建折纸计算理论
  • 批准号:
    17650003
  • 财政年份:
    2005
  • 资助金额:
    $ 12.23万
  • 项目类别:
    Grant-in-Aid for Exploratory Research
記号計算に基づいた並列最適化問題の研究
基于符号计算的并行优化问题研究
  • 批准号:
    10878044
  • 财政年份:
    1998
  • 资助金额:
    $ 12.23万
  • 项目类别:
    Grant-in-Aid for Exploratory Research
コーディネーションに基づく記号計算プログラミング
基于协调的符号编程
  • 批准号:
    10780164
  • 财政年份:
    1998
  • 资助金额:
    $ 12.23万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
認知誘発的感情のメカニズムに関する記号計算モデル的研究
认知诱发情绪机制的符号计算模型研究
  • 批准号:
    06610061
  • 财政年份:
    1994
  • 资助金额:
    $ 12.23万
  • 项目类别:
    Grant-in-Aid for General Scientific Research (C)
高次知識構造が関与する感性的認知への記号計算モデル的研究
高阶知识结构情感认知的符号计算模型研究
  • 批准号:
    06212205
  • 财政年份:
    1994
  • 资助金额:
    $ 12.23万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
高次知識構造が関与する感性的認知への記号計算モデル的研究
高阶知识结构情感认知的符号计算模型研究
  • 批准号:
    05220204
  • 财政年份:
    1993
  • 资助金额:
    $ 12.23万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
高次知識構造が関与する感性的認知への記号計算モデル的研究
高阶知识结构情感认知的符号计算模型研究
  • 批准号:
    04236217
  • 财政年份:
    1992
  • 资助金额:
    $ 12.23万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了