Quantitative Verification of Cyber-Physical Systems by Integrating Statistical and Formal Approaches

通过整合统计和形式方法对网络物理系统进行定量验证

• 批准号: 17K12667
• 负责人: Kawamoto Yusuke
• 金额: $ 2.5万
• 依托单位: National Institute of Advanced Industrial Science and Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2017
• 资助国家: 日本
• 起止时间: 2017-04-01 至 2020-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-17K12667/
• 关键词: 情報セキュリティ; プライバシ; システム検証; 形式手法; 定量的情報流解析; 差分プライバシ; 情報理論; 様相論理; 形式仕様; 認識論理; 確率分布; 最適輸送理論; 機械学習; ゲーム理論; プログラム検証; 統計手法

项目成果

Hybrid Statistical Estimation of Mutual Information and its Application to Information Flow

互信息的混合统计估计及其在信息流中的应用

• DOI: 10.1007/s00165-018-0469-z
• 发表时间: 2019
• 期刊: Formal Aspects of Computing
• 影响因子: 1
• 作者: Fabrizio Biondi;Yusuke Kawamoto;Axel Legay;and Louis-Marie Traonouez
• 通讯作者: and Louis-Marie Traonouez

Utility-Optimized Local Differential Privacy Mechanisms for Distribution Estimation

• 发表时间: 2018-07
• 作者: Takao Murakami;Yusuke Kawamoto

Local Distribution Obfuscation via Probability Coupling

通过概率耦合进行局部分布混淆

• DOI: 10.1109/allerton.2019.8919803
• 发表时间: 2019
• 期刊: Proc. of the 57th Annual Allerton Conference on Communication, Control, and Computing (Allerton 2019)
• 作者: 青山祐太;大沼祐人;松野裕;松野裕;Yusuke Kawamoto and Takao Murakami
• 通讯作者: Yusuke Kawamoto and Takao Murakami

Local Obfuscation Mechanisms for Hiding Probability Distributions

隐藏概率分布的局部混淆机制

• DOI: 10.1007/978-3-030-29959-0_7
• 发表时间: 2019
• 期刊: Proc. of the 24th European Symposium on Research in Computer Security (ESORICS 2019), Part I, Lecture Notes in Computer Science
• 作者: Kohei Nishino;Takashi Kitamura;Tomoji Kishi;Cyrille Artho;Yutaka Matsuno;Yusuke Kawamoto and Takao Murakami
• 通讯作者: Yusuke Kawamoto and Takao Murakami

HyLeak: Hybrid Analysis Tool for Information Leakage

HyLeak：信息泄露的混合分析工具

• DOI: 10.1007/978-3-319-68167-2_11
• 发表时间: 2017
• 期刊: Proc. of the 15th International Symposium on Automated Technology for Verification and Analysis (ATVA 2017), Lecture Notes in Computer Science
• 作者: Fabrizio Biondi;Yusuke Kawamoto;Axel Legay;and Louis-Marie Traonouez
• 通讯作者: and Louis-Marie Traonouez