• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Quantitative Analysis of Information Leakage in Cyber-Physical Systems

Research Project

Project/Area Number 15H06886
Research Category

Grant-in-Aid for Research Activity Start-up

Allocation TypeSingle-year Grants
Research Field Software
Research InstitutionNational Institute of Advanced Industrial Science and Technology

Principal Investigator

Kawamoto Yusuke  国立研究開発法人産業技術総合研究所, 情報技術研究部門, 研究員 (60760006)

Research Collaborator Biondi Fabrizio  CentraleSupélec & Inria/IRISA Rennes, Chair of Threat Analysis
Given-Wilson Thomas  Inria/IRISA Rennes, Post-doctoral Researcher
Traonouez Louis-Marie  Inria/IRISA Rennes, Post-doctoral Researcher
Project Period (FY) 2015-08-28 – 2017-03-31
Project Status Completed (Fiscal Year 2016)
Budget Amount *help
¥2,600,000 (Direct Cost: ¥2,000,000、Indirect Cost: ¥600,000)
Fiscal Year 2016: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2015: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Keywords情報セキュリティ / プログラム検証 / 形式手法 / 情報理論 / 定量的情報流解析 / 情報流解析
Outline of Final Research Achievements

In this project we developed a new analysis method for automatically estimating the amount of information leakage in larger probabilistic systems in order to improve the techniques for quantitatively analyzing information leakage in cyber-physical systems. More specifically, we developed theories in quantitative information flow, and proposed a new hybrid approach that combines the formal approach with the statistical approach to obtain faster analysis with better accuracy. Then we developed a new analysis tool HyLeak for estimating leakage amount using this hybrid approach. In addition we also investigated how scheduling and observation influence information leakage properties.

Report

(3 results)
  • 2016 Annual Research Report   Final Research Report ( PDF )
  • 2015 Annual Research Report
  • Research Products

    (11 results)

All 2017 2016 2015 Other

All Int'l Joint Research (2 results) Journal Article (3 results) (of which Int'l Joint Research: 2 results,  Peer Reviewed: 3 results,  Acknowledgement Compliant: 2 results,  Open Access: 2 results) Presentation (5 results) (of which Int'l Joint Research: 3 results) Remarks (1 results)

  • [Int'l Joint Research] Inria Saclay/Inria Rennes(フランス)

    • Related Report
      2016 Annual Research Report
  • [Int'l Joint Research] INRIA(France)

    • Related Report
      2015 Annual Research Report
  • [Journal Article] Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow2016

    • Author(s)
      Yusuke Kawamoto, Fabrizio Biondi and Axel Legay
    • Journal Title

      Proc. of the 21st International Symposium on Formal Methods (FM 2016), Lecture Notes in Computer Science

      Volume: 9995 Pages: 406-425

    • DOI

      10.1007/978-3-319-48989-6_25

    • ISBN
      9783319489889, 9783319489896
    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Int'l Joint Research / Acknowledgement Compliant
  • [Journal Article] Verification of Cryptosystems - from Introduction to Computer-Aided Security Proofs2016

    • Author(s)
      川本裕輔
    • Journal Title

      Computer Software

      Volume: 33 Issue: 4 Pages: 4_67-4_83

    • DOI

      10.11309/jssst.33.4_67

    • NAID

      130005290611

    • ISSN
      0289-6540
    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] Quantitative Information Flow for Scheduler-Dependent Systems2015

    • Author(s)
      Yusuke Kawamoto and Thomas Given-Wilson
    • Journal Title

      Electronic Proceedings in Theoretical Computer Science

      Volume: 194 Pages: 4862-4862

    • DOI

      10.4204/eptcs.194.4

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Presentation] プログラム解析と統計手法の融合による定量的情報流解析2017

    • Author(s)
      Yusuke Kawamoto, Fabrizio Biondi and Axel Legay
    • Organizer
      第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017)
    • Place of Presentation
      華やぎの章 慶山(山梨県笛吹市)
    • Year and Date
      2017-03-09
    • Related Report
      2016 Annual Research Report
  • [Presentation] Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow2016

    • Author(s)
      Yusuke Kawamoto, Fabrizio Biondi and Axel Legay
    • Organizer
      The 21st International Symposium on Formal Methods (FM 2016)
    • Place of Presentation
      St. Raphael Resort, Limassol (Cyprus)
    • Year and Date
      2016-11-11
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Combining Static and Statistical Approaches to Quantitative Information Flow2015

    • Author(s)
      Yusuke Kawamoto
    • Organizer
      NII Shonan Meeting Seminar 069
    • Place of Presentation
      Shonan, Japan
    • Year and Date
      2015-10-26
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Formal and Statistical Approach to Quantitative Information Flow of Programs2015

    • Author(s)
      Yusuke Kawamoto
    • Organizer
      Workshop on Formalization of Applied Mathematical Systems
    • Place of Presentation
      Hawaii, USA
    • Year and Date
      2015-10-01
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] 統計的手法によるプログラムの定量的情報流解析2015

    • Author(s)
      Tom Chothia, Yusuke Kawamoto and Chris Novakovic
    • Organizer
      日本応用数理学会2015年度年会
    • Place of Presentation
      金沢大学、石川県
    • Year and Date
      2015-09-11
    • Related Report
      2015 Annual Research Report
  • [Remarks] Hybrid Analysis Tool for Information Leakage

    • URL

      https://project.inria.fr/hyleak/

    • Related Report
      2016 Annual Research Report

URL: 

Published: 2015-08-26   Modified: 2018-03-22  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi