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

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

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

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


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



本文編號：3014389