【摘要】：在有線電視網(wǎng)絡領域,安全的網(wǎng)絡通信協(xié)議是信息安全傳輸?shù)谋Ｕ?因此研究有效的協(xié)議安全性驗證方法顯得至關重要。當前,隨著互聯(lián)網(wǎng)的普及,數(shù)字電視的雙向化、智能化趨勢日益明顯,處于互聯(lián)網(wǎng)中的數(shù)字電視將面臨嚴峻的信息安全威脅,必須通過通信協(xié)議的安全性驗證法選擇出安全性更高的通信協(xié)議,才能確保雙向數(shù)字電視傳輸網(wǎng)絡的安全性。目前,關于驗證通信協(xié)議的方法主要分為邏輯推理分析法、模型模擬檢測法、定理歸納證明法以及其他衍生驗證法。在前期研究的基礎上,對近五年提出的典型協(xié)議驗證方法進行總結比較,分析各驗證方法的優(yōu)缺點。最后,對協(xié)議驗證領域存在的問題及未來的發(fā)展趨勢做以闡述。
[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è)大學電子與信息工程學院;北京歌華有線電視網(wǎng)絡股份有限公司;
【基金】：遼寧省博士科研啟動基金項目(20121045) 遼寧省高等學校杰出青年學者成長計劃項目(LJQ2014066) 國家自然科學基金面上項目(61272214)
【分類號】：TN948.3;TN915.08

【相似文獻】

相關期刊論文 前10條

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

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

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

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

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

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

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

8 蒙移發(fā);徐惠民;高強;;協(xié)議驗證與一致性測試方法[J];計算機科學;2002年05期

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

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

相關博士學位論文 前3條

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

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

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

相關碩士學位論文 前1條

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

，

本文編號：2469635