我國經濟的飛躍進步以及科學技術在各個領域取得的巨大突破都為計算機網絡的發(fā)展創(chuàng)造了良好的條件。然而社會各界對于計算機網絡的要求也更為嚴格化、多樣化,特別是網絡協議的復雜程度也隨之遞增,在這種背景之下協議工程技術應運而生并且取得了顯著進展。通信協議是信息傳輸、計算機網絡等多個系統的關鍵性要素,其作為一種詳細的規(guī)則和格式完成了各種形式的實體之間的通信。但是,要保障通信協議的正常工作必須要運用驗證技術對其實施檢測保障一切合格之后,方能夠將其運用到實際之中。因此,著重研究了網絡通信協議驗證技術的運用情況。 

【文章來源】：通信電源技術. 2020,37(03)

【文章頁數】：2 頁

【文章目錄】：
1 計算機網絡通信協議的相關概述
    1.1 計算機網絡協議的定義
    1.2 計算機網絡協議的特性
2 計算機網絡通信協議的主要類型
    2.1 局域網使用的通信協議
    2.2 廣域網使用的通信協議
    2.3 路由器選擇協議
3 驗證技術在計算機網絡通信協議中的主要應用
    3.1 Ping程序在網絡協議中的應用
    3.2 基于有限狀態(tài)自動機模型的協議驗證與分析
    3.3 基于時序邏輯的協議驗證與分析
        3.3.1 基于模態(tài)邏輯的研究
        3.3.2 基于代數理論的協議分析
        3.3.3 規(guī)約證明
4 結論


【參考文獻】：
期刊論文
[1]網絡安全防護問題及措施應用[J]. 肖麗輝,張利明.  電子技術與軟件工程. 2019(22)
[2]計算機通信的網絡互連技術研究[J]. 毛文慧,蔣琴,王尚峰.  計算機產品與流通. 2019(11)



本文編號：3014389