執筆者：

中込 友明（三菱電機株式会社） 、久野 倫義（三菱電機株式会社） 、宮内 茂人（三菱電機株式会社） 、小林 大晃（三菱電機株式会社） 、岡村 望夢（大阪大学） 、澤田 賢治（大阪大学） 、藤原 秀治（三菱電機株式会社）

製品仕様を検討する技術者が、セキュリティに対する脆弱性や脅威を把握し適切な対策を検討するには、高度なセキュリティに関する知識を必要とする。
このような状況下において、製品セキュリティの分析は、セキュリティエキスパートに依存することが多くなり、製品仕様を検討する技術者にとって、ブラックボックスになる危険性がある。このような状況を解決するため、製品仕様を検討する技術者が理解しやすく且つ体系的なセキュリティ分析を実施できる手法を提案する。体系的な分析を実現する上で、製品の状態遷移表現にブーリアンネットワークという数理表現を活用することで、既存の脆弱性評価やリスク分析手法の自動化を目指した活動を紹介する。