课题基金 / 基金详情

Software Analysis based on Formaly Language Theory and Its Application to Security Verification

Software Analysis based on Formaly Language Theory and Its Application to Security Verification
基于形式语言理论的软件分析及其在安全验证中的应用
批准号：
23300008
负责人：
Seki Hiroyuki
金额：
$12.81万
依托单位：
Nagoya University (2012-2015)Nara Institute of Science and Technology (2011)
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2011
资助国家：
日本
项目状态：
已结题
起止时间：
2011-04-01 至 2016-03-31
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-23300008/
关键词：
ソフトウェア検証形式言語理論モデル検査XML情報保存性木変換器セキュリティ木オートマトン圧縮頂点問合せ木文法

项目摘要

项目成果

Seki Hiroyuki的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Static Analysis for k-secrecy against Inference Attacks
针对推理攻击的 k 保密静态分析
DOI： --
发表时间：
期刊：
影响因子： --
作者： [Chittaphone Phonharath, Kenji Hashimoto and Hiroyuki Seki]
通讯作者： Kenji Hashimoto and Hiroyuki Seki
Deciding Schema k-Secrecy for XML Databases
决定 XML 数据库的模式保密
DOI： --
发表时间： 2013
期刊： IEICE Transactions on Information and Systems
影响因子： 0.7
作者： [4.Chittaphone Phonharath, Kenji Hashimoto, and Hiroyuki Seki]
通讯作者： and Hiroyuki Seki
Determinacy and Subsumption for Single-valued Bottom-up Tree Transducers
单值自下而上树传感器的确定性和包含
DOI： --
发表时间： 2013
期刊：
影响因子： --
作者： [Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, Hiroyuki Seki, Toru Fujiwara]
通讯作者： Toru Fujiwara
拡張線形ボトムアップ木変換器の関数性の多項式時間判定
扩展线性自底向上树形变压器功能的多项式时间确定
DOI： --
发表时间： 2015
期刊：
影响因子： --
作者： [石原 鷹, 橋本 健二, 関 浩之, 酒井 正彦]
通讯作者： 酒井 正彦
共 12 条
    Quantitative extension of formal models and its application to software analysis
    • 批准号：
      19H04083
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $10.98万
    • 财政年份：
      2019
    • 负责人：
      Seki Hiroyuki
    • 依托单位：
      Nagoya University
    Static Analysis and Dynamic Monitoring Methods for Software Security and Privacy
    • 批准号：
      15H02684
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $11.48万
    • 财政年份：
      2015
    • 负责人：
      Seki Hiroyuki
    • 依托单位：
      Nagoya University
    Formal models for quantitative analysis of software security
    • 批准号：
      26540025
    • 项目类别：
      Grant-in-Aid for Challenging Exploratory Research
    • 资助金额：
      $2.33万
    • 财政年份：
      2014
    • 负责人：
      Seki Hiroyuki
    • 依托单位：
      Nagoya University
    海外基金