可擴展的網(wǎng)絡驗證技術：研究現(xiàn)狀與發(fā)展趨勢

摘要： 互聯(lián)網(wǎng)作為國家信息基礎設施的重要組成部分，已經(jīng)在各個領域發(fā)揮著巨大的作用.隨著其規(guī)模不斷擴大和應用持續(xù)深入，我們也面臨著意圖不一致的網(wǎng)絡行為可能導致的災難性危害.為了確?；ヂ?lián)網(wǎng)的正常運行和網(wǎng)絡行為的一致性，我們迫切需要可部署的網(wǎng)絡驗證技術，以確保網(wǎng)絡運行時的行為與網(wǎng)絡運維人員的意圖一致.當前已經(jīng)有許多關于網(wǎng)絡驗證技術的研究，這些研究幫助用戶實現(xiàn)自動檢測網(wǎng)絡錯誤，并進一步分析錯誤... （共20頁）