权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

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

项目摘要

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Static Analysis for k-secrecy against Inference Attacks

针对推理攻击的 k 保密静态分析

DOI：
发表时间：
期刊：
影响因子：
0
作者：
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
期刊：
影响因子：
0
作者：
Kenji Hashimoto;Ryuta Sawada;Yasunori Ishihara;Hiroyuki Seki;Toru Fujiwara
通讯作者：
Toru Fujiwara

拡張線形ボトムアップ木変換器の関数性の多項式時間判定

扩展线性自底向上树形变压器功能的多项式时间确定

DOI：
发表时间：
2015
期刊：
影响因子：
0
作者：
石原鷹;橋本健二;関浩之;酒井正彦
通讯作者：
酒井正彦

Trans-Organizational Role-Based Access Control

跨组织的基于角色的访问控制

DOI：
发表时间：
期刊：
影响因子：
0
作者：
Ramon Mejia;Yuichi Kaji and Hiroyuki Seki
通讯作者：
Yuichi Kaji and Hiroyuki Seki

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其他文献

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

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

DOI：
发表时间：
2017
期刊：
女性内分泌クリニカルクエスチョン
影响因子：
0
作者：
Wang Liangcheng;Takai Yasushi;Baba Kazunori;Mikami Yukiko;Saito Masahiro;Horiuchi Isao;Konno Ryo;Takagi Kenjiro;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

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

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

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

DOI：
发表时间：
2017
期刊：
産婦人科診療ガイドライン婦人科外来編 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;高井泰;高井泰;高井泰;高井泰;高井泰;高井泰;高井泰;高井泰
通讯作者：
高井泰