【摘要】：在有線電視網(wǎng)絡(luò)領(lǐng)域,安全的網(wǎng)絡(luò)通信協(xié)議是信息安全傳輸?shù)谋Ｕ?因此研究有效的協(xié)議安全性驗(yàn)證方法顯得至關(guān)重要。當(dāng)前,隨著互聯(lián)網(wǎng)的普及,數(shù)字電視的雙向化、智能化趨勢(shì)日益明顯,處于互聯(lián)網(wǎng)中的數(shù)字電視將面臨嚴(yán)峻的信息安全威脅,必須通過通信協(xié)議的安全性驗(yàn)證法選擇出安全性更高的通信協(xié)議,才能確保雙向數(shù)字電視傳輸網(wǎng)絡(luò)的安全性。目前,關(guān)于驗(yàn)證通信協(xié)議的方法主要分為邏輯推理分析法、模型模擬檢測(cè)法、定理歸納證明法以及其他衍生驗(yàn)證法。在前期研究的基礎(chǔ)上,對(duì)近五年提出的典型協(xié)議驗(yàn)證方法進(jìn)行總結(jié)比較,分析各驗(yàn)證方法的優(yōu)缺點(diǎn)。最后,對(duì)協(xié)議驗(yàn)證領(lǐng)域存在的問題及未來的發(fā)展趨勢(shì)做以闡述。
[Abstract]:In the field of CATV network, secure network communication protocol is the guarantee of secure transmission of information. Therefore, it is very important to study effective verification methods of protocol security. At present, with the popularity of the Internet, the two-way digital television, the trend of intelligence is increasingly obvious, digital television in the Internet will face a severe threat to the security of information. In order to ensure the security of the two-way digital television transmission network, it is necessary to select the communication protocol with higher security through the verification of the security of the communication protocol. At present, the methods of verifying communication protocols are mainly divided into logical reasoning analysis, model simulation, theorem induction and other derivative verification. On the basis of the previous research, this paper summarizes and compares the typical protocol verification methods proposed in the last five years, and analyzes the advantages and disadvantages of each verification method. Finally, the problems existing in the field of protocol verification and the development trend in the future are described.
【作者單位】： 遼寧工業(yè)大學(xué)電子與信息工程學(xué)院;北京歌華有線電視網(wǎng)絡(luò)股份有限公司;
【基金】：遼寧省博士科研啟動(dòng)基金項(xiàng)目(20121045) 遼寧省高等學(xué)校杰出青年學(xué)者成長計(jì)劃項(xiàng)目(LJQ2014066) 國家自然科學(xué)基金面上項(xiàng)目(61272214)
【分類號(hào)】：TN948.3;TN915.08

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 張偉,劉積仁,李華天;啟發(fā)式協(xié)議驗(yàn)證[J];信息與控制;1990年06期

2 張偉,劉積仁,李華天;基于知識(shí)的協(xié)議驗(yàn)證方法[J];通信學(xué)報(bào);1993年05期

3 李艷,彭熙,肖德寶;計(jì)算機(jī)網(wǎng)絡(luò)通信協(xié)議驗(yàn)證技術(shù)的研究[J];計(jì)算機(jī)工程;2002年11期

4 劉道斌,郭莉,白碩;一種新的安全協(xié)議驗(yàn)證方法[J];計(jì)算機(jī)研究與發(fā)展;2003年10期

5 黃卿;王亞弟;韓繼紅;范鈺丹;黃河;;一種基于狀態(tài)擴(kuò)展的安全協(xié)議驗(yàn)證機(jī)制[J];計(jì)算機(jī)應(yīng)用研究;2010年06期

6 韓進(jìn);謝俊元;;一種基于攻擊序列求解的安全協(xié)議驗(yàn)證新算法[J];計(jì)算機(jī)科學(xué);2010年09期

7 張全壽;周建峰;;協(xié)議驗(yàn)證技術(shù)的基本理論和方法[J];計(jì)算機(jī)研究與發(fā)展;1988年01期

8 蒙移發(fā);徐惠民;高強(qiáng);;協(xié)議驗(yàn)證與一致性測(cè)試方法[J];計(jì)算機(jī)科學(xué);2002年05期

9 宋震,李舟軍,竇文華;基于類型理論的安全協(xié)議驗(yàn)證技術(shù)[J];計(jì)算機(jī)工程與科學(xué);2005年03期

10 胡聲洲;余敏;章志明;;一種基于關(guān)聯(lián)規(guī)則的安全協(xié)議驗(yàn)證方法[J];計(jì)算機(jī)應(yīng)用;2007年08期

相關(guān)博士學(xué)位論文 前3條

1 周勇;邏輯程序及其在安全協(xié)議驗(yàn)證中的應(yīng)用[D];南京航空航天大學(xué);2006年

2 莊雷;基于Gnutella協(xié)議的Peer-to-Peer網(wǎng)絡(luò)研究及其協(xié)議驗(yàn)證[D];中國人民解放軍信息工程大學(xué);2004年

3 馮超;計(jì)算可靠的安全協(xié)議驗(yàn)證方法研究[D];國防科學(xué)技術(shù)大學(xué);2011年

相關(guān)碩士學(xué)位論文 前1條

1 徐波;EDGE協(xié)議驗(yàn)證系統(tǒng)物理層接口與控制子系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[D];北京郵電大學(xué);2010年

，

本文編號(hào)：2469635