课题基金 / 基金详情

Static Analysis and Dynamic Monitoring Methods for Software Security and Privacy

Static Analysis and Dynamic Monitoring Methods for Software Security and Privacy
软件安全与隐私的静态分析与动态监控方法
批准号：
15H02684
负责人：
Seki Hiroyuki
金额：
$11.48万
依托单位：
Nagoya University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2015
资助国家：
日本
项目状态：
已结题
起止时间：
2015-04-01 至 2019-03-31
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15H02684/
关键词：
セキュリティ木オートマトン木変換器文法圧縮マルウェア解析SMTソルバレジスタオートマトンレジスタ文脈自由文法計算複雑さプログラムセキュリティ動的情報漏洩量ソフトウェア解析プライバシー形式言語理論自動解析XML圧縮木文法トップ木文脈自由文法有向グラフ情報保存性直線的文脈木文法XPath

项目摘要

项目成果

Seki Hiroyuki的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Generalized Register Context-Free Grammars
广义寄存器上下文无关语法
DOI： 10.1587/transinf.2019fcp0010
发表时间： 2020
期刊： IEICE Transactions on Information and Systems
影响因子： 0.7
作者： [Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki]
通讯作者： Yoshiaki Takata and Hiroyuki Seki
木文法に基づく圧縮XML文書に対するデータ値を考慮した直接更新手法
基于树语法的压缩XML文档考虑数据值的直接更新方法
DOI： --
发表时间： 2016
期刊：
影响因子： --
作者： [Yu Yijun, Kaiya Haruhiko, Yoshioka Nobukazu, Hu Zhenjiang, Washizaki Hironori, Xiong Yingfei, Hosseinian-Far Amin, 大森隆行，丸山勝久，大西淳, Yoshio Yamaoka, Rodrigo Elizalde Zapata and Raula Gaikovina Kula and Bodin Chinthanet and Takashi Ishio and Kenichi Matsumoto and Akinori Ihara, 高山隆之介，橋本健二，関浩之]
通讯作者： 高山隆之介，橋本健二，関浩之
木文法に基づき圧縮されたXML文書に対するデータ値を考慮した直接更新法
基于树语法的压缩XML文档考虑数据值的直接更新方法
DOI： --
发表时间： 2017
期刊：
影响因子： --
作者： [Yoshiya Ishida, Yuu Arimatsu, Kaixie Lyu, Go Takagi, Kunihiro Noda, Takashi Kobayashi, 高山隆之介，橋本健二，関浩之]
通讯作者： 高山隆之介，橋本健二，関浩之
OSS開発におけるパッチの特徴量を用いた再投稿要求の予測
在 OSS 开发中使用补丁功能预测重新发布请求
DOI： --
发表时间： 2016
期刊：
影响因子： --
作者： [Haruhiko Kaiya, Nobukazu Yoshioka, Hironori Washizaki, Takao Okubo, Atsuo Hazeyama, Shinpei Ogata, Takafumi Tanaka, 磯部 祥尚, 安藤聡志，伊原彰紀，関浩之，平尾俊貴，則兼卓人，松本健一]
通讯作者： 安藤聡志，伊原彰紀，関浩之，平尾俊貴，則兼卓人，松本健一
共 22 条
    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
    Formal models for quantitative analysis of software security
    • 批准号：
      26540025
    • 项目类别：
      Grant-in-Aid for Challenging Exploratory Research
    • 资助金额：
      $2.33万
    • 财政年份：
      2014
    • 负责人：
      Seki Hiroyuki
    • 依托单位：
      Nagoya University
    Software Analysis based on Formaly Language Theory and Its Application to Security Verification
    海外基金