讲座题目：密码协议与自动化验证

讲座时间：10:10-11:30

讲座日期：2019-4-19

地点：长安校区 文津楼三段6层628报告厅

主办单位：beat365正版唯一官网信息安全团队

讲座人：陈克非  教授

讲座内容简介

密码协议通过使用基本的密码操作，可实现实体认证及密钥协商等安全功能，是网络通信安全的基础，也是构建在密码理论与密码应用之间的桥梁。

如何准确刻画密码协议的安全属性、怎样实现对密码协议的安全属性的验证，以及是否可以完成对密码协议安全分析的自动化是一个现实中亟待解决的重要课题。本报告将讨论协议的安全性是什么？如何检验协议的安全？怎样使协议的验证变得简单？能否形成实用的协议设计方法？如何实现协议安全性的自动化验证？等

讲座人简介

陈克非，杭州师范大学教授。1982年和1985年在西北电讯工程学院分别获得应用数学学士、硕士学位，1994年在德国Justus-Liebig-University Giessen获得博士学位。1982年至1990年在西北电讯工程学院/西安电子科技大学应用数学系和信息保密研究所工作，1996年至2013年上海交通大学计算机科学与工程系任教授，2013年3月起调入杭州师范大学。目前担任中国密码学会副理事长、《密码学报》、《软件学报》、《计算机学报》，《计算机科学与探索》、Journal of Information Technology and Society等学术期刊编委，信息安全国家重点实验室的学术委员会委员。另外，曾担任国家自然科学基金委员会第十届、第十一届专家评审组专家。主要方向为密码理论与应用、网络与信息安全技术、编码理论。近几年主要承担的科研项目包括国家自然科学基金重点项目、国家重点研发计划项目等。发表学术论文300多篇。