Formal models for quantitative analysis of software security
Formal models for quantitative analysis of software security
软件安全定量分析的形式化模型
批准号：
26540025
负责人：
Seki Hiroyuki
金额：
$2.33万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Challenging Exploratory Research
财政年份：
2014
资助国家：
日本
项目状态：
已结题
起止时间：
2014-04-01 至 2018-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(22)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
DOI：
--
发表时间：
2014-12
期刊：
2014 International Symposium on Information Theory and its Applications
影响因子：
--
作者：
[Yasuyuki Kobayashi;Y. Kaji;H. Seki]
通讯作者：
Yasuyuki Kobayashi;Y. Kaji;H. Seki
Towards HMM parameter estimation with differential privacy
具有差分隐私的 HMM 参数估计
具有差分隐私的 HMM 参数估计
DOI：
--
发表时间：
2014
期刊：
影响因子：
--
作者：
[Nut Sornchumni, Kenji Hashimoto and Hiroyuki Seki]
通讯作者：
Kenji Hashimoto and Hiroyuki Seki
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
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
[Hiroyuki Seki, Kenji Hashimoto and Trug Chu Bao]
通讯作者：
Kenji Hashimoto and Trug Chu Bao
セキュリティやプライバシーの定量的尺度について
关于安全和隐私的量化措施
关于安全和隐私的量化措施
DOI：
--
发表时间：
2014
期刊：
影响因子：
--
作者：
[中島聖斗，Trung Chu Bao, 橋本健二，酒井正彦，関浩之, 浅井孝俊，橋本健二，関浩之, 浅井孝俊，上杉正紀，橋本健二，関浩之, 小林靖幸，楫勇一，関浩之，伊藤実, 関浩之]
通讯作者：
関浩之
共 11 条
Quantitative extension of formal models and its application to software analysis
-
批准号：19H04083
-
项目类别：Grant-in-Aid for Scientific Research (B)
-
资助金额：$10.98万
-
财政年份：2019
-
负责人：Seki Hiroyuki
-
依托单位：
Static Analysis and Dynamic Monitoring Methods for Software Security and Privacy
-
批准号：15H02684
-
项目类别：Grant-in-Aid for Scientific Research (B)
-
资助金额：$11.48万
-
财政年份：2015
-
负责人：Seki Hiroyuki
-
依托单位：
Software Analysis based on Formaly Language Theory and Its Application to Security Verification
-
批准号：23300008
-
项目类别：Grant-in-Aid for Scientific Research (B)
-
资助金额：$12.81万
-
财政年份：2011
-
负责人：Seki Hiroyuki
-
依托单位：