Proj
J-GLOBAL ID：202104002447978897
Research Project code：16817473
暗号学的期待値分布に基づくソースコードレベルでの汎用的脆弱性検証手法
暗号学的期待値分布に基づくソースコードレベルでの汎用的脆弱性検証手法
National award number：JPMJPR16UQ
Study period：2016 - 2017
Organization (1)：
Principal investigator：
(
, 大学院情報科学研究科, 助教 )
DOI：
https://doi.org/10.52926/JPMJPR16UQ
Research overview：
脆弱性はシステムにおいて深刻な問題となるセキュリティ上の欠陥です。現状の脆弱性解析は個々の状況・攻撃ごとに個別実施されていますが、これは大量の検証実施に起因する生産性の低下や検証漏れの状況発生など潜在的な危険性を招きます。本研究では暗号学におけるプログラムの期待値分布の概念に基づき脆弱性を定式化することで、コード実装時において個々の状況に寄らない汎用的な安全性を保証する脆弱性検証技術を提案します。
Terms in the title (7)：
Terms in the title
Keywords automatically extracted from the title.
,
,
,
,
,
,
Research program：
＞
＞
Parent Research Project：
情報と未来
Organization with control over the research：
Japan Science and Technology Agency
