学术交流

熊焰: 网络安全协议通用全自动形式化验证系统SmartVerif

时间:2021-12-10来源:信息化建设与发展中心

报告时间:2021年12月11日(星期六)15:00

报告地点:翡翠湖校区翡翠科教楼A座二楼第七会议室

:熊焰 教授

工作单位中国科学技术大学

举办单位:信息化建设与发展中心

报告简介

本次报告简单介绍了网络安全协议的基本概念和典型的安全威胁;给出了安全协议最高安全评估标准的形式化验证三种方法以及国际上相关工作;描述了一个网络安全协议通用全自动形式化验证系统SmartVerif的基本思路、实现方法以及对比实验;该系统对于萰s345金沙城娱乐场线路庖桓鐾绨踩椋ㄒ桓霭踩勘辏勺远诰虺銎渌邪踩┒矗凰黄屏送缬惺芬岳窗踩槲薹ㄍㄓ萌远问交橹さ谋诶荩蛔詈螅ǜ媪烁孟低吃谇榱吹挠τ们榭鲆约拔蠢慈砑和芯片自动形式化验证的进展。

报告人简介

熊焰,中国科学技术大学计算机学院教授、博士生导师、留美博士后,国际计算机学会ACM中国理事会常务理事、电子学报常务编委、中国通信学会通信软件专家委员会委员。1983年、1986年分别获得科大学士、硕士学位,1990年成为科大计算机系博士,1992-1994年任科大计算机系副主任,1995-1997年赴美UMKC大学计算机科学与通信学院做博士后研究。曾获得省部级科技进步奖二等奖2项、三等奖1项,安徽省青年科技奖1项。至今已在国内外核心期刊和学术会议上发表论文200多篇。先后主持的项目有国家自然科学基金项目、国家自然科学基金重点项目、国家863重大专项、国家863重大项目、国家863项目、国家 973专题、中科院重大专项以及中科院国防创新基金等40多项国家和省部级项目。

关闭

XML 地图 | Sitemap 地图