本文關鍵詞：基于有色Petri網的時鐘同步協(xié)議安全性分析

  更多相關文章： 工業(yè)以太網 時鐘同步協(xié)議 有色Petri網 狀態(tài)方程 主時鐘欺騙

【摘要】：隨著工業(yè)以太網的發(fā)展,作為其實時性保障核心技術的時鐘同步協(xié)議的安全性變得至關重要.針對時鐘同步協(xié)議的安全性問題,首先提出一種基于有色Petri網的時鐘同步協(xié)議安全性分析方法;然后通過建立協(xié)議的有色Petri網模型,利用狀態(tài)方程等工具針對不安全狀態(tài)的可達性進行判斷分析,從而實現時鐘同步協(xié)議的安全性分析;最后具體分析了一種基于精密時鐘同步協(xié)議(PTP)的時鐘同步協(xié)議以及針對該協(xié)議的主時鐘欺騙攻擊,驗證了所提出方法的有效性.
【作者單位】： 浙江大學工業(yè)控制技術國家重點實驗室;浙江大學智能系統(tǒng)與控制研究所;
【關鍵詞】： 工業(yè)以太網 時鐘同步協(xié)議 有色Petri網 狀態(tài)方程 主時鐘欺騙
【基金】：國家自然科學基金項目(61223004) 國家863計劃項目(2012AA041102)
【分類號】：TP393.08;TP301.1
【正文快照】： 0引言以太網以其開放性好、應用廣泛、價格低廉等優(yōu)勢逐步在過程控制領域的中上層(如過程控制層、信息管理層)網絡中起到了主導作用,并有進一步向下發(fā)展至下層(如現場設備層)網絡的趨勢,在各類重要基礎設施中起到了關鍵作用.但是,由于其自身的CSMA/CD機制以及設備層和I/O層上

【參考文獻】

中國期刊全文數據庫 前4條

1 王燕山;李運華;劉恩朋;劉金甫;;以太網時間同步技術的研究進展及其應用[J];測控技術;2007年04期

2 鄭文兵,李成忠;ARP欺騙原理及一種防范算法[J];江南大學學報;2003年06期

3 王飛雪;盛紅巖;常勇;;基于Liunx系統(tǒng)的SNTP協(xié)議的研究與應用[J];現代電視技術;2007年02期

4 繆學勤;論六種實時以太網的通信協(xié)議[J];自動化儀表;2005年04期

【共引文獻】

中國期刊全文數據庫 前10條

1 方冉;陳乃金;;基于S3C44B0X處理器觸摸屏接口的設計與測試[J];安徽工程科技學院學報(自然科學版);2010年02期

2 代秀娟;章昭輝;王敏生;楊娟;潘冬生;汪小寒;;旅游信息服務組合的Petri網建模及其實現[J];安徽師范大學學報(自然科學版);2011年04期

3 金瑩;丁峰;;廣義隨機Petri網在工作流建模中的應用研究[J];安慶師范學院學報(自然科學版);2010年01期

4 常宏達;孫文輝;于雙元;丁丁;;Web服務組合形式理論分析與研究[J];兵工自動化;2009年05期

5 熊杰;劉湘?zhèn)?周國輝;;基于MC的電子對抗情報系統(tǒng)ESCPN模型性能分析[J];兵工自動化;2010年08期

6 喻平;曹繼平;宋建社;章濤;;改進的模糊Petri網算法及其在故障診斷中的應用[J];兵工自動化;2011年06期

7 王海燕;王紅軍;卓奕君;;基于Petri網的底盤總裝線人員配置優(yōu)化研究[J];北京信息科技大學學報(自然科學版);2009年04期

8 方可;馬萍;楊明;;仿真可信度評估中的AHP超越權重[J];北京航空航天大學學報;2011年05期

9 左春榮;張志萍;;基于Petri網的第三方物流配送系統(tǒng)的建模研究[J];商業(yè)研究;2008年04期

10 姜瑞政;賈寶柱;王川;;基于實時以太網的電力推進船舶IPNCS設計[J];船舶工程;2012年02期

中國重要會議論文全文數據庫 前10條

1 劉長有;張莉;;基于著色Petri網的一類航班推出沖突建模與仿真[A];第二十九屆中國控制會議論文集[C];2010年

2 岳昊;李文杰;陳寶興;;Petri網系統(tǒng)本原有效受控可重復向量分析[A];中國自動化學會控制理論專業(yè)委員會B卷[C];2011年

3 劉曉萍;曹紀東;胡湘華;劉利;馬民;黃雙臨;;服務器高精度時間同步技術研究[A];第二屆中國衛(wèi)星導航學術年會電子文集[C];2011年

4 阿孜古麗;劉建明;劉潔卉;;基于Petri網的業(yè)務流程評估[A];著力提高高等教育質量，努力增強高校創(chuàng)新與服務能力——北京市高等教育學會2007年學術年會論文集（下冊）[C];2008年

5 劉揚;苑新玲;董開坤;;ARP欺騙檢測與防范技術的研究[A];中國電子學會第十五屆信息論學術年會暨第一屆全國網絡編碼學術年會論文集（下冊）[C];2008年

