Formal models for quantitative analysis of software security

软件安全定量分析的形式化模型

基本信息

批准号：
26540025
负责人：
Seki Hiroyuki
金额：
$ 2.33万
依托单位：
Nagoya University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Challenging Exploratory Research
财政年份：
2014
资助国家：
日本
起止时间：
2014-04-01 至 2018-03-31
项目状态：
已结题

项目摘要

项目成果

期刊论文数量（22）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Information theoretical evaluation of the bucketing technique to mitigate timing attacks

DOI：
发表时间：
2014-12
期刊：
2014 International Symposium on Information Theory and its Applications
影响因子：
0
作者：
Yasuyuki Kobayashi;Y. Kaji;H. Seki
通讯作者：
Yasuyuki Kobayashi;Y. Kaji;H. Seki

セキュリティやプライバシーの定量的尺度について

关于安全和隐私的量化措施

DOI：
发表时间：
2014
期刊：
影响因子：
0
作者：
中島聖斗，Trung Chu Bao;橋本健二，酒井正彦，関浩之;浅井孝俊，橋本健二，関浩之;浅井孝俊，上杉正紀，橋本健二，関浩之;小林靖幸，楫勇一，関浩之，伊藤実;関浩之
通讯作者：
関浩之

Towards HMM parameter estimation with differential privacy

具有差分隐私的 HMM 参数估计

DOI：
发表时间：
2014
期刊：
影响因子：
0
作者：
Nut Sornchumni;Kenji Hashimoto and Hiroyuki Seki
通讯作者：
Kenji Hashimoto and Hiroyuki Seki

Counting Algorithms for Recognizable and Algebraic Series

可识别代数级数的计数算法

DOI：
10.1587/transinf.2017fop0003
发表时间：
2018
期刊：
IEICE Transactions on Information and Systems
影响因子：
0.7
作者：
Trung CHU Bao;Kenji Hashimoto and Hiroyuki Seki
通讯作者：
Kenji Hashimoto and Hiroyuki Seki

Counting for Recognizable and Algebraic Series

可识别代数级数的计数

DOI：
发表时间：
2017
期刊：
影响因子：
0
作者：
Hiroyuki Seki;Kenji Hashimoto and Trug Chu Bao
通讯作者：
Kenji Hashimoto and Trug Chu Bao

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