網(wǎng)絡(luò)驗(yàn)證研究綜述

摘要： 隨著計(jì)算機(jī)網(wǎng)絡(luò)規(guī)模和復(fù)雜度的日益增長(zhǎng),網(wǎng)絡(luò)管理人員難以保證網(wǎng)絡(luò)意圖得到了正確實(shí)現(xiàn),錯(cuò)誤的網(wǎng)絡(luò)配置將影響網(wǎng)絡(luò)的安全性和可用性.受到形式化方法在硬軟件驗(yàn)證領(lǐng)域中成功應(yīng)用的啟發(fā),研究人員將形式化方法應(yīng)用到網(wǎng)絡(luò)中,形成了一個(gè)新的研究領(lǐng)域,即網(wǎng)絡(luò)驗(yàn)證(network verification),旨在使用嚴(yán)格的數(shù)學(xué)方法證明網(wǎng)絡(luò)的正確性.網(wǎng)絡(luò)驗(yàn)證已經(jīng)成為當(dāng)下網(wǎng)絡(luò)和安全領(lǐng)域的熱點(diǎn)研究,其研究成...