Quantitative Analysis of Information Leakage in Cyber-Physical Systems
Quantitative Analysis of Information Leakage in Cyber-Physical Systems
信息物理系统信息泄露的定量分析
批准号：
15H06886
负责人：
Kawamoto Yusuke
金额：
$1.66万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Research Activity Start-up
财政年份：
2015
资助国家：
日本
项目状态：
已结题
起止时间：
2015-08-28 至 2017-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(10)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
統計的手法によるプログラムの定量的情報流解析
使用统计方法对程序进行定量信息流分析
使用统计方法对程序进行定量信息流分析
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[Tom Chothia, Yusuke Kawamoto and Chris Novakovic]
通讯作者：
Yusuke Kawamoto and Chris Novakovic
Inria Saclay/Inria Rennes(フランス)
因里亚·萨克雷/因里亚·雷恩（法国）
因里亚·萨克雷/因里亚·雷恩（法国）
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
INRIA(France)
法国INRIA
法国INRIA
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
DOI：
10.4204/eptcs.194.4
发表时间：
2015-04
期刊：
影响因子：
--
作者：
[Yusuke Kawamoto;Thomas Given-Wilson]
通讯作者：
Yusuke Kawamoto;Thomas Given-Wilson
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[Yusuke Kawamoto, Fabrizio Biondi and Axel Legay, Yusuke Kawamoto, Yusuke Kawamoto]
通讯作者：
Yusuke Kawamoto
共 8 条
Quantitative Verification of Cyber-Physical Systems by Integrating Statistical and Formal Approaches
-
批准号：17K12667
-
项目类别：Grant-in-Aid for Young Scientists (B)
-
资助金额：$2.5万
-
财政年份：2017
-
负责人：Kawamoto Yusuke
-
依托单位：
海外基金