报告名称：复杂数据场景下的自适应AI安全检测及形式化安全检测

报 告 人：付玉龙 副教授

报告时间：2021年9月25日 9：00-11：00

报告地点：B5-201

报告人介绍：

付玉龙，博士，副教授，博士研究生导师。本科及硕士毕业于哈尔滨工业大学，博士毕业于法国波城大学。2014年加入必威BETWAY官网至今。分别于2016年和2018年短期出访澳大利亚迪肯大学和芬兰阿尔托大学。

主要研究方向为网络安全、数据安全以及形式化安全证明

报告简介：

在复杂的网络场景下，往往会存在多种类型的网络攻击，通过使用人工智能算法可以实现对这些攻击的识别和分类，这些人工智能算法往往需要大量的训练数据作为支撑。但是在实际网络中，这些具有攻击特征的数据往往不足以支撑深度学习算法的训练，这就需要使用小样本学习的一些方法。在本报告中，我们将介绍一下我们利用小样本学习方法解决DGA攻击检测的一个工作。同时，形式化安全方法对安全协议的设计和安全软件的检测有很大的作用，在本报告中，我们也将介绍一下面向通信软件的形式化安全检测方法。