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

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