[A-7] 情報セキュリティ

16:00 〜 16:15

[A-7-09] データフロー・制御フロー解析を用いたバックドア検査におけるポリシ生成手法

○田中 大樹¹、嶋田 有佑¹、木下 峻一¹ (1. 日本電気株式会社)

キーワード：

ソフトウェアサプライチェーン、バックドア、プログラム解析、脆弱性