1. 前のページに戻る

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

研究課題

戦略的な研究開発の推進 戦略的創造研究推進事業 ACT-I

体系的番号 JPMJPR16UQ
DOI https://doi.org/10.52926/JPMJPR16UQ

研究代表者

矢内 直人  大阪大学, 大学院情報科学研究科, 助教

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

URL: 

JSTプロジェクトデータベース掲載開始日: 2017-03-22   JSTプロジェクトデータベース最終更新日: 2025-03-26  

サービス概要 よくある質問 利用規約

Powered by NII jst