發(fā)簡信
IP屬地：廣東
-
配置驗證組
東北大學FIT網(wǎng)絡實驗室，科研方向網(wǎng)絡智能運維捂襟、網(wǎng)絡配置綜合秽褒、網(wǎng)絡配置驗證。 團隊簡介： 導師：李福亮 教授徒探。 博士：3人瓦呼。 碩士：7人。 所有...
-
2018-2019網(wǎng)絡驗證文章匯總轉載請注明出處测暗，本人能力有限央串，有不足磨澡、不對之處歡迎各位討論。全部圖已經(jīng)省略质和。 NSDI 1.VeriFlow: Verifying Networ...
-
2020配置綜合與驗證學術研究洞察報告
轉載請注明出處稳摄，本人能力有限，有不足饲宿、不對之處歡迎各位討論厦酬。全部圖已經(jīng)省略。 配置綜合與驗證學術研究洞察報告 1.1 配置綜合 網(wǎng)絡配置綜合是自...