报告名称：形式化方法在信息安全中的应用

报 告 人：付玉龙 副教授

报告时间：2020年12月9日 10：00

报告地点：B5-302

报告人介绍：

付玉龙，博士，副教授，研究生导师。本科及硕士毕业于哈尔滨工业大学，博士毕业于法国波城大学。2014年加入6165cc金沙总站检测中心至今。分别于2016年和2018年短期出访澳大利亚迪肯大学和芬兰阿尔托大学。主要研究方向为网络安全、数据安全以及形式化安全证明。

报告简介：

形式化安全方法利用一阶或高阶逻辑完成对复杂系统的抽象，并依据安全规约、类型系统和结构等价等理论，基于安全假设和安全范式，完成安全逻辑推理证明，或者是在抽象成自动机模型后，在泛化的状态空间中进行模型检测，找到安全反例的方法。利用形式化方法可以实现对复杂的软件、系统的安全性证明。

在本报告中，将会对当前使用比较多的形式化安全方法的原理、工具和使用方法进行介绍，并结合我们研究和工程实践中的情况，对相关方法的特点进行讨论。