课题基金 / 基金详情

Projected Model Counters for Quantitative Information Flow Analysis

Projected Model Counters for Quantitative Information Flow Analysis
用于定量信息流分析的投影模型计数器
批准号：
17K00098
负责人：
Hashimoto Kenji
金额：
$2.91万
依托单位：
Nagoya University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2017
资助国家：
日本
项目状态：
已结题
起止时间：
2017-04-01 至 2021-03-31
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-17K00098/
关键词：
投射モデル計数量的情報流解析BDD阻止節変数順序d-DNNF成分キャッシュ

项目摘要

项目成果

Hashimoto Kenji的其他基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
On the Compositionality of Dynamic Leakage and Its Application to the Quantification Problem
动态泄漏的组合性及其在量化问题中的应用
DOI： --
发表时间： 2019
期刊： 13th International Conference on Emerging Security Information, Systems and Technologies
影响因子： --
作者： [Bao Trung Chu, Kenji Hashimoto and Hiroyuki Seki]
通讯作者： Kenji Hashimoto and Hiroyuki Seki
Projected Model Counting and Enumeration
预计模型计数和枚举
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Quantifying Dynamic Leakage - Complexity Analysis and Model Counting-based Calculation -
量化动态泄漏 - 复杂性分析和基于模型计数的计算 -
DOI： 10.1587/transinf.2019edp7132
发表时间： 2019
期刊： IEICE Transactions on Information and Systems
影响因子： 0.7
作者： [Bao Trung Chu, Kenji Hashimoto, Hiroyuki Seki]
通讯作者： Hiroyuki Seki
命題論理式の全ての投射モデルを表現するBDDの構成法
如何构造BDD来表达命题逻辑公式的所有投影模型
DOI： --
发表时间： 2021
期刊：
影响因子： --
作者： [磯貝 孝明, 橋本 健二, 酒井 正彦]
通讯作者： 酒井 正彦
Prevention of schizophrenia based on Keap1-Nrf2 system
  • 批准号：
    17H04243
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
  • 资助金额：
    $10.15万
  • 财政年份：
    2017
  • 负责人：
    Hashimoto Kenji
  • 依托单位：
    Chiba University
Automorphisms and periods of K3 surfaces
  • 批准号：
    17K14156
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)
  • 资助金额：
    $1.08万
  • 财政年份：
    2017
  • 负责人：
    Hashimoto Kenji
  • 依托单位：
    The University of Tokyo
Study on the processes of disparity expansion and their social consequences, in Tokyo Metropolitan Area
  • 批准号：
    15H01970
  • 项目类别：
    Grant-in-Aid for Scientific Research (A)
  • 资助金额：
    $27.29万
  • 财政年份：
    2015
  • 负责人：
    Hashimoto Kenji
  • 依托单位：
    Waseda University
Verification of query preservation for tree and graph transformations
  • 批准号：
    26870270
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)
  • 资助金额：
    $2.5万
  • 财政年份：
    2014
  • 负责人：
    Hashimoto Kenji
  • 依托单位：
    Nagoya University