報(bào)告題目：網(wǎng)絡(luò)安全協(xié)議通用全自動(dòng)形式化驗(yàn)證系統(tǒng)SmartVerif
報(bào)告時(shí)間：2021年12月11日（周六）下午3：00
報(bào)告地點(diǎn)：翡翠科教樓A座二樓第七會(huì)議室
報(bào)告人：熊焰
工作單位：中國(guó)科學(xué)技術(shù)大學(xué)
報(bào)告人簡(jiǎn)介：
熊焰，男，留美博士后、中國(guó)科學(xué)技術(shù)大學(xué)計(jì)算機(jī)學(xué)院教授、博士生導(dǎo)師，國(guó)際計(jì)算機(jī)學(xué)會(huì)ACM中國(guó)理事會(huì)常務(wù)理事、電子學(xué)報(bào)常務(wù)編委、中國(guó)通信學(xué)會(huì)通信軟件專家委員會(huì)委員。1983年、1986年分別獲得科大學(xué)士、碩士學(xué)位，1990年成為科大計(jì)算機(jī)系博士，1992-1994年任科大計(jì)算機(jī)系副主任，1995-1997年赴美UMKC大學(xué)計(jì)算機(jī)科學(xué)與通信學(xué)院做博士后研究。曾獲得省部級(jí)科技進(jìn)步獎(jiǎng)二等獎(jiǎng)2項(xiàng)、三等獎(jiǎng)1項(xiàng)，安徽省青年科技獎(jiǎng)1項(xiàng)。至今已在國(guó)內(nèi)外核心期刊和學(xué)術(shù)會(huì)議上發(fā)表論文200多篇。先后主持的項(xiàng)目有國(guó)家自然科學(xué)基金項(xiàng)目、國(guó)家自然科學(xué)基金重點(diǎn)項(xiàng)目、國(guó)家863重大專項(xiàng)、國(guó)家863重大項(xiàng)目、國(guó)家863項(xiàng)目、國(guó)家973專題、中科院重大專項(xiàng)以及中科院國(guó)防創(chuàng)新基金等40多項(xiàng)國(guó)家和省部級(jí)項(xiàng)目。
報(bào)告摘要：
該報(bào)告簡(jiǎn)單介紹了網(wǎng)絡(luò)安全協(xié)議的基本概念和典型的安全威脅；給出了安全協(xié)議最高安全評(píng)估標(biāo)準(zhǔn)的形式化驗(yàn)證三種方法以及國(guó)際上相關(guān)工作；描述了一個(gè)網(wǎng)絡(luò)安全協(xié)議通用全自動(dòng)形式化驗(yàn)證系統(tǒng)SmartVerif的基本思路、實(shí)現(xiàn)方法以及對(duì)比實(shí)驗(yàn)；該系統(tǒng)對(duì)于任意一個(gè)網(wǎng)絡(luò)安全協(xié)議，給定一個(gè)安全目標(biāo)，均可自動(dòng)挖掘出其所有安全漏洞；它突破了網(wǎng)絡(luò)有史以來安全協(xié)議無法通用全自動(dòng)形式化驗(yàn)證的壁壘；最后，報(bào)告了該系統(tǒng)在區(qū)塊鏈的應(yīng)用情況以及未來軟件和芯片自動(dòng)形式化驗(yàn)證的進(jìn)展。
TOP