6 王夙娟;馬炳先;曲守寧;;OWL-S服務的Petri網自動建模方法研究[A];邏輯學及其應用研究——第四屆全國邏輯系統(tǒng)、智能科學與信息科學學術會議論文集[C];2008年

7 張繼軍;董衛(wèi);;基于Petri網的構件組裝運算及其性質[A];2006年全國開放式分布與并行計算機學術會議論文集（三）[C];2006年

8 呂莉芳;李承家;薛瑜;;時延離散Petri網的形式分析[A];第九屆中國不確定系統(tǒng)年會、第五屆中國智能計算大會、第十三屆中國青年信息與管理學者大會論文集[C];2011年

9 薛瑜;李承家;呂莉芳;;模糊Petri網與連續(xù)Petri網的關系[A];第九屆中國不確定系統(tǒng)年會、第五屆中國智能計算大會、第十三屆中國青年信息與管理學者大會論文集[C];2011年

10 陳挺;張育平;;基于Petri網的軟件過程建模技術的研究[A];2008通信理論與技術新進展——第十三屆全國青年通信學術會議論文集（上）[C];2008年

中國博士學位論文全文數據庫 前10條

1 劉心;基于Petri網的FMS建模及故障診斷方法研究[D];哈爾濱工程大學;2010年

2 宋巍;Web服務組合動態(tài)演化技術研究[D];南京大學;2010年

3 張志明;柔性制造系統(tǒng)死鎖預防的Petri網控制器綜合[D];浙江大學;2010年

4 劉思華;電網故障診斷方法的研究[D];山東大學;2010年

5 楊鵬;基于廣義隨機Petri網理論的SIP的研究[D];蘭州理工大學;2009年

6 吳鏑;面向RP領域的Web服務自主組建方法研究與應用[D];上海大學;2011年

7 李憲華;服務機器人雙臂協(xié)作技術研究及實現[D];上海大學;2011年

8 朱強;基于對等網絡架構的新型控制系統(tǒng)研究與實現[D];上海大學;2011年

9 劉昌平;可信計算環(huán)境安全技術研究[D];電子科技大學;2011年

10 吳限德;快速響應小衛(wèi)星測試理論與方法研究[D];哈爾濱工業(yè)大學;2010年

中國碩士學位論文全文數據庫 前10條

1 劉炎培;基于擴展OOPN業(yè)務流程建模及異常處理模型研究[D];南昌航空大學;2010年

2 劉洋;可逆邏輯門與可逆邏輯電路的Petri網建模與分析[D];山東科技大學;2010年

3 楊磊;基于面向對象Petri網的企業(yè)間工作流建模研究[D];山東科技大學;2010年

4 李蕾;有色Petri網的動態(tài)性質判定及其在組裝生產線中的應用[D];山東科技大學;2010年

5 孫海春;C_net到可編譯表達式的映射方法[D];山東科技大學;2010年

6 周月明;保險索賠系統(tǒng)的協(xié)同容錯層次模型研究[D];山東科技大學;2010年

7 王廷剛;Petri網表征語言和可達性分析[D];山東科技大學;2010年

8 呂楠;基于層次顏色Petri網的協(xié)同工作流的建模與分析[D];山東科技大學;2010年

9 肖露娟;Web服務組合性能分析[D];浙江理工大學;2010年

10 王佳慧;基于面向對象的隨機Petri網圖形建模與分析工具的開發(fā)[D];鄭州大學;2010年

【二級參考文獻】

中國期刊全文數據庫 前5條

1 馮冬芹;金建祥;褚健;;智能工廠核心技術——EPA實時以太網[J];國內外機電一體化技術;2004年06期

2 任俠,呂述望;ARP協(xié)議欺騙原理分析與抵御方法[J];計算機工程;2003年09期

3 莊亞俊,劉國平,吳敏,趙虹,胡春華;一種基于工業(yè)以太網的監(jiān)控系統(tǒng)的設計與應用[J];微計算機信息;2005年04期

4 張妍 ,孫鶴旭 ,林濤 ,寧立革;IEEE 1588在實時工業(yè)以太網中的應用[J];微計算機信息;2005年15期

5 高世偉,喬衛(wèi)民,敬嵐;基于uCLinux的嵌入式通訊的設計[J];微計算機信息;2005年19期

【相似文獻】

中國期刊全文數據庫 前10條

1 周水斌;田志國;趙應兵;閆志輝;;滿足IEC61850要求的站用時鐘服務器[J];電力系統(tǒng)保護與控制;2010年07期

2 何萬里,隋江華,任光;基于CAN總線的分布式高精度時鐘的實現[J];計算機工程與應用;2004年36期

3 吳維敬;SDH系統(tǒng)時鐘成環(huán)問題探討[J];中國制造業(yè)信息化;2005年09期

4 趙英;王旖旎;馬嚴;李文生;;基于NTP的時鐘調整策略分析[J];小型微型計算機系統(tǒng);2008年10期

5 蔡君;范馨月;周非;;分組網絡時鐘同步算法的研究[J];電信科學;2010年S2期

