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