發(fā)布時(shí)間：2017-09-19 06:47

  本文關(guān)鍵詞：基于有色Petri網(wǎng)的時(shí)鐘同步協(xié)議安全性分析

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

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

【參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前4條

1 王燕山;李運(yùn)華;劉恩朋;劉金甫;;以太網(wǎng)時(shí)間同步技術(shù)的研究進(jìn)展及其應(yīng)用[J];測(cè)控技術(shù);2007年04期

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

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

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

【共引文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

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

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

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

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

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

6 喻平;曹繼平;宋建社;章濤;;改進(jìn)的模糊Petri網(wǎng)算法及其在故障診斷中的應(yīng)用[J];兵工自動(dòng)化;2011年06期

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

8 方可;馬萍;楊明;;仿真可信度評(píng)估中的AHP超越權(quán)重[J];北京航空航天大學(xué)學(xué)報(bào);2011年05期

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

10 姜瑞政;賈寶柱;王川;;基于實(shí)時(shí)以太網(wǎng)的電力推進(jìn)船舶IPNCS設(shè)計(jì)[J];船舶工程;2012年02期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前10條

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

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

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

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

5 劉揚(yáng);苑新玲;董開坤;;ARP欺騙檢測(cè)與防范技術(shù)的研究[A];中國(guó)電子學(xué)會(huì)第十五屆信息論學(xué)術(shù)年會(huì)暨第一屆全國(guó)網(wǎng)絡(luò)編碼學(xué)術(shù)年會(huì)論文集（下冊(cè)）[C];2008年

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

7 張繼軍;董衛(wèi);;基于Petri網(wǎng)的構(gòu)件組裝運(yùn)算及其性質(zhì)[A];2006年全國(guó)開放式分布與并行計(jì)算機(jī)學(xué)術(shù)會(huì)議論文集（三）[C];2006年

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

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

10 陳挺;張育平;;基于Petri網(wǎng)的軟件過(guò)程建模技術(shù)的研究[A];2008通信理論與技術(shù)新進(jìn)展——第十三屆全國(guó)青年通信學(xué)術(shù)會(huì)議論文集（上）[C];2008年

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前10條

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

2 宋巍;Web服務(wù)組合動(dòng)態(tài)演化技術(shù)研究[D];南京大學(xué);2010年

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

4 劉思華;電網(wǎng)故障診斷方法的研究[D];山東大學(xué);2010年

5 楊鵬;基于廣義隨機(jī)Petri網(wǎng)理論的SIP的研究[D];蘭州理工大學(xué);2009年

6 吳鏑;面向RP領(lǐng)域的Web服務(wù)自主組建方法研究與應(yīng)用[D];上海大學(xué);2011年

7 李憲華;服務(wù)機(jī)器人雙臂協(xié)作技術(shù)研究及實(shí)現(xiàn)[D];上海大學(xué);2011年

8 朱強(qiáng);基于對(duì)等網(wǎng)絡(luò)架構(gòu)的新型控制系統(tǒng)研究與實(shí)現(xiàn)[D];上海大學(xué);2011年

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

10 吳限德;快速響應(yīng)小衛(wèi)星測(cè)試?yán)碚撆c方法研究[D];哈爾濱工業(yè)大學(xué);2010年

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前10條

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

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

3 楊磊;基于面向?qū)ο驪etri網(wǎng)的企業(yè)間工作流建模研究[D];山東科技大學(xué);2010年

4 李蕾;有色Petri網(wǎng)的動(dòng)態(tài)性質(zhì)判定及其在組裝生產(chǎn)線中的應(yīng)用[D];山東科技大學(xué);2010年

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

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

7 王廷剛;Petri網(wǎng)表征語(yǔ)言和可達(dá)性分析[D];山東科技大學(xué);2010年

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

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

10 王佳慧;基于面向?qū)ο蟮碾S機(jī)Petri網(wǎng)圖形建模與分析工具的開發(fā)[D];鄭州大學(xué);2010年

【二級(jí)參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前5條

1 馮冬芹;金建祥;褚健;;智能工廠核心技術(shù)——EPA實(shí)時(shí)以太網(wǎng)[J];國(guó)內(nèi)外機(jī)電一體化技術(shù);2004年06期

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

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

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

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

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

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

2 何萬(wàn)里,隋江華,任光;基于CAN總線的分布式高精度時(shí)鐘的實(shí)現(xiàn)[J];計(jì)算機(jī)工程與應(yīng)用;2004年36期

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

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

5 蔡君;范馨月;周非;;分組網(wǎng)絡(luò)時(shí)鐘同步算法的研究[J];電信科學(xué);2010年S2期

6 王波;呂俊偉;于振濤;;面向物聯(lián)網(wǎng)的時(shí)鐘同步體系架構(gòu)研究[J];計(jì)算機(jī)工程與設(shè)計(jì);2011年05期

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