6 王波;呂俊偉;于振濤;;面向物聯(lián)網的時鐘同步體系架構研究[J];計算機工程與設計;2011年05期

7 陳銀桃;陸衛(wèi)軍;張清;章維;;全廠網絡時鐘同步方案[J];可編程控制器與工廠自動化;2012年02期

8 莊曉燕;王厚軍;;基于卡爾曼濾波的網絡精確時鐘同步研究[J];測控技術;2013年09期

9 楊愛玲;廖興鑫;姜傳輝;付松濤;;虛擬時鐘指數逼近的無線傳感器網絡時鐘同步協(xié)議[J];單片機與嵌入式系統(tǒng)應用;2013年10期

10 付彥生;天津市話時鐘同步網運行故障的分析和建議[J];天津通信技術;1997年02期

中國重要會議論文全文數據庫 前10條

1 趙英;李杏;;基于熵優(yōu)化的網絡時鐘調整策略[A];CCF NCSC 2011——第二屆中國計算機學會服務計算學術會議論文集[C];2011年

2 李照濤;;時鐘同步在聯(lián)通移動網中的應用[A];2007年中國通信學會“移動增值業(yè)務與應用”學術年會論文集[C];2007年

3 賈允毅;胥布工;王世華;劉步春;;端對端網絡時鐘漂移補償算法研究及其實現[A];第二十六屆中國控制會議論文集[C];2007年

4 鄧杰瑩;;天文時鐘基站高精度時間統(tǒng)一的設計與應用[A];2013年中國電機工程學會年會論文集[C];2013年

5 柏長冰;陳啟美;王俊;;江蘇高速公路通信網時鐘問題的研究[A];第一屆全國公路科技創(chuàng)新高層論壇論文集智能交通與機電工程卷[C];2002年

6 張鵬;王少榮;程時杰;;基于GPS的高精度同步時鐘裝置的研制[A];湖北省電工技術學會2004年學術年會論文集[C];2004年

7 熊俊;陳永洲;;MESH型時鐘路由算法[A];中國通信學會第五屆學術年會論文集[C];2008年

8 羅旭明;李連興;;實現全網時鐘同步的方法與意義[A];2012電力行業(yè)信息化年會論文集[C];2012年

9 袁藝;趙衛(wèi)華;楊孟飛;;時鐘初始同步問題的軟件方法實現[A];全國第十二屆空間及運動體控制技術學術會議論文集[C];2006年

10 周書民;趙明;孫亞民;;基于本地時鐘選擇的時鐘同步算法[A];中國系統(tǒng)仿真學會第五次全國會員代表大會暨2006年全國學術年會論文集[C];2006年

中國重要報紙全文數據庫 前6條

1 河北 劉慧麗;利用“宏”解決時鐘同步問題[N];電子報;2009年

2 卜哲 劉述;TDMoIP：過渡技術面臨挑戰(zhàn)[N];通信產業(yè)報;2005年

3 胡昌軍;PTN同步需求及相關技術[N];人民郵電;2008年

4 中國工程物理研究院計算機應用研究所 胥永康 岳筱玲;客戶機與服務器的時鐘同步[N];計算機世界;2002年

5 中興通訊 高輝;IP成就移動業(yè)務承載未來[N];通信產業(yè)報;2010年

6 中國移動通信集團公司網絡優(yōu)化處 陳莉華;移動BSC與BTS的定時技術的一點調查和思考[N];通信產業(yè)報;2002年

中國博士學位論文全文數據庫 前9條

1 莊曉燕;分布式測試系統(tǒng)時鐘網絡結構與同步算法研究[D];電子科技大學;2013年

2 何建平;基于一致性的無線傳感器網絡時鐘同步算法研究[D];浙江大學;2013年

3 陳健;以太分組網絡時鐘同步技術研究及應用[D];上海大學;2008年

4 趙英;基于異步網絡環(huán)境的自適應時鐘同步[D];北京化工大學;2004年

5 龔曉春;分布式微型航天器的時鐘同步研究[D];哈爾濱工業(yè)大學;2007年

6 龐麗莉;無線網絡儀器的時鐘同步、定位及數據安全存儲算法研究[D];吉林大學;2013年

7 李本亮;基于無線局域網的分布式測試系統(tǒng)實時性及時鐘同步研究[D];電子科技大學;2011年

8 葉菁華;高速串行數據發(fā)送器的研究[D];復旦大學;2005年

9 尹汝潑;面向控制網絡的介質訪問控制相關問題研究[D];上海交通大學;2007年

中國碩士學位論文全文數據庫 前10條

1 王勤民;軍用交換系統(tǒng)中二級時鐘的設計與實現[D];解放軍信息工程大學;2006年

2 陳建明;基于GPS的高精度時鐘的研究與設計[D];華中科技大學;2009年

3 李杏;網絡時鐘同步及時鐘服務器穩(wěn)定性研究[D];北京化工大學;2012年

4 王奉乾;3G平臺實時檢測模塊的設計和實現[D];重慶郵電大學;2008年

5 徐金平;網絡時鐘同步的研究[D];北京化工大學;2004年

6 王f，

本文編號：880146