Seeds of JAIST 2020「重要なインフラシステム・ソフトウェアの安全性と信頼性を科学的に保障する」青木利晃 教授／博士（情報科学）　情報科学系 セキュリティ・ネットワーク領域