網(wǎng)絡(luò)協(xié)議工程認(rèn)領(lǐng)

《網(wǎng)絡(luò)協(xié)議工程》以協(xié)議工程活動(dòng)所涉及的各種技術(shù)為主線，以介紹基本原理、技術(shù)與方法為原則，主要內(nèi)容包括：協(xié)議工程概論、協(xié)議設(shè)計(jì)技術(shù)、協(xié)議形式化描述技術(shù)、協(xié)議形式描述語(yǔ)言、協(xié)議驗(yàn)證技術(shù)、協(xié)議驗(yàn)證工具、協(xié)議一致性測(cè)試技術(shù)等。各章均附有討論題、思考題及參考文獻(xiàn)。 網(wǎng)絡(luò)協(xié)議是計(jì)算機(jī)網(wǎng)絡(luò)及數(shù)據(jù)通信的核心，開(kāi)發(fā)正確、有效的網(wǎng)絡(luò)協(xié)議一直是人們追求的目標(biāo)。協(xié)議工程是指集成化、形式化的協(xié)議開(kāi)發(fā)過(guò)程，其目的是減少