点击数： 发布日期：2023-11-01 21:39:15
10月31日晚，应大数据科学学院邀请，华东交通大学肖美华教授在学院C459会议室为学院师生作学术报告。报告由姜火文教授主持，学院部分青年教师和研究生参加了本次讲座。
肖教授报告题目为《网络安全协议形式化分析与验证》，报告讲述了信息安全的基本概念、安全协议的模型检测技术和网络安全协议验证模型生成系统,报告还讨论了基于事件逻辑的安全协议形式化分析。报告结束后，肖教授就大家提出的问题给予了耐心的解答，参会的师生受益匪浅。
专家介绍：肖美华，中国科学院软件所博士，二级教授，博士生导师，现任华东交通大学软件学院院长兼虚拟现实(VR)产业学院院长，美国康奈尔大学、休斯顿大学访问学者，入选江西省“双千计划”科技创新培养类高端人才，曾多次主持国家自然科学基金、中国博士后科学基金面上资助项目。
上一条：大数据科学学院开展民族团结联欢晚会
下一条：2023年江西科技师范大学数学创新实验班拟录取名单
版权所有：江西科技师范大学数学科学学院
联系方式：人才引进 15279104700；邮箱1020220704@jxstnu.edu.cn
地址：江西南昌学府大道589号
