0110100_Ⅰ類（情報系）, 0110000_情報理工学域, The University of Electro-Communications
ソフトウェア基礎理論セキュリティの形式検証Formal Verification of Security圏論Category TheoryFormal SemanticsAlgebraic ModelsFundamental Theories of SoftwareSecurity RESecure Systems EngineeringRequirements Engineering (Goal-Oriented RE in particular)Formal Verification (Model Checking in particular)Software Engineering形式的意味論代数モデルセキュリティ要求分析セキュアなシステムの開発手法要求工学（特にゴール指向要求分析）形式検証（特にモデル検査）ソフトウェア工学