暗号学的期待値分布に基づくソースコードレベルでの汎用的脆弱性検証手法

体系的課題番号：JPMJPR16UQ
実施期間：2016 - 2017
実施機関 (1件)：
研究代表者： ( , 大学院情報科学研究科, 助教 )
DOI： https://doi.org/10.52926/JPMJPR16UQ
研究概要：

脆弱性はシステムにおいて深刻な問題となるセキュリティ上の欠陥です。現状の脆弱性解析は個々の状況・攻撃ごとに個別実施されていますが、これは大量の検証実施に起因する生産性の低下や検証漏れの状況発生など潜在的な危険性を招きます。本研究では暗号学におけるプログラムの期待値分布の概念に基づき脆弱性を定式化することで、コード実装時において個々の状況に寄らない汎用的な安全性を保証する脆弱性検証技術を提案します。

, , , , , ,

研究制度：＞＞
上位研究課題：情報と未来
研究所管機関：

国立研究開発法人科学技術振興機構

前のページに戻る