• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2016 年度 研究成果報告書

サイバーフィジカルシステムからの情報漏洩の定量的解析

研究課題

  • PDF
研究課題/領域番号 15H06886
研究種目

研究活動スタート支援

配分区分補助金
研究分野 ソフトウェア
研究機関国立研究開発法人産業技術総合研究所

研究代表者

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

研究協力者 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
研究期間 (年度) 2015-08-28 – 2017-03-31
キーワード情報セキュリティ / プログラム検証 / 形式手法 / 情報理論 / 定量的情報流解析
研究成果の概要

本研究では、サイバーフィジカルシステムからの情報漏洩の定量的解析技術を改良することを目指し、大規模な確率的システムからの秘密情報の漏洩量を効率的かつ自動的に推定する新たな手法を開発した。具体的には、定量的情報流解析の理論研究を発展させるとともに、記号的手法と統計的手法を組み合わせることによって、従来手法よりも高い品質で、より効率的な定量的情報流解析手法を提案した。さらに、このハイブリッド手法を用いて、定量的情報流解析ツールHyLeakを開発した。また、スケジューリングと観測が情報漏洩にどのような影響を与えるのかについても研究を行った。

自由記述の分野

プログラム検証

URL: 

公開日: 2018-03-22  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi