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
常规对冲语言的线性系统
Copy-on-Write in the PHP Langauge
PHP 语言中的写时复制
A Translation from the HTML DTD into a Regular Hedge Grammar
从 HTML DTD 到常规模糊限制语法的翻译
動的に生成されるHTML文書の妥当性検査
验证动态生成的 HTML 文档
  • DOI:
  • 发表时间:
    2008
  • 期刊:
  • 影响因子:
    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)

相似海外基金

Conference: NSF Workshop on Hardware-Software Co-design for Neuro-Symbolic Computation
会议:NSF 神经符号计算软硬件协同设计研讨会
  • 批准号:
    2338640
  • 财政年份:
    2023
  • 资助金额:
    $ 12.23万
  • 项目类别:
    Standard Grant
Investigating Symbolic Computation in the Brain: Neural Mechanisms of Compositionality
研究大脑中的符号计算:组合性的神经机制
  • 批准号:
    10644518
  • 财政年份:
    2023
  • 资助金额:
    $ 12.23万
  • 项目类别:
Efficient algorithms for the symbolic computation of matrices
矩阵符号计算的高效算法
  • 批准号:
    RGPIN-2020-06746
  • 财政年份:
    2022
  • 资助金额:
    $ 12.23万
  • 项目类别:
    Discovery Grants Program - Individual
Symbolic computation for differential equation based systems
基于微分方程的系统的符号计算
  • 批准号:
    2744977
  • 财政年份:
    2022
  • 资助金额:
    $ 12.23万
  • 项目类别:
    Studentship
Complex Analysis in Algebraic Geometry for Symbolic Computation
符号计算的代数几何中的复分析
  • 批准号:
    574677-2022
  • 财政年份:
    2022
  • 资助金额:
    $ 12.23万
  • 项目类别:
    University Undergraduate Student Research Awards
Advanced Special Functions and Symbolic Computation
高级特殊函数和符号计算
  • 批准号:
    574656-2022
  • 财政年份:
    2022
  • 资助金额:
    $ 12.23万
  • 项目类别:
    University Undergraduate Student Research Awards
Design theory for estimation and control of nonlinear systems by using symbolic computation for rings of differential operators
微分算子环符号计算非线性系统估计与控制的设计理论
  • 批准号:
    21K21285
  • 财政年份:
    2021
  • 资助金额:
    $ 12.23万
  • 项目类别:
    Grant-in-Aid for Research Activity Start-up
Symbolic Computation Meets Computational Geometry and Data Approximation
符号计算满足计算几何和数据逼近
  • 批准号:
    2048906
  • 财政年份:
    2021
  • 资助金额:
    $ 12.23万
  • 项目类别:
    Standard Grant
Efficient algorithms for the symbolic computation of matrices
矩阵符号计算的高效算法
  • 批准号:
    RGPIN-2020-06746
  • 财政年份:
    2021
  • 资助金额:
    $ 12.23万
  • 项目类别:
    Discovery Grants Program - Individual
Efficient algorithms for the symbolic computation of matrices
矩阵符号计算的高效算法
  • 批准号:
    RGPIN-2020-06746
  • 财政年份:
    2020
  • 资助金额:
    $ 12.23万
  • 项目类别:
    Discovery Grants Program - Individual
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了