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

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

【文章頁數(shù)】：2 頁

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


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



本文編號：3014389