8 莊曉燕;王厚軍;;基于卡爾曼濾波的網(wǎng)絡(luò)精確時(shí)鐘同步研究[J];測(cè)控技術(shù);2013年09期

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

10 付彥生;天津市話時(shí)鐘同步網(wǎng)運(yùn)行故障的分析和建議[J];天津通信技術(shù);1997年02期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前10條

1 趙英;李杏;;基于熵優(yōu)化的網(wǎng)絡(luò)時(shí)鐘調(diào)整策略[A];CCF NCSC 2011——第二屆中國(guó)計(jì)算機(jī)學(xué)會(huì)服務(wù)計(jì)算學(xué)術(shù)會(huì)議論文集[C];2011年

2 李照濤;;時(shí)鐘同步在聯(lián)通移動(dòng)網(wǎng)中的應(yīng)用[A];2007年中國(guó)通信學(xué)會(huì)“移動(dòng)增值業(yè)務(wù)與應(yīng)用”學(xué)術(shù)年會(huì)論文集[C];2007年

3 賈允毅;胥布工;王世華;劉步春;;端對(duì)端網(wǎng)絡(luò)時(shí)鐘漂移補(bǔ)償算法研究及其實(shí)現(xiàn)[A];第二十六屆中國(guó)控制會(huì)議論文集[C];2007年

4 鄧杰瑩;;天文時(shí)鐘基站高精度時(shí)間統(tǒng)一的設(shè)計(jì)與應(yīng)用[A];2013年中國(guó)電機(jī)工程學(xué)會(huì)年會(huì)論文集[C];2013年

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

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

7 熊俊;陳永洲;;MESH型時(shí)鐘路由算法[A];中國(guó)通信學(xué)會(huì)第五屆學(xué)術(shù)年會(huì)論文集[C];2008年

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

9 袁藝;趙衛(wèi)華;楊孟飛;;時(shí)鐘初始同步問(wèn)題的軟件方法實(shí)現(xiàn)[A];全國(guó)第十二屆空間及運(yùn)動(dòng)體控制技術(shù)學(xué)術(shù)會(huì)議論文集[C];2006年

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

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) 前6條

1 河北 劉慧麗;利用“宏”解決時(shí)鐘同步問(wèn)題[N];電子報(bào);2009年

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

3 胡昌軍;PTN同步需求及相關(guān)技術(shù)[N];人民郵電;2008年

4 中國(guó)工程物理研究院計(jì)算機(jī)應(yīng)用研究所 胥永康 岳筱玲;客戶機(jī)與服務(wù)器的時(shí)鐘同步[N];計(jì)算機(jī)世界;2002年

5 中興通訊 高輝;IP成就移動(dòng)業(yè)務(wù)承載未來(lái)[N];通信產(chǎn)業(yè)報(bào);2010年

6 中國(guó)移動(dòng)通信集團(tuán)公司網(wǎng)絡(luò)優(yōu)化處 陳莉華;移動(dòng)BSC與BTS的定時(shí)技術(shù)的一點(diǎn)調(diào)查和思考[N];通信產(chǎn)業(yè)報(bào);2002年

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前9條

1 莊曉燕;分布式測(cè)試系統(tǒng)時(shí)鐘網(wǎng)絡(luò)結(jié)構(gòu)與同步算法研究[D];電子科技大學(xué);2013年

2 何建平;基于一致性的無(wú)線傳感器網(wǎng)絡(luò)時(shí)鐘同步算法研究[D];浙江大學(xué);2013年

3 陳健;以太分組網(wǎng)絡(luò)時(shí)鐘同步技術(shù)研究及應(yīng)用[D];上海大學(xué);2008年

4 趙英;基于異步網(wǎng)絡(luò)環(huán)境的自適應(yīng)時(shí)鐘同步[D];北京化工大學(xué);2004年

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

6 龐麗莉;無(wú)線網(wǎng)絡(luò)儀器的時(shí)鐘同步、定位及數(shù)據(jù)安全存儲(chǔ)算法研究[D];吉林大學(xué);2013年

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

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

9 尹汝潑;面向控制網(wǎng)絡(luò)的介質(zhì)訪問(wèn)控制相關(guān)問(wèn)題研究[D];上海交通大學(xué);2007年

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前10條

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

2 陳建明;基于GPS的高精度時(shí)鐘的研究與設(shè)計(jì)[D];華中科技大學(xué);2009年

3 李杏;網(wǎng)絡(luò)時(shí)鐘同步及時(shí)鐘服務(wù)器穩(wěn)定性研究[D];北京化工大學(xué);2012年

4 王奉乾;3G平臺(tái)實(shí)時(shí)檢測(cè)模塊的設(shè)計(jì)和實(shí)現(xiàn)[D];重慶郵電大學(xué);2008年

5 徐金平;網(wǎng)絡(luò)時(shí)鐘同步的研究[D];北京化工大學(xué);2004年

6 王f，

本文編號(hào)：880146