サイバーセキュリティ
形式言語理論の観点から見たソフトウェアセキュリティ