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
项目状态：
已结题

项目摘要

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（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
期刊：
影响因子：
0
作者：
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
期刊：
影响因子：
0
作者：
Yoshiya Ishida;Yuu Arimatsu;Kaixie Lyu;Go Takagi;Kunihiro Noda;Takashi Kobayashi;高山隆之介，橋本健二，関浩之
通讯作者：
高山隆之介，橋本健二，関浩之

Automated Hazard Analysis with pMAX-SMT for Automobile Syst

使用 pMAX-SMT 对汽车系统进行自动危害分析

DOI：
发表时间：
2015
期刊：
影响因子：
0
作者：
Shogo Hattori;Shoji Yuen;Hiroyuki Seki and Shuichi Sato
通讯作者：
Hiroyuki Seki and Shuichi Sato

非決定性木変換器における問合せ保存

非确定性树转换器中的查询保存

DOI：
发表时间：
2016
期刊：
影响因子：
0
作者：
Sae-Lim Natthawute;Hayashi Shinpei;Saeki Motoshi;Kazuki Tsuji;Yoshio Yamaoka;宮原一喜，橋本健二，関浩之
通讯作者：
宮原一喜，橋本健二，関浩之

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

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

Seki Hiroyuki其他文献

On a translation from algebraic specifications of abstract sequential machines into programs. | Article Information | J-GLOBAL

关于从抽象顺序机的代数规范到程序的翻译。

DOI：
发表时间：
1990
期刊：
影响因子：
0
作者：
Y. Lu;Awaya Hideshi;Seki Hiroyuki;Fujii Mamoru;Ninomiya Kiyoshi
通讯作者：
Ninomiya Kiyoshi

Q7　精巣性女性化症候群の性腺摘出は必要か？

Q7 睾丸女性化综合症是否需要性腺切除术？

DOI：
发表时间：
2017
期刊：
女性内分泌クリニカルクエスチョン
影响因子：
0
作者：
Wang Liangcheng;Takai Yasushi;Baba Kazunori;Mikami Yukiko;Saito Masahiro;Horiuchi Isao;Konno Ryo;Takagi Kenjiro;Seki Hiroyuki;高井泰;高井泰;高井泰;高井泰;高井泰;高井泰;高井泰
通讯作者：
高井泰

Q8　Turner症候群のホルモン補充方法は何歳からどのように行う？

Q8特纳综合征应该在什么年龄进行激素替代治疗？

DOI：
发表时间：
2017
期刊：
女性内分泌クリニカルクエスチョン
影响因子：
0
作者：
Wang Liangcheng;Takai Yasushi;Baba Kazunori;Mikami Yukiko;Saito Masahiro;Horiuchi Isao;Konno Ryo;Takagi Kenjiro;Seki Hiroyuki;高井泰;高井泰;高井泰;高井泰;高井泰;高井泰;高井泰;高井泰
通讯作者：
高井泰

悪性腫瘍に罹患した女性患者に対する妊孕性温存について尋ねられたら？

当问到女性恶性肿瘤患者如何保留生育能力？

DOI：
发表时间：
2017
期刊：
産婦人科診療ガイドライン婦人科外来編 2017
影响因子：
0
作者：
Wang Liangcheng;Takai Yasushi;Baba Kazunori;Mikami Yukiko;Saito Masahiro;Horiuchi Isao;Konno Ryo;Takagi Kenjiro;Seki Hiroyuki;高井泰;高井泰;高井泰
通讯作者：
高井泰

Retrospective study of umbilical cord ulceration related to congenital intestinal atresia: A single-center report

先天性肠闭锁相关脐带溃疡的回顾性研究：单中心报告

DOI：
10.1111/jog.13611
发表时间：
2018
期刊：
Journal of Obstetrics and Gynaecology Research
影响因子：
1.6
作者：
Nakamura Eishin;Samejima Kouki;Takayanagi Natsuko;Ono Yoshihisa;Matsunaga Shigetaka;Nagai Tomonori;Takai Yasushi;Saitoh Masahiro;Baba Kazunori;Seki Hiroyuki
通讯作者：
Seki Hiroyuki