本校学术研究院环境生命自然科学学科（工）计算机科学讲座的山内利宏教授，被国立研究开发法人科学技术振兴机构（JST）经济安全保障重要技术培养计划（K Program）的研究开发构想「关于供应链安全的不正当功能验证技术的确立（固件软件）」采纳，6月20日被刊登在JST的主页上。
　本研究开发构想（p.79）是为了确保在构成ICT机器·系统的固件·软件中的后门等的不正当功能、不正当逻辑、擅自通信是否被投入的验证技术的“不正当功能验证技术的确立（固件·软件）”中，考虑到日本的优先性，以确保自律性为目标的。
　山内教授在“活用软件构成信息的不正当功能的验证方法”的公开招募区分中，以“脆弱性和不正当功能检测的供应链安全风险评价方法的研究开发”的研究开发课题目为基础申请，被选为被采纳的2件，在令和6～11年度的5年间，作为研究代表者率领研究小组。
　山内教授表示：“评估固件中包含的二进制代码等脆弱性等风险的现有工具的精度不高，其内部结构不明确。因此，本研究课题将以固件中包含的二进制代码及其源代码为对象，研究开发高精度检测可能被恶意攻击的脆弱性和不正当功能的方法。另外，研究开发的成果将工具化，以现有工具和定量性的评价为目标，进行有效的评价。向很多协助我的人表示深深的感谢”。他们对五年的研究活动表现出了热情。
　本校制定了研究领域的“重点研究领域”，其中之一就是“IT·电子领域”。另外，本校通过的文部科学省“地域核心·特色研究大学强化促进事业（J-PEAKS）”（实施主体：日本学术振兴会）也掀起了社会变革，战略性地推进了包括IT·电子在内的Well-being的提高等。研究生院环境生命自然科学研究科，利用授课科目的先取履修制度和早期结业制度，设置通过博士前期课程及博士后期课程最短3年能取得博士学位的WAAP特别课程，培养白色黑客。工学部以信息、电气、数理数据科学系的教员为中心，运营实践性的安全人才培养课程enPiT2-Security Basic SecCap课程，进行网络安全领域的人才培养。请期待山内教授和地域核心·特色的研究大学：冈山大学的工作。

【咨询窗口】
学术研究院 环境生命自然科学学域 计算机科学讲座
教授　山内利宏
E-mail：yamauchi◎okayama-u.ac.jp
　　　　※◎用@替换

工学部・信息工学课程・信息工学先进课程大学院环境生命自然科学研究科・计算机科学课程基础软件/安全学研究室HP